1
Material Type:
Livro
Structure and interpretation of computer programs
Harold Abelson Gerald Jay Sussman; Julie Sussman
Cambridge, Mass. MIT Press New York McGraw-Hill c1985
Localização:
IAG - Inst. Ast. Geo. Ciên. Atmosféricas
(591.68 A123s ) e outros locais(Acessar)
This feature requires javascript
2
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
3
Material Type:
Livro
Ada Software Tools Interfaces Workshop, Bath, July 13-15, 1983 proceedings
Ada Software Tools Interfaces Workshop (1983 Bath, England) Peter J. L Wallis
Berlin Springer-Verlag New York 1984
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.180 ) (Acessar)
This feature requires javascript
4
Material Type:
Livro
Embedded systems lectures
Advance Course on New Approaches To the Architecture and the Design of Embedded Systems, Zurich, 1986 A Kundig
Berlin Springer 1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.284 ex.1 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)
Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)
Berlin Springer-Verlag New York c1987
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.250 v.2 ) (Acessar)
This feature requires javascript
6
Material Type:
Livro
Advanced functional programming Third International School, AFP '98, Braga, Portugal, September 12-19, 1998 : revised lectures
AFP '98 (3rd 1998 Braga, Portugal) S. Doaitse Sweierstra; Pedro R Henriques; José N Oliveira
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1608 ) e outros locais(Acessar)
This feature requires javascript
7
Material Type:
Livro
Data structures and algorithms
Alfred V. Aho (Alfred Vaino), b. 1941 John E Hopcroft (John Edward), 1939-; Jeffrey D Ullman (Jeffrey David), 1942-
Reading, Mass. Addison-Wesley c1983
Localização:
EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval
(004.422.63 Ah68d ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Principles of compiler design
Alfred V. Aho (Alfred Vaino) b. 1941 Jeffrey D Ullman (Jeffrey David) 1942-
Reading, Mass. Addison-Wesley Pub. Co. c1977
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.4 Ah68p ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
The design of well-structured and correct programs
Suad Alagiâc 1946- Michael A Arbib
New York Springer-Verlag c1978
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68P05.01 A317d e.3 ) e outros locais(Acessar)
This feature requires javascript
10
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