Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Information Technologies and Mathematical Modelling - Queueing Theory and Applications [recurso electrónico] : 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings / edited by Alexander Dudin, Alexander Gortsev, Anatoly Nazarov, Rafael Yakupov. por Dudin, Alexander [editor.] | Gortsev, Alexander [editor.] | Nazarov, Anatoly [editor.] | Yakupov, Rafael [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 638Origen: 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) .
|
|
|
Innovating with Concept Mapping [recurso electrónico] : 7th International Conference on Concept Mapping, CMC 2016, Tallinn, Estonia, September 5-9, 2016, Proceedings / edited by Alberto Cañas, Priit Reiska, Joseph Novak. por Cañas, Alberto [editor.] | Reiska, Priit [editor.] | Novak, Joseph [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 635Origen: 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) .
|
|
|
|
|
|
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [recurso electrónico] : 19th International Workshop, PATMOS 2009, Delft, The Netherlands, September 9-11, 2009, Revised Selected Papers / edited by José Monteiro, René Leuken. por Monteiro, José [editor.] | Leuken, René [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5953Origen: 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: TK7895 .M5.
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [recurso electrónico] : 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers / edited by René Leuken, Gilles Sicard. por Leuken, René [editor.] | Sicard, Gilles [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6448Origen: 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.9 .E94.
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [recurso electrónico] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings / edited by José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard. por Ayala, José L [editor.] | García-Cámara, Braulio [editor.] | Prieto, Manuel [editor.] | Ruggiero, Martino [editor.] | Sicard, Gilles [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6951Origen: 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.9 .E94.
|
|
|
Integrated Formal Methods [electronic resource] : 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings / edited by Carlo A. Furia, Kirsten Winter. por Furia, Carlo A [editor.] | Winter, Kirsten [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 11023Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Intelligent Computer Mathematics [recurso electrónico] : 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings / edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa. por Kohlhase, Michael [editor.] | Johansson, Moa [editor.] | Miller, Bruce [editor.] | de Moura, Leonardo [editor.] | Tompa, Frank [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9791Origen: 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) .
|
|
|
|
|
|
|
|
|
Intelligent Systems for Computer Modelling [recurso electrónico] : Proceedings of the 1st European-Middle Asian Conference on Computer Modelling 2015, EMACOM 2015 / edited by Vít?zslav Stýskala, Dmitrii Kolosov, Václav Sná?el, Taalaybek Karakeyev, Ajith Abraham. por Stýskala, Vít?zslav [editor.] | Kolosov, Dmitrii [editor.] | Sná?el, Václav [editor.] | Karakeyev, Taalaybek [editor.] | Abraham, Ajith [editor.] | SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 423Edición: 1st ed. 2016.Origen: 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) .
|
|
|
Intelligent Virtual Agents [recurso electrónico] : 10th International Conference, IVA 2010, Philadelphia, PA, USA, September 20-22, 2010. Proceedings / edited by Jan Allbeck, Norman Badler, Timothy Bickmore, Catherine Pelachaud, Alla Safonova. por Allbeck, Jan [editor.] | Badler, Norman [editor.] | Bickmore, Timothy [editor.] | Pelachaud, Catherine [editor.] | Safonova, Alla [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6356Origen: 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.
|
|
|
Intelligent Virtual Agents [recurso electrónico] : 10th International Conference, IVA 2011, Reykjavik, Iceland, September 15-17, 2011. Proceedings / edited by Hannes Högni Vilhjálmsson, Stefan Kopp, Stacy Marsella, Kristinn R. Thórisson. por Vilhjálmsson, Hannes Högni [editor.] | Kopp, Stefan [editor.] | Marsella, Stacy [editor.] | Thórisson, Kristinn R [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6895Origen: 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.
|
|
|
|
|
|
|