Resultados
|
|
Symbolic and quantitative approaches to reasoning with uncertainty : 8th European conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005 : proceedings / Lluís Godo, ed. por ECSQARU 2005 (2005 : Barcelona, España) | Godo, L., (Lluís) [editor]. Series Lecture notes in computer science ; 3571 | Lecture notes in computer science. Lecture notes in artificial intelligence | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2005Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q334 E37 2005.
|
|
|
Testing of communicating systems : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006 : proceedings / M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko, eds. por IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (18 : 2006 : Nueva York, Nueva York) | Uyar, M. Ümit [editor] | Duale, Ali Y [editor] | Fecko, Mariusz A, 1968- [editor]. Series Lecture notes in computer science ; 3964Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: IFIP TC 6/WG 6.1 International Conference | Eighteenth IFIP TC 6/WG 6.1 International Conference | TestCom 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: TK5101.A1 I475 2006.
|
|
|
Text, speech and dialogue : 9th international conference, TSD 2006, Brno, Czech Republic, September 11-15, 2006, proceedings / Petr Sojka, Ivan Kopecek, Karel Pala, eds. por TSD 2006 (2006 : Brno, República Checa) | Sojka, Petr [editor] | Kopeécek, Ivan [editor] | Pala, Karel [editor]. Series Lecture notes in computer science ; 4188 | Lecture notes in artificial intelligenceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: TSD 2006.Acceso en línea: Restricted to SpringerLink subscribers Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9.N38 T47 2006.
|
|
|
Tools and algorithms for the construction and analysis of systems : 6th International Conference, TACAS'2000 : held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, march/april 2000 : proceedings / Susanne Graf, Michael Schwartzbach, eds. por TACAS'2000 (6 : 2000 : Berlin, Alemania) | Graf, Susanne [editor] | Schwartzbach. Michael [editor]. Series Lecture notes in computer science ; v. 1785Tipo 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.9S88 I58 2000.
|
|
|
|
|
|
Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised, selected papers / Steve Dunne, Bill Stoddart, eds. por UTP 2006 (2006 : Castillo Walworth, Condado de Durham, Inglaterra) | Dunne, Steve [editor] | Stoddart, Bill, 1946- [editor] | Unifying theories of programming (2006 : Castillo Walworth, Condado de Durham, Inglaterra). Series Lecture notes in computer science ; 4010Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Acceso en línea: Descripción del editor Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.6 U86.
|
|
|
|
|
|
Web and wireless geographical information systems : 4th international workshop, W2GIS 2004, Goyang, Korea, November 2004, revised selected papers / Yong-Jin Kwon, Alain Bouju, Christophe Claramunt, eds. por W2GIS 2004 (4 : 2004 : Koyang-gun, Corea) | Kwaeon, Yaeng-jin [editor] | Bouju, Alain [editor] | Claramunt, Christophe [editor]. Series Lecture notes in computer science ; 3428Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2005Otro título: W2GIS 2004.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: G70.212 W78 2004.
|
|
|
|
|
|
|