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
Mostrar Somente
Refinado por: assunto: Teoria Da Computação remover Electronic Digital Computers remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981
Material Type:
Livro 		Adicionar ao Meu Espaço

Conference proceedings of the Thirteenth Annual ACM Symposium on Theory of Computing papers presented at the Symposium, Milwaukee, Wisconsin, May 11-13, 1981

ACM Symposium on Theory of Computing (13th 1981 Milwaukee, Wis.) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing; University of Wisconsin--Milwaukee Dept. of Electrical Engineering and Computer Science

New York, N.Y. ACM Baltimore, MD Additional copies may be orderd from ACM Order Dept. c1981

Localização: IME - Inst. Matemática e Estatística    (QA800.C S989r 13. e.2 )(Acessar)

2
Mathematical studies of information processing proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
Mathematical studies of information processing proceedings of the international conference, Kyoto, Japan, August 23-26, 1978
Material Type:
Livro 		Adicionar ao Meu Espaço

Mathematical studies of information processing proceedings of the international conference, Kyoto, Japan, August 23-26, 1978

E. K Blum 1923- (Edward K.); Manfred Paul; Satoru Takasu 1931-

New York Springer-Verlag 1979

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

3
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information
Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information
Material Type:
Livro 		Adicionar ao Meu Espaço

Fault-Tolerant Search Algorithms: Reliable Computation with Unreliable Information

Cicalese, Ferdinando

Berlin, Heidelberg: Springer Nature 2013

Texto completo disponível

Citações Citado por
4
Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Rewriting techniques and applications 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings

Hubert Comon; International Conference on Rewriting Techniques and Applications (8th 1997 Sitges, Spain)

Berlin Springer New York c1997

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

5
The Evolution of Programs
The Evolution of Programs
The Evolution of Programs
Material Type:
Livro 		Adicionar ao Meu Espaço

The Evolution of Programs

Dershowitz E Coffman; R. L Graham

Birkhäuser Boston 1983

Acesso online. A biblioteca também possui exemplares impressos.

6
First-order programming theories
First-order programming theories
Material Type:
Livro 		Adicionar ao Meu Espaço

First-order programming theories

T. Gergely (Tamás) László Úry 1953-

Berlin Springer-Verlag New York c1991

Localização: IME - Inst. Matemática e Estatística    (QA816 G367f )(Acessar)

7
3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973
3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973
Material Type:
Livro 		Adicionar ao Meu Espaço

3. [i.e. dritte] Jahrestagung Hamburg, 8.-10. Oktober 1973

Gesellschaft für Informatik Wilfried Brauer; Gesellschaft für Informatik

Berlin New York Springer-Verlag 1973

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

8
Theory of program structures schemes, semantics, verification
Theory of program structures schemes, semantics, verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Theory of program structures schemes, semantics, verification

Sheila Greibach 1939-

Berlin New York Springer-Verlag 1975

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

9
First-order dynamic logic
First-order dynamic logic
Material Type:
Livro 		Adicionar ao Meu Espaço

First-order dynamic logic

David Harel 1950-

Berlin New York Springer-Verlag 1979

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

10
Interactive Markov Chains: The Quest for Quantified Quality
Interactive Markov Chains: The Quest for Quantified Quality
Material Type:
Livro 		Adicionar ao Meu Espaço

Interactive Markov Chains: The Quest for Quantified Quality

Hermanns, Holger

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (3)
  2. Disponível na Biblioteca (18)

Data de Publicação 

De até
Refinar
  1. Antes de1978  (4)
  2. 1978Até1981  (5)
  3. 1982Até1989  (6)
  4. 1990Até2002  (5)
  5. Após 2002  (3)
  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.