Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Constraints in Computational Logics: Theory and Applications International Summer School, CCL ’99 Gif-sur-Yvette, France, September 5–8, 1999 Revised LecturesGoos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan van ; Comon, Hubert ; Marché, Claude ; Treinen, Ralf van Leeuwen, Jan ; Goos, Gerhard ; Hartmanis, Juris ; Comon, Hubert ; Marché, Claude ; Treinen, RalfBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
|
2 |
Material Type: Livro
|
Algorithms and Computation: 11th International Conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000. ProceedingsLee, D. T ; Teng, Shang-Hua van Leeuwen, Jan ; Goos, Gerhard ; Hartmanis, Juris ; Lee, D. T. ; Teng, Shang-HuaBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
3 |
Material Type: Livro
|
Algorithm Theory - SWAT 2000: 7th Scandinavian Workshop on Algorithm Theory Bergen, Norway, July 5-7, 2000 ProceedingsHalldorsson, Magnus MBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |
|
4 |
Material Type: Livro
|
Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 ProceedingsGoos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan van ; Malenfant, Jacques ; Moisan, Sabine ; Moreira, Ana van Leeuwen, Jan ; Moreira, Ana ; Goos, Gerhard ; Hartmanis, Juris ; Malenfant, Jacques ; Moisan, SabineBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
|
5 |
Material Type: Livro
|
ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 – September 2, 2000 ProceedingsBowen, Jonathan P ; Dunne, Steve ; Galloway, Andrew ; King, SteveBerlin, Heidelberg: Springer Berlin Heidelberg 2000Texto completo disponível |
|
6 |
Material Type: Livro
|
Coordinatio Languages and Models: Third International Conference COORDINATION'99 Amsterdam, The Netherlands, April 26-28, 1999 ProceedingsCarbonell, Jaime G ; Siekmann, Jörg ; Goos, Gerhard Wolf, Alexander L. ; Ciancarini, PaoloBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
7 |
Material Type: Livro
|
Object-Oriented Technologys: ECOOP'97 Workshop Reader ECOOP'97 Workshops Jyväskylä, Finland, June 9-13, 1997 ProceedingsGoos, Gerhard ; Hartmanis, Juris ; van Leeuwen, Jan Bosch, Jan ; Mitchell, StuartBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
|
8 |
Material Type: Livro
|
Advanced Environments, Tools, and Applications for Cluster Computing: NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised PapersGrigoras, Dan ; Nicolau, Alex ; Toursel, Bernard ; Folliot, Bertil Folliot, Bertil ; Toursel, Bernard ; Nicolau, Alex ; Grigoras, DanBerlin, Heidelberg: Springer Berlin / Heidelberg 2002Texto completo disponível |
|
9 |
Material Type: Livro
|
Algorithm Engineering and Experimentation: International Workshop ALENEX'99 Baltimore, MD, USA, January 15-16, 1999 Selected PapersGoodrich, Michael T ; McGeoch, Catherine C Goodrich, Michael T. ; McGeoch, Catherine C.Berlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
10 |
Material Type: Livro
|
Werkzeuge der Programmiertechnik: GI-Arbeitstagung Karlsruhe, 16.–17. März 1981. ProceedingsGoos, GerhardBerlin, Heidelberg: Springer Berlin HeidelbergSem texto completo |