skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Quantum computer science: an introduction
Quantum computer science: an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

Quantum computer science: an introduction

N. David Mermin

Cambridge University Press 2007

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

2
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.

3
Hybrid Neural Systems
Hybrid Neural Systems
Material Type:
Livro
Adicionar ao Meu Espaço

Hybrid Neural Systems

Ron Sun Ron Sun; Stefan Wermter

Springer Berlin Heidelberg 2000

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

4
practical introduction to denotational semantics
practical introduction to denotational semantics
Material Type:
Livro
Adicionar ao Meu Espaço

practical introduction to denotational semantics

L. Allison

Cambridge University Press 1986

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

5
Symbolic Logic and Mechanical Theorem Proving
Material Type:
Livro
Adicionar ao Meu Espaço

Symbolic Logic and Mechanical Theorem Proving

Chin-Liang Chang Richard Char-Tung Lee

Academic Press 1973

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

6
Logic and Computation: Interactive Proof with Cambridge LCF
Logic and Computation: Interactive Proof with Cambridge LCF
Material Type:
Livro
Adicionar ao Meu Espaço

Logic and Computation: Interactive Proof with Cambridge LCF

Lawrence C. Paulson

Cambridge Cambridge University Press 1987

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

7
Turing Machines with Sublogarithmic Space
Turing Machines with Sublogarithmic Space
Material Type:
Livro
Adicionar ao Meu Espaço

Turing Machines with Sublogarithmic Space

Andrzej Szepietowski

Springer Berlin Heidelberg 1994

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

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

9
Fundamental Algorithms for Permutation Groups
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamental Algorithms for Permutation Groups

Butler

Springer Berlin Heidelberg 1991

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

10
Combinatorics on Traces
Combinatorics on Traces
Material Type:
Livro
Adicionar ao Meu Espaço

Combinatorics on Traces

Volker Diekert

Springer Berlin Heidelberg 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  (2)
  2. 1985Até1986  (2)
  3. 1987Até1990  (4)
  4. 1991Até1994  (4)
  5. Após 1994  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.