Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
41 |
Material Type: Livro
|
Abstract compositional analysis of iterated relations a structural approach to complex state transition systemsFrédéric GeurtsBerlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1426 ) e outros locais(Acessar) |
|
42 |
Material Type: Livro
|
Abstract data types their specification, representation, and usePete Thomas (Peter G.) Hugh Robinson; Judy EmmsOxford Clarendon Press New York Oxford University Press 1988Localização: IME - Inst. Matemática e Estatística (QA758 T461a )(Acessar) |
|
43 |
Material Type: Livro
|
Abstract software specifications proceedingsWinter School on Abstract Software Specifications(1979 : Copenhagen) Dines BjornerBerlin Springer 1980Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.86 ex.1 ) e outros locais(Acessar) |
|
44 |
Material Type: Livro
|
Abstract state machines 2004 advances in theory and practice : 11th international workshop, ASM 2004 Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedingsASM 2004 (2004 Wittenberg, Saxony-Anhalt, Germany) Wolf Zimmermann; B Thalheim (Bernhard) 1952Berlin Springer New York c2004Acesso online. A biblioteca também possui exemplares impressos. |
|
45 |
Material Type: Livro
|
Abstraction and specification in program developmentB. Liskov John GuttagCambridge, Mass. MIT Press New York McGraw-Hill c1986Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.05 L769a e.1 ) e outros locais(Acessar) |
|
46 |
Material Type: Livro
|
Abstraction, reformulation, and approximation 5th international symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002 : proceedingsSARA 2002 (2002 Kananaskis, Alta.) Sven Koenig 1964-; Robert C HolteBerlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2371 ) e outros locais(Acessar) |
|
47 |
Material Type: Livro
|
Abstraction, reformulation and approximation 6th international symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005 ; proceedingsSARA 2005 (6th 2005 Airth, Scotland) Jean-Daniel Zucker; L Saitta (Lorenza) 1944Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
|
48 |
Material Type: Livro
|
Abstraction, reformulation, and approximation 7th international symposium, SARA 2007, Whistler, Canada, July 18-21 2007 ; proceedingsSARA 2007 (2007 Whistler, Canada) Ian Miguel; Wheeler RumlBerlin Springer 2007Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4612 ) e outros locais(Acessar) |
|
49 |
Material Type: Livro
|
Accurate scientific computations proceedingsSymposium on Accurate Scientific Computations (1985 : Bad Neuenahr) Willard L Miranker; Richard A ToupinBerlin Springer 1986Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.235 ex.1 ) e outros locais(Acessar) |
|
50 |
Material Type: Livro
|
The ACE programmer's guide practical design patterns for network and systems programmingStephen D. Huston James C. E Johnson; Umar Syyid; Douglas C SchmidtBoston Addison-Wesley c2004Localização: IME - Inst. Matemática e Estatística (QA754.5 H972a )(Acessar) |