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
|
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) |
|
3 |
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 |
|
4 |
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) |
|
5 |
Material Type: Livro
|
Computer power and human reason: from judgment to calculationWeizenbaum, JosephSan Francisco: W. H. Freeman 1976Sem texto completo |
|
6 |
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 |
|
7 |
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) |
|
8 |
Material Type: Livro
|
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980Bibel, Wolfgang ; Kowalski, Robert Bibel, Wolfgang ; Kowalski, RobertBerlin, Heidelberg: Springer Berlin Heidelberg 1980Texto completo disponível |
|
9 |
Material Type: Livro
|
Automata, Languages and Programming: Eighth Colloquium Acre (Akko), Israel July 13–17, 1981Even, Shimon ; Kariv, OdedBerlin, Heidelberg: Springer Berlin Heidelberg 1981Texto completo disponível |
|
10 |
Material Type: Livro
|
Analysis and Design of Algorithms in Combinatorial OptimizationAusiello, Giorgio ; Lucertini, M Ausiello, G. ; Lucertini, M.Vienna: Springer Wien 1981Texto completo disponível |