Resultados
|
|
|
|
|
|
|
|
9th international conference on automated deduction : Argonne, illinois, usa, may 23-26, 1988 : Proceedings / E. lusk, r. overbeek, eds. por International Conference On Automated Deduction (9 : 1988 : Argonne, Illinois) | Lusk, Ewing [editor] | Overbeek, Ross A [editor]. Series Lecture notes in computer science ; 310Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c1988Otro título: Ninth international conference on automated deduction.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9A96 I57 1988.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Active networks : IFIP-TC6 5th International Working Conference, IWAN 2003, Kyoto, Japan, December 10-12, 2003 : proceedings / Naoki Wakamiya, Marcin Solarski, James Sterbenz, eds. por IWAN (5 : 2003 : Kioto, Japón) | Wakamiya, Naoki [editor] | Solarski, Marcin [editor] | Sterbenz, James [editor]. Series Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2004Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5105.5 I93 2003.
|
|
|
|
|
|
Active technologies for network and service management : 10th IFIP/IEEE International Workshop on Distributed Systems : Operations and Management, DSOM'99, Zurich, Switzerland, october 1999 : proceedings / Rolf Stadler, Burkhard Stiller, eds. por IFIP/IEEE International Workshop on Distributed Systems : Operations and Management (10 : 1999 : Zurich, Suiza) | Stadler, Rolf [editor] | Stiller, Burkhard, 1965- [editor]. Series Lecture notes in computer science ; 1700Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Idioma: SPA Editor: Berlin : Springer Verlag, c1999Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9D5 I445 1999.
|
|
|
|