1
Material Type:
Livro
Reliable software technologies - Ada-Europe '99 1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999 : proceedings
Ada-Europe International Conference on Reliable Software Technologies (4. 1999 Santander, Spain) Juan A De la Puente 1949-; Michael González-Harbour 960-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1622 ) (Acessar)
This feature requires javascript
2
Material Type:
Livro
Introduction to real-time software design
S. T. Allworth
London New York Macmillan 1981
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.031.43 AL58i ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
Building object applications that work your step-by-step handbook for developing robust systems with object technology
Scott W. Ambler 1966-
Cambridge, UK Cambridge University Press New York New York SIGS Books c1998
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.045 Am16b ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Human factors and typography for more readable programs
Ronald M. Baecker Aaron Marcus 1943-
Reading, Mass. Addison-Wesley c1990
Localização:
FEA - Fac. Econ. Adm. Contab. e Atuária
(006.6 B139h ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
The Munich Project CIP
Friedrich Ludwig Bauer 1924-; CIP Language Group
Berlin New York Springer-Verlag c1985-c1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.183 ex.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Developing business objects
Andy Carmichael
Cambridge Cambridge University Press New York New York SIGS Books c1998
Localização:
IME - Inst. Matemática e Estatística
(QA754.4.C3 C287d ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
Compositionality the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
COMPOS '97 (1997 Malente, Germany) W.-P. de Roever; Hans Langmaack; A Pnueli
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1536 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Mathematics of program construction proceedings
Conference on Mathematics of Program Construction (3. 1995 Kloster Irsee, De) Bernhard Moller
GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.947 e.1 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Hardware and software in system engineering
Euromicro Symposium on Microprocessing and Microprogramming (16th 1990 Amsterdam, Netherlands) Don Fay (Don Q.); Lorenzo Mezzalira; Euromicro
Amsterdam New York North-Holland New York, NY, U.S.A. Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co. 1990
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.383.2 Eu743h 16. ) (Acessar)
This feature requires javascript
10
Material Type:
Livro
ECOOP'99 object-oriented programming : 13th European Conference, Lisbon, Portugal, June 14-18, 1999 : proceedings
European Conference on Object-Oriented Programming (13th 1999 Lisbon, Portugal) Rachid Guerraoui
Goos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1628 ) e outros locais(Acessar)
This feature requires javascript