Resultados
|
|
Formal Methods for Components and Objects [recurso electrónico] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers / edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel. por Boer, Frank S [editor.] | Bonsangue, Marcello M [editor.] | Hallerstede, Stefan [editor.] | Leuschel, Michael [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6286Origen: 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: QA76.758.
|
|
|
Artificial Intelligence and Cognitive Science [recurso electrónico] : 20th Irish Conference, AICS 2009, Dublin, Ireland, August 19-21, 2009, Revised Selected Papers / edited by Lorcan Coyle, Jill Freyne. por Coyle, Lorcan [editor.] | Freyne, Jill [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6206Origen: 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.
|
|
|
|
|
|
|
|
|
|
|
|
Paradigm Shift for Future Tennis [recurso electrónico] : The Art of Tennis Physiology, Biomechanics and Psychology / by Tijana T. Ivancevic, Bojan Jovanovic, Sasa Jovanovic, Milka Djukic, Natalia Djukic, Alexandar Lukman. por Ivancevic, Tijana T [author.] | Jovanovic, Bojan [author.] | Jovanovic, Sasa [author.] | Djukic, Milka [author.] | Djukic, Natalia [author.] | Lukman, Alexandar [author.] | SpringerLink (Online service). Series Cognitive Systems Monographs ; 12Origen: 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: Q342.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Information Retrieval Technology [recurso electrónico] : 6th Asia Information Retrieval Societies Conference, AIRS 2010, Taipei, Taiwan, December 1-3, 2010. Proceedings / edited by Pu-Jen Cheng, Min-Yen Kan, Wai Lam, Preslav Nakov. por Cheng, Pu-Jen [editor.] | Kan, Min-Yen [editor.] | Lam, Wai [editor.] | Nakov, Preslav [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6458Origen: 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: QA75.5 -76.95.
|
|
|
|
|
|
Decision and Game Theory for Security [recurso electrónico] : First International Conference, GameSec 2010, Berlin, Germany, November 22-23, 2010. Proceedings / edited by Tansu Alpcan, Levente Buttyán, John S. Baras. por Alpcan, Tansu [editor.] | Buttyán, Levente [editor.] | Baras, John S [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6442Origen: 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: QA76.9 .A25.
|
|
|
|
|
|
|
|
|
|
|
|
|