skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 next page
Refinado por: autor: Van Leeuwen, J remover nível superior: Recursos Online 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
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.

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

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

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

10
Formal Syntax and Semantics of Java
Formal Syntax and Semantics of Java
Material Type:
Livro
Adicionar ao Meu Espaço

Formal Syntax and Semantics of Java

Jim Alves-Foss James Alves-Foss; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

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

Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Buscando em bases de dados remotas. Favor aguardar.