skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages, and programming 12th colloquium, Nafplion, Greece, July 15-19, 1985

ICALP 85 (1985 Nauplion, Greece) Wilfried Brauer; European Association for Theoretical Computer Science; Ethnikon Metsovion Polytechneion; Universität Hamburg

Berlin New York Springer-Verlag c1985

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (004 In8a 12. ) e outros locais(Acessar)

2
Automata, languages and programming 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974

Colloquium 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 Science

Berlin New York Springer-Verlag 1974

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (004 In8a 2. ) e outros locais(Acessar)

3
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: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.43 M636c ) e outros locais(Acessar)

4
Debugging techniques in large systems
Material Type:
Livro
Adicionar ao Meu Espaço

Debugging techniques in large systems

Courant Computer Science Symposium (1st 1970 New York) Randall Rustin

Englewood Cliffs, N.J. Prentice-Hall 1971

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.14 R928d ) e outros locais(Acessar)

5
The Design of an optimizing compiler
Material Type:
Livro
Adicionar ao Meu Espaço

The Design of an optimizing compiler

William Allan Wulf

New York American Elsevier Pub. Co. 1975

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.453 D46 ) e outros locais(Acessar)

6
Discrete mathematics for new technology
Material Type:
Livro
Adicionar ao Meu Espaço

Discrete mathematics for new technology

Rowan Garnier John Taylor 1957-

Bristol Philadelphia A. Hilger c1992

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (51 G189d ) e outros locais(Acessar)

7
File organization for database design
Material Type:
Livro
Adicionar ao Meu Espaço

File organization for database design

Gio Wiederhold

New York McGraw-Hill c1987

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.7406 W635f ) e outros locais(Acessar)

8
Formal semantics of Programming languages
Material Type:
Livro
Adicionar ao Meu Espaço

Formal semantics of Programming languages

Courant Computer Science Symposium (2nd 1970 New York) Randall Rustin

Englewood, Cliffs, N.J. Prentice-Hall 1972

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.13 C833 2. ) e outros locais(Acessar)

9
The foundations of program verification
Material Type:
Livro
Adicionar ao Meu Espaço

The foundations of program verification

Jacques Loeckx 1931- Kurt Sieber; Ryan D Stansifer

Stuttgart B.G. Teubner Chichester West Sussex New York Wiley c1987

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.14 L822f2 ) e outros locais(Acessar)

10
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of software technology and technology and theoretical computer science proceedings

Conference on Foundations of Software Technology and Theoretical Computer Science, 6., New Delhi, 1986 Kesav V Nori

Berlin Springer 1986

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.1 C76p 6. ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1975  (4)
  2. 1975Até1981  (3)
  3. 1982Até1985  (8)
  4. 1986Até1989  (7)
  5. Após 1989  (4)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.