1
|
Material Type: Livro
|
|
Systems programming
John J. Donovan
New York McGraw-Hill 1972
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.424 D719s e.3 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Mathematical theory of computation
Zohar Manna
New York McGraw-Hill 1974
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(005.1 M315m ) e outros locais(Acessar)
|
3
|
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)
|
4
|
Material Type: Livro
|
|
The specification of computer programs
Wladyslaw Turski Thomas S. E Maibaum 1947-
Wokingham, England Reading, Mass. Addison-Wesley c1987
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.43 T869s ) e outros locais(Acessar)
|
5
|
Material Type: Livro
|
|
Software engineering with Ada
Grady Booch
Menlo Park, Calif. Benjamin/Cummings c1987
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.43 ADA B644s2 ) e outros locais(Acessar)
|
6
|
Material Type: Livro
|
|
Object-oriented programming in Turbo Pascal 5.5
Ben Ezzell
Reading, Mass. Addison-Wesley c1989
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N15.50 E99oo e.1 )(Acessar)
|
7
|
Material Type: Livro
|
|
Class construction in C and C++ object-oriented programming fundamentals
Roger Sessions 1896-1985
Englewood Cliffs, N.J. Prentice Hall c1992
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.045 Se72c )(Acessar)
|
8
|
Material Type: Livro
|
|
Object-oriented programming using C++
Ira Pohl
Redwood City, Calif. Benjamin/Cummings c1993
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.045 P753o )(Acessar)
|
9
|
Material Type: Livro
|
|
Object-oriented programming in C++
Richard Johnsonbaugh 1941- Martin Kalin
Englewood Cliffs, N.J. Prentice Hall c1995
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.045 J639o )(Acessar)
|
10
|
Material Type: Livro
|
|
Optimal interprocedural program optimization a new framework and its application
Jens Knoop
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1428 ) e outros locais(Acessar)
|