Resultados
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat. por Howar, Falk [editor.] | Barnat, Jiří [editor.] | SpringerLink (Online service). Series Programming and Software Engineering ; 11119Edició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) .
|
|
|
|
|
|
Statistical Language and Speech Processing [electronic resource] : 6th International Conference, SLSP 2018, Mons, Belgium, October 15-16, 2018, Proceedings / edited by Thierry Dutoit, Carlos Martín-Vide, Gueorgui Pironkov. por Dutoit, Thierry [editor.] | Martín-Vide, Carlos [editor.] | Pironkov, Gueorgui [editor.] | SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11171Edició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) .
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11247Edició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) .
|
|
|
Research in Attacks, Intrusions, and Defenses [electronic resource] : 21st International Symposium, RAID 2018, Heraklion, Crete, Greece, September 10-12, 2018, Proceedings / edited by Michael Bailey, Thorsten Holz, Manolis Stamatogiannakis, Sotiris Ioannidis. por Bailey, Michael [editor.] | Holz, Thorsten [editor.] | Stamatogiannakis, Manolis [editor.] | Ioannidis, Sotiris [editor.] | SpringerLink (Online service). Series Security and Cryptology ; 11050Edició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) .
|
|
|
Enterprise and Organizational Modeling and Simulation [electronic resource] : 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Selected Papers / edited by Robert Pergl, Eduard Babkin, Russell Lock, Pavel Malyzhenkov, Vojtěch Merunka. por Pergl, Robert [editor.] | Babkin, Eduard [editor.] | Lock, Russell [editor.] | Malyzhenkov, Pavel [editor.] | Merunka, Vojtěch [editor.] | SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 332Edició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) .
|
|
|
Exploring Service Science [electronic resource] : 9th International Conference, IESS 2018, Karlsruhe, Germany, September 19-21, 2018, Proceedings / edited by Gerhard Satzger, Lia Patrício, Mohamed Zaki, Niklas Kühl, Peter Hottum. por Satzger, Gerhard [editor.] | Patrício, Lia [editor.] | Zaki, Mohamed [editor.] | Kühl, Niklas [editor.] | Hottum, Peter [editor.] | SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 331Edició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) .
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part III / edited by Alejandro F. Frangi, Julia A. Schnabel, Christos Davatzikos, Carlos Alberola-López, Gabor Fichtinger. por Frangi, Alejandro F [editor.] | Schnabel, Julia A [editor.] | Davatzikos, Christos [editor.] | Alberola-López, Carlos [editor.] | Fichtinger, Gabor [editor.] | SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11072Edició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) .
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part IV / edited by Alejandro F. Frangi, Julia A. Schnabel, Christos Davatzikos, Carlos Alberola-López, Gabor Fichtinger. por Frangi, Alejandro F [editor.] | Schnabel, Julia A [editor.] | Davatzikos, Christos [editor.] | Alberola-López, Carlos [editor.] | Fichtinger, Gabor [editor.] | SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11073Edició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) .
|
|
|
Decision and Game Theory for Security [electronic resource] : 9th International Conference, GameSec 2018, Seattle, WA, USA, October 29-31, 2018, Proceedings / edited by Linda Bushnell, Radha Poovendran, Tamer Başar. por Bushnell, Linda [editor.] | Poovendran, Radha [editor.] | Başar, Tamer [editor.] | SpringerLink (Online service). Series Security and Cryptology ; 11199Edició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) .
|
|
|
|
|
|
Medical Image Computing and Computer Assisted Intervention - MICCAI 2018 [electronic resource] : 21st International Conference, Granada, Spain, September 16-20, 2018, Proceedings, Part II / edited by Alejandro F. Frangi, Julia A. Schnabel, Christos Davatzikos, Carlos Alberola-López, Gabor Fichtinger. por Frangi, Alejandro F [editor.] | Schnabel, Julia A [editor.] | Davatzikos, Christos [editor.] | Alberola-López, Carlos [editor.] | Fichtinger, Gabor [editor.] | SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11071Edició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) .
|
|
|
Computational Pathology and Ophthalmic Medical Image Analysis [electronic resource] : First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings / edited by Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu, Anne Martel, Lena Maier-Hein, Nasir Rajpoot, Jeroen van der Laak, Mitko Veta, Stephen McKenna, David Snead, Emanuele Trucco, Mona K. Garvin, Xin Jan Chen, Hrvoje Bogunovic. por Stoyanov, Danail [editor.] | Taylor, Zeike [editor.] | Ciompi, Francesco [editor.] | Xu, Yanwu [editor.] | Martel, Anne [editor.] | Maier-Hein, Lena [editor.] | Rajpoot, Nasir [editor.] | van der Laak, Jeroen [editor.] | Veta, Mitko [editor.] | McKenna, Stephen [editor.] | Snead, David [editor.] | Trucco, Emanuele [editor.] | Garvin, Mona K [editor.] | Chen, Xin Jan [editor.] | Bogunovic, Hrvoje [editor.] | SpringerLink (Online service). Series Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 11039Edició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) .
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems [electronic resource] : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 11246Edició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) .
|
|
|
|
|
|
Network and System Security [electronic resource] : 12th International Conference, NSS 2018, Hong Kong, China, August 27-29, 2018, Proceedings / edited by Man Ho Au, Siu Ming Yiu, Jin Li, Xiapu Luo, Cong Wang, Aniello Castiglione, Kamil Kluczniak. por Au, Man Ho [editor.] | Yiu, Siu Ming [editor.] | Li, Jin [editor.] | Luo, Xiapu [editor.] | Wang, Cong [editor.] | Castiglione, Aniello [editor.] | Kluczniak, Kamil [editor.] | SpringerLink (Online service). Series Security and Cryptology ; 11058Edició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) .
|