Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, ProceedingsDiaz, Josep ; Karhumaki, Juhani ; Lepisto, Arto ; Sannella, DonaldSpringer 1900Texto completo disponível |
|
2 |
Material Type: Livro
|
Cours moderne de calcul automatiqueRaoul de PalmaParis A. Michel 1970, c1969Localização: IME - Inst. Matemática e Estatística (QA724 P171c e.2 )(Acessar) |
|
3 |
Material Type: Livro
|
Automata, languages and programming 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974Colloquium on Automata, Languages and Programming (2nd 1974 University of Saarbrücken) Jacques Loeckx 1931-; Gesellschaft für Informatik; ACM Special Interest Group for Automata and Computability Theory; European Association for Theoretical Computer ScienceBerlin New York Springer-Verlag 1974Localização: EPBC - Esc. Politécnica-Bib Central (004 In8a 2. ) e outros locais(Acessar) |
|
4 |
Material Type: Livro
|
Automata, Languages and Programming: 2nd Colloquium, University of Saarbrücken July 29–August 2, 1974Loeckx, JBerlin, Heidelberg: Springer Berlin Heidelberg 1974Texto completo disponível |
|
5 |
Material Type: Livro
|
Automata, Languages and Programming: 2nd Colloquium, University of Saarbrücken July 29–August 2, 1974Loeckx, Jacques Loeckx, JacquesBerlin, Heidelberg: Springer Berlin Heidelberg 1974Texto completo disponível |
|
6 |
Material Type: Livro
|
Automata, languages, and programming third international colloquium at the University of EdinburghColloquium on Automata, Languages and Programming (3rd 1976 Edinburgh) S Michaelson; R Milner 1934- (Robin)Edinburgh University Press c1976Localização: IME - Inst. Matemática e Estatística (QA800.C C714a 3. )(Acessar) |
|
7 |
Material Type: Livro
|
Revised Report on the Algorithmic Language Algol 68van Wijngaarden, A ; Mailloux, B. J ; Peck, J. E. L ; Koster, C.H.A ; Lindsey, C.H ; Sintzoff, M ; Meertens, L.G.L.T ; Fisker, R.G Sintzoff, M. ; Koster, C. H. A. ; van Wijngaarden, A. ; Fisker, R. G. ; Peck, J. E. L. ; Lindsey, C. H. ; Mailloux, B. J. ; Meertens, L. G. L. T.Berlin, Heidelberg: Springer Berlin / Heidelberg 1976Texto completo disponível |
|
8 |
Material Type: Livro
|
Computer power and human reason: from judgment to calculationWeizenbaum, JosephSan Francisco: W. H. Freeman 1976Sem texto completo |
|
9 |
Material Type: Livro
|
Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17–21, 1978Ausiello, Giorgio ; Böhm, CorradoBerlin, Heidelberg: Springer Berlin Heidelberg 1978Texto completo disponível |
|
10 |
Material Type: Livro
|
Automata, languages, and programming seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980J. W. de Bakker 1939- (Jacobus Willem de); J. van Leeuwen (Jan); European Association for Theoretical Computer Science; ICALP 80 (1980 Noordwijkerhout, Netherlands)Berlin New York Springer-Verlag 1980Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.85 e.1 ) e outros locais(Acessar) |