skip to main content
Resultados 1 2 next page
Mostrar Somente
Refinado por: autor: Hartmanis, J remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Incremental Speech Translation
Incremental Speech Translation
Material Type:
Livro
Adicionar ao Meu Espaço

Incremental Speech Translation

Jan Willers Amtrup J Hartmanis; J van Leeuwen

Springer Berlin Heidelberg 1999

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

2
Shape, Contour and Grouping in Computer Vision
Shape, Contour and Grouping in Computer Vision
Material Type:
Livro
Adicionar ao Meu Espaço

Shape, Contour and Grouping in Computer Vision

David A. Forsyth David Forsyth; Roberto Cipolla; Vito di Gesu; Juris Hartmanis; Joseph L Mundy; Jan van Leeuwen

Springer Berlin Heidelberg 1999

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

3
Universal Routing Strategies for Interconnection Networks
Universal Routing Strategies for Interconnection Networks
Material Type:
Livro
Adicionar ao Meu Espaço

Universal Routing Strategies for Interconnection Networks

Christian Scheideler G Goos; J Hartmanis; Jan Van Leeuwen

Springer Berlin Heidelberg 1998

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

4
Compiling Natural Semantics
Compiling Natural Semantics
Material Type:
Livro
Adicionar ao Meu Espaço

Compiling Natural Semantics

Mikael Pettersson Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

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

5
Models and Tools for Managing Development Processes
Models and Tools for Managing Development Processes
Material Type:
Livro
Adicionar ao Meu Espaço

Models and Tools for Managing Development Processes

Bernhard Westfechtel Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

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

6
Software Process: Principles, Methodology, and Technology
Software Process: Principles, Methodology, and Technology
Material Type:
Livro
Adicionar ao Meu Espaço

Software Process: Principles, Methodology, and Technology

Jean-Claude Derniame Jean Claude Derniame; Badara Ali Kaba; David Wastell; Juris Hartmanis; Badara A Kaba; Jan van Leeuwen

Springer Berlin Heidelberg 1999

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

7
Mobile Agents and Security
Mobile Agents and Security
Material Type:
Livro
Adicionar ao Meu Espaço

Mobile Agents and Security

Giovanni Vigna Giovanni Vigna; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1998

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

8
Lectures on Proof Verification and Approximation Algorithms
Lectures on Proof Verification and Approximation Algorithms
Material Type:
Livro
Adicionar ao Meu Espaço

Lectures on Proof Verification and Approximation Algorithms

Ernst W. Mayr Ernst W Mayr; H. J Prömel; Angelika Steger; G Goos; J Hartmanis; Hans Jürgen Prömel

Springer Berlin Heidelberg 1998

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

9
Automatic Verification of Sequential Infinite-State Processes
Automatic Verification of Sequential Infinite-State Processes
Material Type:
Livro
Adicionar ao Meu Espaço

Automatic Verification of Sequential Infinite-State Processes

Olaf Burkart Juris Hartmanis; Jan van Leeuwen

Springer Berlin / Heidelberg 1997

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

10
Theory Reasoning in Connection Calculi
Theory Reasoning in Connection Calculi
Material Type:
Livro
Adicionar ao Meu Espaço

Theory Reasoning in Connection Calculi

Peter Baumgartner Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1998

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (11)

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.