Resultados
|
|
Advances in natural computation : second international conference, ICNC 2006, Xi'an, China, September 24-28, 2006 : proceedings / Licheng Jiao ... [y otros.], eds. por ICNC 2006 (2006 : Xi'an, Shaanxi Sheng, China) | Jiao, Li-cheng [editor]. Series Lecture notes in computer science ; 4221-4222Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: ICNC 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (3)Clasificación: Q342 I35 2006, ...
|
|
|
Approximation, randomization, and combinatorial optimization : algorithms and techniques ; 10th international workshop, APPROX 2007, and 11th international workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007 : proceedings / Moses Charikar ... [y otros.], eds. por International Workshop on Approximation Algorithms for Combinatorial Optimization Problems (10 : 2007 : Princeton, Nueva Jersey) | Charikar, Moses [editor] | International Workshop on Randomization and Computation (11 : 2007 : Princeton, New Jersey). Series Lecture notes in computer science ; 4627 | LNCS sublibrary. SL 1 Theoretical computer science and general issues ;Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2007Otro título: APPROX 2007 | RANDOM 2007.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA75.5 I5712 2007.
|
|
|
|
|
|
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.
|
|
|
|
|
|
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.
|
|
|
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.
|
|
|
|
|
|
|
|
|
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings / Frank Pfenning, ed. por International Conference on Rewriting Techniques and Applications (17 : 2006 : Seattle, Washington) | Pfenning, Frank [editor]. Series Lecture notes in computer science ; 4098Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, c2006Otro título: RTA 2006.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA267 I58 2006.
|
|
|
UbiComp 2006 : ubiquitous computing : 8th international conference, UbiComp 2006, Orange County, CA, USA, September 17-21, 2006 : proceedings / Paul Dourish, Adrian Friday, eds. por UbiComp 2006 (2006 : Orange County, California) | Dourish, Paul [editor] | Friday, Adrian [editor]. Series Lecture notes in computer science ; 4206Tipo de material: Texto; Formato:
impreso ; Forma literaria:
No es ficción Editor: Berlin : Springer Verlag, 2006Otro título: Ubiquitous computing.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.5915 U34 2006.
|