Resultados
|
|
Social, Cultural, and Behavioral Modeling [recurso electrónico] : 9th International Conference, SBP-BRiMS 2016, Washington, DC, USA, June 28 - July 1, 2016, Proceedings / edited by Kevin S. Xu, David Reitter, Dongwon Lee, Nathaniel Osgood. por Xu, Kevin S [editor.] | Reitter, David [editor.] | Lee, Dongwon [editor.] | Osgood, Nathaniel [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9708Origen: 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) .
|
|
|
Logical Foundations of Computer Science [recurso electrónico] : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode. por Artemov, Sergei [editor.] | Nerode, Anil [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9537Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
Security of Industrial Control Systems and Cyber Physical Systems [recurso electrónico] : First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21?22, 2015 Revised Selected Papers / edited by Adrien Bécue, Nora Cuppens-Boulahia, Frédéric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis. por Bécue, Adrien [editor.] | Cuppens-Boulahia, Nora [editor.] | Cuppens, Frédéric [editor.] | Katsikas, Sokratis [editor.] | Lambrinoudakis, Costas [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9588Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
System Modeling and Optimization [recurso electrónico] : 27th IFIP TC 7 Conference, CSMO 2015, Sophia Antipolis, France, June 29 - July 3, 2015, Revised Selected Papers / edited by Lorena Bociu, Jean-Antoine Désidéri, Abderrahmane Habbal. por Bociu, Lorena [editor.] | Désidéri, Jean-Antoine [editor.] | Habbal, Abderrahmane [editor.] | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 494Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Model Checking Software [recurso electrónico] : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bo?na?ki, Anton Wijs. por Bo?na?ki, Dragan [editor.] | Wijs, Anton [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9641Origen: 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) .
|
|
|
|