Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
C a Software Engineering ApproachDarnell, Peter A ; Margolis, Philip ENew York, NY: Springer 1996Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
C: A Software Engineering ApproachDarnell, Peter A ; Margolis, Philip ENew York, NY: Springer New York 1991Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Object-Oriented Application Development Using the Caché Postrelational DatabaseKirsten, Wolfgang ; Rudd, Anthony S ; Ihringer, Michael ; Röhrig, Bernhard ; Schulte, PeterBerlin, Heidelberg: Springer Berlin / Heidelberg 2001Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Programming languages and systems 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedingsEuropean Symposium on Programming (8th 1999 Amsterdam, Netherlands) S. Doaitse Swierstra; ETAPS'99 (1999 Amsterdam, Netherlands)Berlin New York Springer 1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1576 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Programming languages and systems 10th European Symposium on Programming, ESOP 2001, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedingsEuropean Symposium on Programming (10th 2001 Genoa, Italy) David Sands 1965-; ETAPS 2001 (2001 Genoa, Italy)Berlin New York Springer c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2028 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Programming languages and systems 9th European Symposium on Programming, ESOP 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedingsEuropean Symposium on Programming (9th 2000 Berlin, Germany) Gert Smolka; ETAPS 2000 (2000 Berlin, Germany)Berlin New York Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1782 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Static analysis 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedingsInternational Static Analysis Symposium (6th 1999 Venice, Italy) Agostino Cortesi 1963-; Gilberto Filé 1951-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1694 e.1 )(Acessar) |
8 |
Material Type: Livro
|
![]() |
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedingsInternational Static Analysis Symposium (7th 2000 Santa Barbara, Calif.) Jens PalsbergBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1824 )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Static analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedingsInternational Static Analysis Symposium (8th 2001 Paris, france) Patrick Cousot 1948-Berlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2126 ) e outros locais(Acessar) |