skip to main content
Refinado por: assunto: Teoria Da Computação remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers
Material Type:
Livro
Adicionar ao Meu Espaço

Artificial evolution 4th European conference, AE '99, Dunkerque, France, November 3-5, 1999 ; selected papers

AE '99 (1999 Dunkerque, France) Cyril Fonlupt

Berlin Springer London c2000

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

2
Concurrent object-oriented programming and Petri nets advances in Petri nets
Material Type:
Livro
Adicionar ao Meu Espaço

Concurrent object-oriented programming and Petri nets advances in Petri nets

Gul A Agha; Fiorella De Cindio; Grzegorz Rozenberg

Berlin Springer New York c2001

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

3
A basis for theoretical computer science
Material Type:
Livro
Adicionar ao Meu Espaço

A basis for theoretical computer science

Michael A. Arbib (Michael Anthony) A. J Kfoury (Assaf J.) b. 1945-; Robert N Moll

New York Springer-Verlag c1981

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

4
Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Foundations of software technology and theoretical computer science 18th Conference, Chennai, India, December 17-19, 1998 : proceedings

V Arvind; R Ramanujam; Conference on Foundations of Software Technology and Theoretical Computer Science (18th 1998 Madras, India)

Berlin Springer London c1998

Localização: IME - Inst. Matemática e Estatística    (S L471c v.1530 )(Acessar)

5
Algorithms and theory of computation handbook
Material Type:
Livro
Adicionar ao Meu Espaço

Algorithms and theory of computation handbook

Mikhail J Atallah

Boca Raton CRC Press c1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q20.01 A396 e.1 )(Acessar)

6
Hierarchical Neural Networks for Image Interpretation
Hierarchical Neural Networks for Image Interpretation
Material Type:
Livro
Adicionar ao Meu Espaço

Hierarchical Neural Networks for Image Interpretation

Sven Behnke

Springer Berlin Heidelberg 2003

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

7
Systems of reductions
Material Type:
Livro
Adicionar ao Meu Espaço

Systems of reductions

B. Benninghofen 1958- (Benjamin) S Kemmerich 1953- (Susanne); Michael M Richter 1938-

Berlin New York Springer-Verlag c1987

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

8
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

9
An introduction to data types
Material Type:
Livro
Adicionar ao Meu Espaço

An introduction to data types

J. Craig Cleaveland

Reading, Mass. Addison-Wesley c1986

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

10
Formal Semantics and Pragmatics for Natural Language Querying
Formal Semantics and Pragmatics for Natural Language Querying
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Semantics and Pragmatics for Natural Language Querying

James Clifford

Cambridge Cambridge University Press 1990

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1985  (7)
  2. 1985Até1989  (13)
  3. 1990Até1996  (19)
  4. 1997Até2002  (61)
  5. Após 2002  (30)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.