skip to main content
Refinado por: assunto: Informatik remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
ACM Turing Award lectures the first twenty years, 1966 to 1985
Material Type:
Livro
Adicionar ao Meu Espaço

ACM Turing Award lectures the first twenty years, 1966 to 1985

New York ACM Press Reading, Mass Addison-Wesley Pub. Co 1987

Localização: IME - Inst. Matemática e Estatística  IMRE SIMON  (CIS QA714.4.C3 A184 )(Acessar)

2
Petri Net Algebra
Material Type:
Livro
Adicionar ao Meu Espaço

Petri Net Algebra

Best, Eike ; Devillers, Raymond ; Koutny, Maciej

Berlin, Heidelberg: Springer Berlin Heidelberg 2001

Texto completo disponível

3
Exploring Computer Science with Scheme
Material Type:
Livro
Adicionar ao Meu Espaço

Exploring Computer Science with Scheme

Grillmeyer, Oliver

New York, NY: Springer New York 1997

Texto completo disponível

4
Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978
Material Type:
Livro
Adicionar ao Meu Espaço

Mathematical Foundations of Computer Science 1978: Proceedings, 7th Symposium Zakopane, Poland, September 4–8, 1978

Winkowski, J Winkowski, J.

Berlin, Heidelberg: Springer Berlin Heidelberg 1978

Texto completo disponível

5
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25–30, 1994 Selected Papers

Pacholski, Leszek ; Tiuryn, Jerzy Pacholski, Leszek ; Tiuryn, Jerzy

Berlin, Heidelberg: Springer Berlin Heidelberg 1995

Texto completo disponível

6
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 13th International Symposium, AAECC-13 Honolulu, Hawaii, USA, November 15-19, 1999 Proceedings

Fossorier, Marc ; Imai, Hideki ; Lin, Shu ; Poli, Alain Lin, Shu ; Poli, Alain ; Fossorier, Marc ; Imai, Hideki

Berlin, Heidelberg: Springer Berlin / Heidelberg 1999

Texto completo disponível

7
Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974
Material Type:
Livro
Adicionar ao Meu Espaço

Category Theory Applied to Computation and Control: Proceedings of the First International Symposium San Francisco, February 25–26, 1974

Manes, Ernest Gene Manes, Ernest Gene

Berlin, Heidelberg: Springer Berlin Heidelberg 1975

Texto completo disponível

8
The Origins of Digital Computers: Selected Papers
Material Type:
Livro
Adicionar ao Meu Espaço

The Origins of Digital Computers: Selected Papers

Randell, B Randell, Brian

Berlin, Heidelberg: Springer Berlin / Heidelberg 1973

Texto completo disponível

9
A Study in String Processing Languages
Material Type:
Livro
Adicionar ao Meu Espaço

A Study in String Processing Languages

Klint, Paul

Berlin, Heidelberg: Springer Berlin Heidelberg 1985

Texto completo disponível

10
Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Ada Software Tools Interfaces: Workshop, Bath, July 13–15, 1983 Proceedings

Wallis, Peter J. L Wallis, Peter J. L.

Berlin, Heidelberg: Springer Berlin Heidelberg 1984

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1985  (3)
  2. 1985Até1996  (3)
  3. 1997Até2000  (4)
  4. 2001Até2004  (4)
  5. Após 2004  (4)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.