Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book
|
![]() |
Applied algebra, algebraic algorithms and error-correcting codes proceedingsAAECC-6 (1988 Rome, Italy) Teo MoraBerlin Springer 1989Available at IME - Inst. Matemática e Estatística (S L471c v.357 )(GetIt) |
2 |
Material Type: Book
|
![]() |
Handbook of logic in computer scienceSamson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-Oxford Clarendon New York Oxford University Press 1992-<2000>Available at EPBC - Esc. Politécnica-Bib Central (004 H191 v.4 ) and other locations(GetIt) |
3 |
Material Type: Book
|
![]() |
Information security and privacy 5th Australasian conference, ACISP 2000, Brisbane, Australia, July 10-12, 2000 : proceedingsACISP 2000 (2000 Brisbane, Qld.) Colin Boyd; Andrew Clark 1971-; Ed Dawson (Edward)New York Springer c2000Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1841 ) and other locations(GetIt) |
4 |
Material Type: Book
|
![]() |
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981ACM Symposium on Theory of Computing (13th 1981 Milwaukee, Wis.) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Wisconsin--Milwaukee Dept. of Electrical Engineering and Computer ScienceNew York, N.Y. ACM Baltimore, MD Additional copies may be orderd from ACM Order Dept. c1981Available at IME - Inst. Matemática e Estatística (QA800.C S989r 13. e.2 )(GetIt) |
5 |
Material Type: Book
|
![]() |
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 c1987Available at IME - Inst. Matemática e Estatística (S L471c v.250 v.2 )(GetIt) |
6 |
Material Type: Book
|
![]() |
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papersAE '99 (1999 Dunkerque, France) Cyril FonluptBerlin Springer London c2000Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1829 ) and other locations(GetIt) |
7 |
Material Type: Book
|
![]() |
Concurrent object-oriented programming and Petri nets advances in Petri netsGul A Agha; Fiorella De Cindio; Grzegorz RozenbergBerlin Springer New York c2001Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2001 ) and other locations(GetIt) |
8 |
Material Type: Book
|
![]() |
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Online access. The library also has physical copies. |
9 |
Material Type: Book
|
![]() |
Algorithmic learning theory 14th international conference, ALT 2003, Sapporo, Japan, October 17-19, 2003 : proceedingsALT 2003 (2003 Sapporo, Japan) Ricard Gavaldà 1964-; K. P Jantke (Klaus P.; Eiji Takimoto 1964-Berlin Springer New York c2003Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2842 )(GetIt) |
10 |
Material Type: Book
|
![]() |
Algebraic methodology and software technology 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999 ; proceedingsAMAST'98 (1999 Amazonia, Brazil) Armando Martín Haeberer 1947-Berlin Springer London c1999Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1548 )(GetIt) |