skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livro
Adicionar ao Meu Espaço

Advanced Seminar on Foundations of Innovative Software Development I ; and, Colloquium on Trees in Algebra and Programming (CAAP '87)

Advanced Seminar on Foundations of Innovative Software Development (1st 1987 Pisa, Italy) Hartmut Ehrig; Colloquium on Trees in Algebra and Programming (12th 1987 Pisa, Italy)

Berlin Springer-Verlag New York c1987

Localização: IME - Inst. Matemática e Estatística    (S L471c v.250 v.2 )(Acessar)

2
Material Type:
Livro
Adicionar ao Meu Espaço

Anatomy of a compiler

John A. N. Lee

New York Van Nostrand Reinhold 1967

Localização: ICMC - Inst. Ciên. Mat. Computação    (68N20 L478a e.1 ) e outros locais(Acessar)

3
Material Type:
Livro
Adicionar ao Meu Espaço

Attribute grammar for the semantic analysis of Ada

J. Uhl (Jürgen)

Berlin Springer 1982-

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lncs v.139 e.1 ) e outros locais(Acessar)

4
Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages, and programming 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings

International Colloquium on Automata, Languages, and Programming (1997 Bologna, Italy) Pierpaolo Degano 1950-; Roberto Gorrieri; Alberto Marchetti-Spaccamela; European Association for Theoretical Computer Science

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1256 ) e outros locais(Acessar)

5
Communication and concurrency
Material Type:
Livro
Adicionar ao Meu Espaço

Communication and concurrency

R. Milner 1934- (Robin)

New York Prentice Hall 1989

Localização: EPBC - Esc. Politécnica-Bib Central    (004.451 M636c ) e outros locais(Acessar)

6
Concur'95 concurrency theory : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Concur'95 concurrency theory : proceedings

International Conference on Concurrency Theory (6. 1995 Philadelphia, USA) Insup Lee; Scott A Smolka

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.962 e.1 ) e outros locais(Acessar)

7
Concurrency theory , CONCUR'98 9th International Conference, Nice, France, September 8-11, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Concurrency theory , CONCUR'98 9th International Conference, Nice, France, September 8-11, 1998 : proceedings

International Conference on Concurrency Theory (9. 1998 Nice, France) Davide Sangiorgi; Robert de Simone

Berlin Springer London 1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1466 ) e outros locais(Acessar)

8
Coroutines a programming methodology, a language design, and an implementation
Material Type:
Livro
Adicionar ao Meu Espaço

Coroutines a programming methodology, a language design, and an implementation

Christopher D. Marlin 1952-

Berlin New York Springer-Verlag 1980

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.95 ex.1 ) e outros locais(Acessar)

9
Material Type:
Livro
Adicionar ao Meu Espaço

Design and implementation of symbolic computation systems proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems, 1., Capri, 1990 Alfonso Miola

Berlin Springer 1990

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.429 e.1 ) e outros locais(Acessar)

10
Design and implementation of symbolic computation systems proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Design and implementation of symbolic computation systems proceedings

International Symposium on Design and Implementation of Symbolic Computation Systems (3. 1993 Gmunden) Alfonso Miola

Berlin Springer 1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.722 e.1 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (2)

Data de Publicação 

De até
  1. Antes de1983  (4)
  2. 1983Até1986  (4)
  3. 1987Até1990  (7)
  4. 1991Até1996  (8)
  5. Após 1996  (8)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.