Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
ACM Turing Award lectures the first twenty years, 1966 to 1985New York ACM Press Reading, Mass Addison-Wesley Pub. Co 1987Localização: IME - Inst. Matemática e Estatística IMRE SIMON (CIS QA714.4.C3 A184 )(Acessar) |
|
2 |
Material Type: Livro
|
Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 : ProceedingsHutchison, David ; Kanade, Takeo ; Kittler, JosefBerlin/Heidelberg: Springer Berlin / Heidelberg 2007Sem texto completo |
|
3 |
Material Type: Livro
|
Petri Net AlgebraBest, Eike ; Devillers, Raymond ; Koutny, MaciejBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
|
4 |
Material Type: Livro
|
Introduction to Data TechnologiesMurrell, PaulMilton: Chapman and Hall/CRC 2009Sem texto completo |
|
5 |
Material Type: Livro
|
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th BirthdayDegano, Pierpaolo ; de Nicola, Rocco ; Meseguer, JoséBerlin, Heidelberg: Springer Berlin / Heidelberg 2008Sem texto completo |
|
6 |
Material Type: Livro
|
The computer from Pascal to von NeumannGoldstine, Herman H ; Goldstine, Herman HPrinceton: Princeton University Press 2008Sem texto completo |
|
7 |
Material Type: Livro
|
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 ProceedingsFossorier, Marc ; Imai, Hideki ; Lin, Shu ; Poli, Alain Lin, Shu ; Poli, Alain ; Fossorier, Marc ; Imai, HidekiBerlin, Heidelberg: Springer Berlin / Heidelberg 1999Texto completo disponível |
|
8 |
Material Type: Livro
|
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected PapersPacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, JerzyBerlin, Heidelberg: Springer Berlin Heidelberg 1995Texto completo disponível |
|
9 |
Material Type: Livro
|
A history of computing in the twentieth century: a collection of essaysMetropolis, N1980Texto completo disponível |
|
10 |
Material Type: Livro
|
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974Manes, Ernest Gene Manes, Ernest GeneBerlin, Heidelberg: Springer Berlin Heidelberg 1975Texto completo disponível |