Resultados
|
|
|
Critical Systems: Formal Methods and Automated Verification [recurso electrónico] : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp. por ter Beek, Maurice H [editor.] | Gnesi, Stefania [editor.] | Knapp, Alexander [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9933Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Genetic and Evolutionary Computing [recurso electrónico] : Proceedings of the Ninth International Conference on Genetic and Evolutionary Computing, August 26-28, 2015, Yangon, Myanmar - Volume 1 / edited by Thi Thi Zin, Jerry Chun-Wei Lin, Jeng-Shyang Pan, Pyke Tin, Mitsuhiro Yokota. por Zin, Thi Thi [editor.] | Lin, Jerry Chun-Wei [editor.] | Pan, Jeng-Shyang [editor.] | Tin, Pyke [editor.] | Yokota, Mitsuhiro [editor.] | SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 387Edició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) .
|
|
|
|
Hybrid Intelligent Systems [recurso electrónico] : 15th International Conference HIS 2015 on Hybrid Intelligent Systems, Seoul, South Korea, November 16-18, 2015 / edited by Ajith Abraham, Sang Yong Han, Salah A. Al-Sharhan, Hongbo Liu. por Abraham, Ajith [editor.] | Han, Sang Yong [editor.] | Al-Sharhan, Salah A [editor.] | Liu, Hongbo [editor.] | SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 420Origen: 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) .
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings / edited by Barbara Jobstmann, K. Rustan M. Leino. por Jobstmann, Barbara [editor.] | Leino, K. Rustan M [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9583Edición: 1st ed. 2016.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 : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|
Computational Logistics [recurso electrónico] : 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings / edited by Ana Paias, Mario Ruthmair, Stefan Voß. por Paias, Ana [editor.] | Ruthmair, Mario [editor.] | Voß, Stefan [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9855Origen: 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) .
|
|
|
|
Trends in Practical Applications of Scalable Multi-Agent Systems, the PAAMS Collection [recurso electrónico] / edited by Fernando de la Prieta, María J. Escalona, Rafael Corchuelo, Philippe Mathieu, Zita Vale, Andrew T. Campbell, Silvia Rossi, Emmanuel Adam, María D. Jiménez-López, Elena M. Navarro, María N. Moreno. por de la Prieta, Fernando [editor.] | Escalona, María J [editor.] | Corchuelo, Rafael [editor.] | Mathieu, Philippe [editor.] | Vale, Zita [editor.] | Campbell, Andrew T [editor.] | Rossi, Silvia [editor.] | Adam, Emmanuel [editor.] | Jiménez-López, María D [editor.] | Navarro, Elena M [editor.] | Moreno, María N [editor.] | SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 473Origen: 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) .
|
|
|
|
Verified Software: Theories, Tools, and Experiments [recurso electrónico] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18?19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia. por Gurfinkel, Arie [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9593Edició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) .
|
|
|
|
|
|
|
|
|
