Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Software Frameworks and Embedded Control SystemsAlessandro PasettiSpringer Berlin / Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Issues in Agent CommunicationFrank Dignum Frank Dignum; Mark GreavesSpringer Berlin Heidelberg 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Advances in Exception Handling TechniquesAlexander Romanovsky Alexander Romanovsky; Christophe Dony; Jorgen Lindskov Knudsen; Anand TripathiSpringer Berlin Heidelberg 2001Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Modular Specification and Verification of Object-Oriented ProgramsPeter MüllerSpringer Berlin Heidelberg 2002Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Livro
|
Software process technology 7th European workshop, EWSPT 2000, Kaprun, Austria, February 21-25, 2000 : proceedingsEWSPT 2000 (2000 Kaprun, Austria) Reidar ConradiGOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-Berlin New York Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1780 e.1 ) e outros locais(Acessar) |
|
6 |
Material Type: Livro
|
Intelligent agents III agent theories, architectures, and languages : ICAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996 : proceedingsWorkshop on Agent Theories, Architectures, and Languages (3rd 1996 Budapest, Hungary) J. P Müller (Jörg P.) 1965-; Michael J Wooldridge 1966-; Nick Jennings; European Conference on Artificial Intelligence (1996 Budapest, Hungary)Carbonell, G., ed., Siekmann, J., ed Lecture Notes in Artificial Intelligence Berlin, Springer-Verlag, c1994-Berlin Springer New York c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.1193 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Software process technology 6th European Workshop, EWSPT'98 : Weybridge, UK, September 16-18, 1998 : proceedingsEWSPT'98 (1998 Weybridge, England) Volker GruhnBerlin New York Springer c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1487 ) e outros locais(Acessar) |
|
8 |
Material Type: Livro
|
FreeBSD 6 unleashedBrian Tiemann Michael C UrbanIndianapolis, Ind Sams c2006Localização: IFSC - Inst. Física de São Carlos (005.43 T562f )(Acessar) |
|
9 |
Material Type: Livro
|
Software architectures for product families International Workshop IW-SAPF-3, Las Palmas de Gran Canaria, Spain, March 15-17, 2000 : proceedingsInternational Workshop IW-SAPF-3 (2000 Las Palmas de Gran Canaria, Spain) Frank van der Linden 1954-Berlin New York Springer 2001Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1951 ) e outros locais(Acessar) |
|
10 |
Material Type: Livro
|
Theoretical aspects of computer software Third International Symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedingsTACS '97 (1997 Sendai-han, Japan) Martín Abadi; T Ito (Takayasu) 1940-Berlin New York Springer c1997Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1281 ) e outros locais(Acessar) |