Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Decision Table Languages and SystemsJohn R. Metzner Robert L Ashenhurst; Bruce H BarnesAcademic Press 1977Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
The Evolution of ProgramsDershowitz E Coffman; R. L GrahamBirkhäuser Boston 1983Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Practical Handbook for Software DevelopmentN.D. Ould, Martyn A. Birrell N. D Birrell; M. A Ould; Martyn A OuldCambridge Cambridge University Press 1985Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Mes premières constructions de programmesA. Gerbier P BacchusSpringer Berlin Heidelberg 1977Acesso online. A biblioteca também possui exemplares impressos. |
5 |
Material Type: Livro
|
![]() |
Knowledge-based program constructionDavid R. BarstowNew York North Holland c1979Localização: ICMC - Inst. Ciên. Mat. Computação (68T30.01 B282k e.1 )(Acessar) |
6 |
Material Type: Livro
|
![]() |
A guide for programmersMarilyn BohlEnglewood Cliffs, N.J. Prentice-Hall c1978Localização: ICMC - Inst. Ciên. Mat. Computação (68N30.01 B676g e.1 )(Acessar) |
7 |
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) |
8 |
Material Type: Livro
|
![]() |
System simulation programming styles and languagesWolfgang KreutzerSydney Reading, Mass Addison-Wesley c1986Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.94 K888s ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Fundamentals of computer algorithmsEllis Horowitz Sartaj SahniRockville, Md. Computer Science Press c1984Localização: IME - Inst. Matemática e Estatística (QA810 H816f )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Mathematics for the analysis of algorithmsDaniel H. Greene 1955- Donald Ervin Knuth 1938-Boston Birkhaüser 1982Localização: IME - Inst. Matemática e Estatística (S P9649 v.1 )(Acessar) |