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
|
![]() |
Petri Net AlgebraBest, Eike ; Devillers, Raymond ; Koutny, MaciejBerlin, Heidelberg: Springer Berlin Heidelberg 2001Texto completo disponível |
3 |
Material Type: Livro
|
![]() |
Exploring Computer Science with SchemeGrillmeyer, OliverNew York, NY: Springer New York 1997Texto completo disponível |
4 |
Material Type: Livro
|
![]() |
Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978Winkowski, J Winkowski, J.Berlin, Heidelberg: Springer Berlin Heidelberg 1978Texto completo disponível |
5 |
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 |
6 |
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 |
7 |
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 |
8 |
Material Type: Livro
|
![]() |
The Origins of Digital Computers: Selected PapersRandell, B Randell, BrianBerlin, Heidelberg: Springer Berlin / Heidelberg 1973Texto completo disponível |
9 |
Material Type: Livro
|
![]() |
A Study in String Processing LanguagesKlint, PaulBerlin, Heidelberg: Springer Berlin Heidelberg 1985Texto completo disponível |
10 |
Material Type: Livro
|
![]() |
Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 ProceedingsWallis, Peter J. L Wallis, Peter J. L.Berlin, Heidelberg: Springer Berlin Heidelberg 1984Texto completo disponível |