skip to main content
Idioma:
Refinado por: Biblioteca: IME - Inst. Matemática e Estatística remover assunto: Teoria Da Computação remover Biblioteca: EPBC - Esc. Politécnica-Bib Central remover nível superior: Disponível na Biblioteca remover
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
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: EPBC - Esc. Politécnica-Bib Central    (004 In8a 12. ) e outros locais(Acessar)

2
Automata, languages and programming 2d Colloquium, University of Saarbrücken, July 29 - August 2, 1974
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: EPBC - Esc. Politécnica-Bib Central    (004 In8a 2. ) e outros locais(Acessar)

3
Communication and concurrency
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)

4
Computer organization and the system/370
Material Type:
Livro 		Adicionar ao Meu Espaço

Computer organization and the system/370

Harry Katzan

New York Van Nostrand Reinhold Co 1971

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

5
The Design of an optimizing compiler
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: EPBC - Esc. Politécnica-Bib Central    (004.4 D46 ) e outros locais(Acessar)

6
File organization for database design
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: EPBC - Esc. Politécnica-Bib Central    (004.63 W635f ) e outros locais(Acessar)

7
Formal semantics of Programming languages
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: EPBC - Esc. Politécnica-Bib Central    (004.43 C833 2. ) e outros locais(Acessar)

8
Fundamental structures of computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamental structures of computer science

William Allan Wulf

Reading, Mass. Addison-Wesley c1981

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

9
Fundamentals of computation theory
Fundamentals of computation theory
Material Type:
Livro 		Adicionar ao Meu Espaço

Fundamentals of computation theory

FCT '85 (1985 Cottbus, Germany) L Budach 1935- (Lothar)

Berlin New York Springer-Verlag c1985

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

10
Handbook of logic in computer science
Handbook of logic in computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Handbook of logic in computer science

Samson Abramsky 1953-; Dov M Gabbay 1945-; Thomas S. E Maibaum 1947-

Oxford Clarendon New York Oxford University Press 1992-<2000>

Localização: EPBC - Esc. Politécnica-Bib Central    (004 H191 v.4 ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.