skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Refinado por: assunto: Teoria Da Computação remover EPBC - Esc. Politécnica-Bib Central remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
Theory of computation formal languages, automata, and complexity
Theory of computation formal languages, automata, and complexity
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory of computation formal languages, automata, and complexity

J. Glenn Brookshear

Redwood City, Calif. Benjamin/Cummings c1989

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

3
Phonological parsing in speech recognition
Phonological parsing in speech recognition
Material Type:
Livro 		Adicionar ao Meu Espaço

Phonological parsing in speech recognition

Kenneth Ward Church

Boston Kluwer Academic Publishers c1987

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

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

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

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

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

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

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

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

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.