Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
STACS 2000 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedingsSymposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) Horst Reichel; Sophie TisonBerlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1770 e.1 )(Acessar) |
|
2 |
Material Type: Livro
|
Baltic computer science selected papersBarzdin§, ëIìA. M. (ëIìAn Martynovich); D Bjørner 1937- (Dines)Berlin New York Springer-Verlag c1991Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.502 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Livro
|
FSTTCS 2006: foundations of software technology and theoretical computer science 26th international conference, Kolkata, India December 13-15, 2006 ; proceedingsConference on Foundations of Software Technology and Theoretical Computer Science (26th 2006 Calcutta, India) S Arun-Kumar; Naveen GargBerlin Springer 2006Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4337 ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Lectures on formal methods and performance analysis first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lecturesEEF/Euro Summer School on Trends in Computer Science (1st 2000 Berg en Dal, Netherlands) Ed Brinksma; Holger Hermanns 1967-; Joost-Pieter KatoenBerlin Springer New York c2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2090 ) e outros locais(Acessar) |
|
5 |
Material Type: Livro
|
Mathematical foundations of computer science proceedingsSymposium on Mathematical Foundations of Computer Science (19. 1994 Kosice) Peter Ruzicka; Igor Privara; Branislav RovanBerlin Springer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.841 e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Reflection and Software EngineeringWalter Cazzola Walter Cazzola; Robert J Stroud; Francesco TisatoSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Livro
|
FM'99--formal methods World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedingsWorld Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) Jeannette Marie Wing; Jim Woodcock; Jim Davies 1964-Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1709 e.1 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
Recent advances in information science proceedings of the 4th European Conference of Computer Science (ECCS'13)European Conference of Computer Science (4th 2013 Paris, France) Maurice Margenstern; Kieanthis Psarris; Danimir MandicAthens WSEAS 2013Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004 Eu74 4. )(Acessar) |
|
9 |
Material Type: Livro
|
A Systematic Catalogue of Reusable Abstract Data TypesJürgen Uhl Hans Albrecht SchmidSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Livro
|
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |