skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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.

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

The Evolution of Programs

Dershowitz

Birkhäuser Boston 1983

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

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

4
Fundamentals of Computation Theory
Material Type:
Livro
Adicionar ao Meu Espaço

Fundamentals of Computation Theory

International Conference on Fundamentals of Computation Theory Lothar Budach

Springer Berlin Heidelberg 1991

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

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

6
On the Shape of Mathematical Arguments
On the Shape of Mathematical Arguments
Material Type:
Livro
Adicionar ao Meu Espaço

On the Shape of Mathematical Arguments

Antonetta J. M. van Gasteren

Springer Berlin Heidelberg 1990

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
Validation of stochastic systems a guide to current research
Material Type:
Livro
Adicionar ao Meu Espaço

Validation of stochastic systems a guide to current research

Boudewijn R Haverkort; Holger Hermanns 1967-; Joost-Pieter Katoen; Markus Siegle; Christel Baier

Berlin Springer New York c2004

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Buscando em bases de dados remotas. Favor aguardar.