Resultados
|
|
|
|
|
Interactive Theorem Proving [recurso electrónico] : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / edited by Jasmin Christian Blanchette, Stephan Merz. por Blanchette, Jasmin Christian [editor.] | Merz, Stephan [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9807Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Job Scheduling Strategies for Parallel Processing [recurso electrónico] : 15th International Workshop, JSSPP 2010, Atlanta, GA, USA, April 23, 2010, Revised Selected Papers / edited by Eitan Frachtenberg, Uwe Schwiegelshohn. por Frachtenberg, Eitan [editor.] | Schwiegelshohn, Uwe [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6253Origen: 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.
|
|
|
KI 2010: Advances in Artificial Intelligence [recurso electrónico] : 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings / edited by Rüdiger Dillmann, Jürgen Beyerer, Uwe D. Hanebeck, Tanja Schultz. por Dillmann, Rüdiger [editor.] | Beyerer, Jürgen [editor.] | Hanebeck, Uwe D [editor.] | Schultz, Tanja [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6359Origen: 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.
|
|
|
|
|
|
KI 2016: Advances in Artificial Intelligence [recurso electrónico] : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / edited by Gerhard Friedrich, Malte Helmert, Franz Wotawa. por Friedrich, Gerhard [editor.] | Helmert, Malte [editor.] | Wotawa, Franz [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9904Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
|
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems [recurso electrónico] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / edited by Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni. por Dastani, Mehdi [editor.] | El Fallah Segrouchni, Amal [editor.] | Leite, João [editor.] | Torroni, Paolo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6039Origen: 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.
|
|
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems [recurso electrónico] : Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers / edited by Mehdi Dastani, Amal Fallah Seghrouchni, Jomi Hübner, João Leite. por Dastani, Mehdi [editor.] | Fallah Seghrouchni, Amal [editor.] | Hübner, Jomi [editor.] | Leite, João [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6822Origen: 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.
|
|
|
Large-Scale Scientific Computing [recurso electrónico] : 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009. Revised Papers / edited by Ivan Lirkov, Svetozar Margenov, Jerzy Wasniewski. por Lirkov, Ivan [editor.] | Margenov, Svetozar [editor.] | Wasniewski, Jerzy [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5910Origen: 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: QA297 -299.4.
|