skip to main content
Idioma:
Resultados 1 2 next page
Refinado por: Biblioteca: EPBC - Esc. Politécnica-Bib Central remover assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
STACS 84 Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984
STACS 84 Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984
Material Type:
Livro 		Adicionar ao Meu Espaço

STACS 84 Symposium of Theoretical Aspects of Computer Science, Paris [April] 11-13, 1984

Symposium on Theoretical Aspects of Computer Science (1st 1984 Paris, France) M Fontet (Max); Kurt Mehlhorn 1949-; Association française pour la cybernétique économique et technique; Gesellschaft für Informatik

Berlin Springer-Verlag New York 1984

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

2
Logic for computer science
Logic for computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic for computer science

Steve Reeves 1957- Michael Clarke 1940-

Wokingham, England Addison-Wesley Reading, Mass. c1990

Localização: EPBC - Esc. Politécnica-Bib Central    (658.788 R259L )(Acessar)

3
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)

4
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)

5
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)

6
Automata, languages and programming 2d Colloquium, University of Saarbr&#252;cken, July 29 - August 2, 1974
Automata, languages and programming 2d Colloquium, University of Saarbr&#252;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)

7
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)

8
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)

9
Logics of programs proceedings
Logics of programs proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logics of programs proceedings

Conference on the Logic of Programs (1985 : Brooklin) Rohit Parikh

Berlin Springer 1985

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

10
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)

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Data de Publicação 

De até
Refinar
  1. Antes de1974  (2)
  2. 1974Até1980  (2)
  3. 1981Até1984  (3)
  4. 1985Até1987  (6)
  5. Após 1987  (4)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.