Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Compiler ConstructionWaite, William M Goos, GerhardNetherlands: Springer Nature 2012Texto completo disponível |
|
2 |
Material Type: Livro
|
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 ProceedingsGoos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan van ; Wright, Joakim von ; Grundy, Jim ; Harrison, John van Leeuwen, Jan ; Harrison, John ; Goos, Gerhard ; Hartmanis, Juris ; von Wright, Joakim ; Grundy, JimBerlin, Heidelberg: Springer Berlin Heidelberg 1996Texto completo disponível |
|
3 |
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 |
|
4 |
Material Type: Livro
|
DIANA An Intermediate Language for AdaGoos, Gerhard ; Wulf, William A ; Evans, Arthur ; Butler, Kenneth J Wulf, William A. ; Goos, Gerhard ; Butler, Kenneth J. ; Evans, ArthurBerlin, Heidelberg: Springer Berlin Heidelberg 1983Texto completo disponível |
|
5 |
Material Type: Livro
|
Practical Aspects of Declarative Languages: First International Workshop, PADL'99 San Antonio, Texas, USA, January 18-19, 1999 ProceedingsGupta, Gopal Gupta, GopalBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
|
6 |
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 |
|
7 |
Material Type: Livro
|
Fast Software Encryption: 7th International Workshop, FSE 2000, New York, NY, USA, April 10-12, 2000. ProceedingsSchneier, Bruce van Leeuwen, Jan ; Goos, Gerhard ; Hartmanis, Juris ; Schneier, BruceBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
|
8 |
Material Type: Livro
|
Parallel Computer Routing and Communication: Second International Workshop, PCRCW'97, Atlanta, Georgia, USA, June 26-27, 1997, ProceedingsYalamanchili, Sudhakar ; Duato, Jose ; Goos, Gerhard Yalamanchili, Sudhakar ; Duato, JoséBerlin, Heidelberg: Springer Berlin / Heidelberg 1998Texto completo disponível |
|
9 |
Material Type: Livro
|
The World Wide Web and Databases: Third International Workshop WebDB 2000 Dallas, TX, USA, May 18–19,2000 Selected PapersGoos, Gerhard ; Hartmanis, Juris ; Leeuwen, Jan van ; Suciu, Dan ; Vossen, Gottfried van Leeuwen, Jan ; Goos, Gerhard ; Hartmanis, Juris ; Suciu, Dan ; Vossen, GottfriedBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
|
10 |
Material Type: Livro
|
Computer Vision - ECCV 2000: 6th European Conference on Computer Vision Dublin, Ireland, June 26 - July 1, 2000 Proceedings, Part IVernon, DavidBerlin, Heidelberg: Springer Berlin / Heidelberg 2000Texto completo disponível |