Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
A Systematic Catalogue of Reusable Abstract Data TypesJürgen Uhl Hans Albrecht SchmidSpringer Berlin Heidelberg 1990Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Specification of abstract data typesJacques Loeckx 1931- Hans-Dieter Ehrich; Markus WolfChichester Wiley New York Stuttgart B.G. Teubner c1996Localização: IME - Inst. Matemática e Estatística (QA752 L825t )(Acessar) |
3 |
Material Type: Livro
|
![]() |
Structures and abstractions an introduction to computer science with PascalW. Salmon (William)Homewood, IL Irwin c1991Localização: ICMC - Inst. Ciên. Mat. Computação (68N15.05 S172s e.1 )(Acessar) |
4 |
Material Type: Livro
|
![]() |
Recent trends in data type specification 3rd Workshop on Theory and Applications of Abstract Data Types : selected papersWorkshop on Theory and Applications of Abstract Data Types (3rd 1984 Bremen, Germany) H.-J Kreowski (Hans-Jörg)Berlin New York Springer-Verlag c1985Localização: ICMC - Inst. Ciên. Mat. Computação (68-06 W926rt 1984 e.1 )(Acessar) |
5 |
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) |
6 |
Material Type: Livro
|
![]() |
Program correctness over abstract data types, with error-state semanticsJ. V. Tucker (John V.) 1952- J. I Zucker 1942- (Jeffrey I.)Amsterdam New York North-Holland New York Sole distributors for the U.S.A and Canada, Elsevier Science Pub. Co. 1988Localização: IME - Inst. Matemática e Estatística (QA754 T892p )(Acessar) |
7 |
Material Type: Livro
|
![]() |
Programming abstractions in C a second course in computer scienceEric RobertsReading, Mass. Addison-Wesley Harlow c1998Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.43 C R541p ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
Data structures, algorithms, and performanceDerick Wood 1940-Reading, Mass. Addison-Wesley c1993Localização: IME - Inst. Matemática e Estatística (QA758 W874d )(Acessar) |
9 |
Material Type: Livro
|
![]() |
Algebraic methodology and software technology 7th International Conference, AMAST'99, Amazonia, Brazil, January 4-8, 1999 : proceedingsArmando Martín Haeberer 1947-; International Conference on Algebraic Methodology and Software Technology (7th 1999 Amazonia, Brazil)Berlin Springer New York c1999Localização: IME - Inst. Matemática e Estatística (S L471c v.1548 )(Acessar) |
10 |
Material Type: Livro
|
![]() |
Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedingsInternational Conference on Algebraic Methodology and Software Technology (8th 2000 Iowa City, Iowa) Teodor RusBerlin New york Springer c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1816 )(Acessar) |