Resultados
|
|
|
Computer algebra in scientific computing : 9th international workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006 : proceedings / Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov, (eds.) por Workshop on Computer Algebra in Scientific Computing (9 : 2006 : Moldova) | Ganzha, V. G, 1956- [editor] | Mayr, Ernst [editor] | Vorozhtsov, E. V. (Evgenii Vasilevich), 1946- [editor]. Series Lecture notes in computer science ; 4194Tipo de material:  Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q155.7E4 W67 2006.
|
|
|
|
|
|
|
|
Conceptual structures : knowledge architectures for smart applications : 15th International Conference on Conceptual Structures, ICCS 2007, Sheffield, UK, July 22-27, 2007 : proceedings / Uta Priss, Simon Polovina, Richard Hill, eds. por International Conference on Conceptual Structures (15 : 2007 : Sheffield, Inglaterra) | Priss, Uta, 1967- [editor] | Polovina, Simon [editor] | Hill, Richard [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 4604Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2007Otro título: 15th International Conference on Conceptual Structures | Fifteenth International Conference on Conceptual Structures | International Conference on Conceptual Structures | ICCS 2007.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q387.2 I57 2007.
|
|
|
|
Conceptual structures at work : 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, AL, USA, July 19-23, 2004 : proceedings / Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach, eds. por International Conference on Conceptual Structures (12 : 2004 : Huntsville, Alabama) | Wolff, Klaus, 1935- [editor] | Pfeiffer, Heather D [editor] | Delugach, Harry S, 1953- [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligence ; 3127.Tipo 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: Q387.2 I57 2004.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Deontic logic and artificial normative systems : 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006 : proceedings / Lou Goble, John-Jules Ch. Meyer, eds. por International Workshop on Deontic Logic in Computer Science (8 : 2006 : Utrecht, Países Bajos) | Goble, Lou [editor] | Meyer, John-Jules Ch [editor]. Series Lecture notes in computer science ; 4048 | Lecture notes in artificial intelligenceTipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : New York : Springer Verlag, c2006Otro título: 8th International Workshop on Deontic Logic in Computer Science | Eighth International Workshop on Deontic Logic in Computer Science | DEON 2006.Acceso en línea: Restricted to SpringerLink subscribers | Descripción del editor Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 I65 2006.
|
|
|
|
|
|
|
|
Discrete geometry, combinatorics and graph theory : 7th China-Japan conference, CJCDGCGT 2005, Tianjin, China, November 18-20, 2005 [and] Xi'an, China, November 22-24, 2005 : revised selected papers / Jin Akiyama ... [y otros.], eds. por CJCDGCGT 2005 (2005 : Tianjin, China and Xi'an, Shaanxi Sheng, China) | Akiyama, J [editor]. Series Lecture notes in computer science ; 4381Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2007Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA167 C53 2005.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Euro-Par 2006 parallel processing : 12th International Euro-Par Conference, Dresden, Germany, August 28-September 1, 2006 : proceedings / Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner, eds. por International Euro-Par Conference (12 : 2006 : Dresden, Alemania) | Nagel, Wolfgang E [editor] | Walter, Wolfgang V [editor] | Lehner, Wolfgang [editor]. Series Lecture notes in computer science ; 4128 | Lecture notes in computer scienceTipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: International Euro-Par Conference | Euro-Par 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.58 I5739 2006.
|
|
|
|
|
|
|
|
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / Roberto Gorrieri, Heike Wehrheim, eds. por International Conference on Formal Methods for Open Object-Based Distributed Systems (8 : 2006 : Boloña, Italia) | Gorrieri, Roberto [editor] | Wehrheim, Heike [editor]. Series Lecture notes in computer science ; 4037Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.64 F67 2006.
|
|
|
|
Groupware : design, implementation, and use : 12th international workshop, CRIWG 2006, Medina del Campo, Spain, September 17-21, 2006 : proceedings / Yannis A. Dimitriadis, Ilze Zigurs, Eduardo Gómez-Sánchez, eds. por International Workshop on Groupware (12 : 2006 : Medina del Campo, España) | Dimitriadis, Yannis A [editor] | Zigurs, Ilze [editor] | Gómez-Sánchez, Eduardo [editor]. Series Lecture notes in computer science ; 4154Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: CRIWG 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: LB1028.43 I58 2006.
|
|
|
|
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems : third international conference, CPAIOR 2006, Cork, Ireland, May 31-June 2, 2006 : proceedings / J. Christopher Beck, Barbara M. Smith, eds. por International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems (3 : 2006 : Cork, Irlanda) | Beck, J. Christopher [editor] | Smith, Barbara, 1948- [editor]. Series Lecture notes in computer science ; 3990Tipo de material: Texto; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: CPAIOR 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Q340 I55 2006.
|
|
|
|
Intelligent agents VI : agent theories, architectures, and languages : 6th International Workshop, ATAL'99, Orlando, Florida, USA, july 1999 : proceedings / Nicholas R. Jennings, Yves Lesperance, eds. por Workshop on Agent Theories, Architectures, and Languages (6 : 1999 : Orlando, Florida) | Jennings, Nicholas R [editor] | Lesperance, Yves [editor]. Series Lecture notes in computer science. Lecture notes in artificial intelligenceTipo 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: Q336 E33 2000.
|
