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
Results 1 2 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Compiling Natural Semantics
Compiling Natural Semantics
Material Type:
Book
Add to e-Shelf

Compiling Natural Semantics

Mikael Pettersson Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1999

Online access. The library also has physical copies.

2
Theory Reasoning in Connection Calculi
Theory Reasoning in Connection Calculi
Material Type:
Book
Add to e-Shelf

Theory Reasoning in Connection Calculi

Peter Baumgartner Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1998

Online access. The library also has physical copies.

3
Automatic Verification of Sequential Infinite-State Processes
Automatic Verification of Sequential Infinite-State Processes
Material Type:
Book
Add to e-Shelf

Automatic Verification of Sequential Infinite-State Processes

Olaf Burkart Juris Hartmanis; Jan van Leeuwen

Springer Berlin / Heidelberg 1997

Online access. The library also has physical copies.

4
Mobile Agents and Security
Mobile Agents and Security
Material Type:
Book
Add to e-Shelf

Mobile Agents and Security

Giovanni Vigna Giovanni Vigna; Juris Hartmanis; Jan van Leeuwen

Springer Berlin Heidelberg 1998

Online access. The library also has physical copies.

5
Universal Routing Strategies for Interconnection Networks
Universal Routing Strategies for Interconnection Networks
Material Type:
Book
Add to e-Shelf

Universal Routing Strategies for Interconnection Networks

Christian Scheideler G Goos; J Hartmanis; Jan Van Leeuwen

Springer Berlin Heidelberg 1998

Online access. The library also has physical copies.

6
Computer science today recent trends and developments
Material Type:
Book
Add to e-Shelf

Computer science today recent trends and developments

Jan Van Leeuwen

Berlin Springer 1995

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.1000 e.1 ) and other locations(GetIt)

7
Alan Turing : his work and impact
Alan Turing : his work and impact
Material Type:
Book
Add to e-Shelf

Alan Turing : his work and impact

S. Barry Cooper S. Barry Cooper; Jan Leeuwen; Alan Mathison Turing; J van Leeuwen J. van Leeuwen

Elsevier 2013

Online access. The library also has physical copies.

8
Material Type:
Book
Add to e-Shelf

Distributed algorithms proceedings

International Workshop on Distributed Algorithms (2. 1987 Amsterdam) Jan Van Leeuwen

Berlin Springer 1988

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.312 ex.1 ) and other locations(GetIt)

9
Material Type:
Book
Add to e-Shelf

Distributed algorithms proceedings

International Workshop on Distributed Algorithms,4., Bari, 1990 Jan Van Leeuwen

Berlin Springer 1991

Available at ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.486 e.1 ) and other locations(GetIt)

10
Graphtheoretic concepts in computer science proceedings
Material Type:
Book
Add to e-Shelf

Graphtheoretic concepts in computer science proceedings

International Workshop on Graphtheoretic Conceptsin Computer Science, 14., Amsterdam, 1988 Jan Van Leeuwen

Berlin Springer 1989

Available at IME - Inst. Matemática e Estatística    (S L471c v.344 )(GetIt)

Results 1 2 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Creation Date 

From To
  1. Before1989  (2)
  2. 1989To1993  (3)
  3. 1994To1996  (3)
  4. 1997To1999  (5)
  5. After 1999  (1)
  6. More options open sub menu

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far