skip to main content
Idioma:
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
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
Theory Reasoning in Connection Calculi
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.

3
Automatic Verification of Sequential Infinite-State Processes
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.

4
Security protocols 5th international workshop, Paris, France, April 7-9, 1997 : proceedings
Security protocols 5th international workshop, Paris, France, April 7-9, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Security protocols 5th international workshop, Paris, France, April 7-9, 1997 : proceedings

Bruce Christianson; Bruno Crispo; Mark Lomas; Michael Roe 1954-; G Goos; J Hartmanis; J. van Leeuwen (Jan); International Workshop on Security Protocols (5th 1997 Paris, France)

Berlin Springer New York c1998

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

5
Security protocols 7th international workshop, Cambridge, UK, April 19-21, 1999 : proceedings
Security protocols 7th international workshop, Cambridge, UK, April 19-21, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Security protocols 7th international workshop, Cambridge, UK, April 19-21, 1999 : proceedings

Bruce Christianson; G Goos; J Hartmanis; J. van Leeuwen (Jan); International Workshop on Security Protocols (7th 1999 Cambridge, England)

Berlin Springer New York c2000

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

6
Secure networking -- CQRE [Secure] '99 International Exhibition and Congress CQRE'99, Düsseldorf, Germany, November 30-December 2, 1999 : proceedings
Secure networking -- CQRE [Secure] '99 International Exhibition and Congress CQRE'99, Düsseldorf, Germany, November 30-December 2, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Secure networking -- CQRE [Secure] '99 International Exhibition and Congress CQRE'99, Düsseldorf, Germany, November 30-December 2, 1999 : proceedings

CQRE'99 (1999 Düsseldorf, Germany) Rainer Baumgart; G Goos; J Hartmanis; J. van Leeuwen (Jan)

Berlin Springer New York c1999

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

7
Shape, Contour and Grouping in Computer Vision
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.

8
Lectures on Proof Verification and Approximation Algorithms
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
Mobile Agents and Security
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.

10
Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994
Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994
Material Type:
Livro 		Adicionar ao Meu Espaço

Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994

International Conference on Constraints in Computation Logics (1. 1994 Minich) Jean-Pierre Jouannaud; G Goos; J Hartmanis; J Leeuwen

Berlin Computer 1994

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (11)

Data de Publicação 

De até
Refinar

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.