Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Incremental Speech TranslationJan Willers Amtrup J Hartmanis; J van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
Theory Reasoning in Connection CalculiPeter Baumgartner Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Livro
|
![]() |
Automatic Verification of Sequential Infinite-State ProcessesOlaf Burkart Juris Hartmanis; Jan van LeeuwenSpringer Berlin / Heidelberg 1997Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Security protocols 5th international workshop, Paris, France, April 7-9, 1997 : proceedingsBruce 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 c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1361 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Security protocols 7th international workshop, Cambridge, UK, April 19-21, 1999 : proceedingsBruce Christianson; G Goos; J Hartmanis; J. van Leeuwen (Jan); International Workshop on Security Protocols (7th 1999 Cambridge, England)Berlin Springer New York c2000Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1796 ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Secure networking -- CQRE [Secure] '99 International Exhibition and Congress CQRE'99, Düsseldorf, Germany, November 30-December 2, 1999 : proceedingsCQRE'99 (1999 Düsseldorf, Germany) Rainer Baumgart; G Goos; J Hartmanis; J. van Leeuwen (Jan)Berlin Springer New York c1999Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1740 e.1 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Shape, Contour and Grouping in Computer VisionDavid A. Forsyth David Forsyth; Roberto Cipolla; Vito di Gesu; Juris Hartmanis; Joseph L Mundy; Jan van LeeuwenSpringer Berlin Heidelberg 1999Acesso online. A biblioteca também possui exemplares impressos. |
8 |
Material Type: Livro
|
![]() |
Lectures on Proof Verification and Approximation AlgorithmsErnst W. Mayr Ernst W Mayr; H. J Prömel; Angelika Steger; G Goos; J Hartmanis; Hans Jürgen PrömelSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Livro
|
![]() |
Mobile Agents and SecurityGiovanni Vigna Giovanni Vigna; Juris Hartmanis; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
10 |
Material Type: Livro
|
![]() |
Constraints in computational logics proceedings of the first international conference on constraints in computational logics, held in munich, germany, september 7-9, 1994International Conference on Constraints in Computation Logics (1. 1994 Minich) Jean-Pierre Jouannaud; G Goos; J Hartmanis; J LeeuwenBerlin Computer 1994Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.845 e.1 ) e outros locais(Acessar) |