Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Language, Games, and Evolution [recurso electrónico] : Trends in Current Research on Language and Game Theory / edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij. por Benz, Anton [editor.] | Ebert, Christian [editor.] | Jäger, Gerhard [editor.] | Rooij, Robert [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6207Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
Algorithms and Models for the Web-Graph [recurso electrónico] : 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedings / edited by Ravi Kumar, Dandapani Sivakumar. por Kumar, Ravi [editor.] | Sivakumar, Dandapani [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6516Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
|
|
|
|
|
|
Generative and Transformational Techniques in Software Engineering III [recurso electrónico] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva. por Fernandes, João M [editor.] | Lämmel, Ralf [editor.] | Visser, Joost [editor.] | Saraiva, João [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6491Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|
|
|
Logic and Its Applications [recurso electrónico] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / edited by Mohua Banerjee, Anil Seth. por Banerjee, Mohua [editor.] | Seth, Anil [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6521Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Knowledge Representation for Health-Care [recurso electrónico] : ECAI 2010 Workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010, Revised Selected Papers / edited by David Riaño, Annette Teije, Silvia Miksch, Mor Peleg. por Riaño, David [editor.] | Teije, Annette [editor.] | Miksch, Silvia [editor.] | Peleg, Mor [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6512Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
|
|
|
|
|
|
Analysis and Design of Advice [recurso electrónico] / by Ivan Jureta. por Jureta, Ivan [author.] | SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|
|
|
|
|
|
Formal Verification of Object-Oriented Software [recurso electrónico] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers / edited by Bernhard Beckert, Claude Marché. por Beckert, Bernhard [editor.] | Marché, Claude [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6528Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
|