Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Graph-theoretic concepts in computer science : 26th International Workshop, WG 2000, Konstanz, Germany,june 15-17, 2000 : proceedings / Ulrik Brandes, Dorotea Wagner (Eds.) por International Workshop, WG 2000 (26 : 2000 : Konstanz, Alemania) | Brandes, Ulrik [editor] | Wagner, Dorothea [editor]. Series Lecture notes in computer science ; 1928Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 I58 2000.
|
|
|
|
|
|
Discrete geometry for computer imagery : 9th International Conference, DGCI 2000, Uppsala, Sweden, December 13-15, 2000 : proceedings / Gunilla Borgefors, Ingela Nystrom, Gabriella Sanniti di Baja, Eds. por DGCI 2000 (9 : 2000 : Uppsala, Suecia) | Borgefors, Guinilla [editor] | Nystrom, Ingela, 1967- [editor] | Sanniti di Baja, Gabriella [editor]. Series Lecture notes in computer science ; 1953Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (2)Clasificación: T385 D515 2000, ...
|
|
|
Types for proofs and programs : International Workshop, TYPES'99, Kloster Lokeberg, Sweden, June 12-16, 1999 : select papers / Thierry Coquand ... [y otros.], (Eds.) por International Workshop TYPES (1999 : Lokeberg, Suecia) | Coquand, Thierry, 1961- [editor]. Series Lecture notes in computer science ; 1956Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I58 1999.
|
|
|
Formal methods in computer-aided design : Third International Conference, FMCAD 2000, Austin, Tx, USA, November 1-3 2000 : proceedings / Warren A. Hunt, Jr., Steven D. Johnson, eds. por International Conference, FMCAD 2000 (3 : 2000 : Austin, Texas) | Warren A. Hunt [editor] | Johnson, Steven [editor]. Series Lecture notes in computer science ; 1954Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TA174 I58 2000.
|
|
|
|
|
|
|
|
|
Job scheduling strategies for parallel processing : IPDPS 2000 Workshop, JSSPP 2000 Cancun, Mexico, may 1, 2000 : proceedings / Dror G. Feitelson, Larry Rudolph, (eds.) por IPDPS 2000 Workshop (2000 : Cancun, Mexico) | Feitelson, Dror G [editor] | Rudolph, Larry [editor]. Series Lecture notes in computer science ; v. 1911Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: ENG Editor: Berlin : Springer Verlag, 2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.58 I66 2000.
|
|
|
|