Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Libro
|
Distributed algorithms proceedingsInternational Workshop on Distributed Algorithms (2. 1987 Amsterdam) Jan Van LeeuwenBerlin Springer 1988Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.312 ex.1 ) y otras localizaciones(Obténgalo) |
|
2 |
Material Type: Libro
|
Graphtheoretic concepts in computer science proceedingsInternational Workshop on Graphtheoretic Conceptsin Computer Science, 14., Amsterdam, 1988 Jan Van LeeuwenBerlin Springer 1989Disponible en IME - Inst. Matemática e Estatística (S L471c v.344 )(Obténgalo) |
|
3 |
Material Type: Libro
|
Distributed algorithms proceedingsInternational Workshop on Distributed Algorithms,4., Bari, 1990 Jan Van LeeuwenBerlin Springer 1991Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.486 e.1 ) y otras localizaciones(Obténgalo) |
|
4 |
Material Type: Libro
|
Parle proceedingsConference on Parallel Architectures and Languages Europe, 3, Eindhoven, 1991 E. H. L Aarts Emile H. L.); Jan Van LeeuwenBerlin Springer 1991Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.506 e.1 v.2 ) y otras localizaciones(Obténgalo) |
|
5 |
Material Type: Libro
|
Graph-theoretic concepts in computer science proceedingsInternational Workshop on Graphtheoretic Conceptsin Computer Science (19. 1993 Utrecht) Jan Van LeeuwenBerlin Springer 1994Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.790 e.1 ) y otras localizaciones(Obténgalo) |
|
6 |
Material Type: Libro
|
Algorithms--ESA '94 second annual European symposium, Utrecht, The Netherlands, September 26-28, 1994 : proceedingsESA '94 (1994 Utrecht, Netherlands) J. van Van Leeuwen (Jan)Berlin Springer-Verlag New York c1994Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.855 e.1 ) y otras localizaciones(Obténgalo) |
|
7 |
Material Type: Libro
|
Computer science today recent trends and developmentJan Van LeeuwenGoos, G., ed; Hartmanis, J., ed; Leeuwen, J. van, ed Lecture notes in computer science Berlin, Springer-Verlag, c1985-Berlin Springer-Verlag c1995Disponible en IFSC - Inst. Física de São Carlos (P621.38195 L471 v.1000 )(Obténgalo) |
|
8 |
Material Type: Libro
|
Computer science today recent trends and developmentsJan Van LeeuwenBerlin Springer 1995Disponible en ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.1000 e.1 ) y otras localizaciones(Obténgalo) |
|
9 |
Material Type: Libro
|
Automatic Verification of Sequential Infinite-State ProcessesOlaf Burkart Juris Hartmanis; Jan van LeeuwenSpringer Berlin / Heidelberg 1997Acceso en línea. La biblioteca tiene también copias físicas. |
|
10 |
Material Type: Libro
|
Graph-Theoretic Concepts in Computer ScienceJuraj Hromkovič Juris Hartmanis; Ondrej Sykora; Jan van LeeuwenSpringer Berlin Heidelberg 1998Acceso en línea |