Resultados
|
|
|
|
|
|
|
|
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [recurso electrónico] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4?6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort. por Remke, Anne [editor.] | Haverkort, Boudewijn R [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9629Edició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) .
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 [recurso electrónico] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part I / edited by Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever. por Jiang, Tianzi [editor.] | Navab, Nassir [editor.] | Pluim, Josien P. W [editor.] | Viergever, Max A [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6361Origen: 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: TA1637 -1638.
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 [recurso electrónico] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part III / edited by Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever. por Jiang, Tianzi [editor.] | Navab, Nassir [editor.] | Pluim, Josien P. W [editor.] | Viergever, Max A [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6363Origen: 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: TA1637 -1638.
|
|
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2010 [recurso electrónico] : 13th International Conference, Beijing, China, September 20-24, 2010, Proceedings, Part II / edited by Tianzi Jiang, Nassir Navab, Josien P. W. Pluim, Max A. Viergever. por Jiang, Tianzi [editor.] | Navab, Nassir [editor.] | Pluim, Josien P. W [editor.] | Viergever, Max A [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6362Origen: 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: TA1637 -1638.
|
|
|
Medical Imaging and Augmented Reality [recurso electrónico] : 5th International Workshop, MIAR 2010, Beijing, China, September 19-20, 2010. Proceedings / edited by Hongen Liao, P. J. "Eddie" Edwards, Xiaochuan Pan, Yong Fan, Guang-Zhong Yang. por Liao, Hongen [editor.] | Edwards, P. J. "Eddie" [editor.] | Pan, Xiaochuan [editor.] | Fan, Yong [editor.] | Yang, Guang-Zhong [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6326Origen: 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: TA1637 -1638.
|
|
|
Medical Imaging and Augmented Reality [recurso electrónico] : 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings / edited by Guoyan Zheng, Hongen Liao, Pierre Jannin, Philippe Cattin, Su-Lin Lee. por Zheng, Guoyan [editor.] | Liao, Hongen [editor.] | Jannin, Pierre [editor.] | Cattin, Philippe [editor.] | Lee, Su-Lin [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9805Origen: 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) .
|
|
|
|
|
|
Membrane Computing [recurso electrónico] : 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers / edited by Gheorghe Paun, Mario J. Pérez-Jiménez, Agustín Riscos-Núñez, Grzegorz Rozenberg, Arto Salomaa. por Paun, Gheorghe [editor.] | Pérez-Jiménez, Mario J [editor.] | Riscos-Núñez, Agustín [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5957Origen: 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: QA75.5 -76.95.
|
|
|
Membrane Computing [recurso electrónico] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa. por Gheorghe, Marian [editor.] | Hinze, Thomas [editor.] | Paun, Gheorghe [editor.] | Rozenberg, Grzegorz [editor.] | Salomaa, Arto [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6501Origen: 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: QA75.5 -76.95.
|
|
|
Methods and Applications for Modeling and Simulation of Complex Systems [electronic resource] : 18th Asia Simulation Conference, AsiaSim 2018, Kyoto, Japan, October 27-29, 2018, Proceedings / edited by Liang Li, Kyoko Hasegawa, Satoshi Tanaka. por Li, Liang [editor.] | Hasegawa, Kyoko [editor.] | Tanaka, Satoshi [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 946Edició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: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
Mobile Lightweight Wireless Systems [recurso electrónico] : Second International ICST Conference, MOBILIGHT 2010, Barcelona, Spain, May 10-12, 2010, Revised Selected Papers / edited by Periklis Chatzimisios, Christos Verikoukis, Ignacio Santamaría, Massimiliano Laddomada, Oliver Hoffmann. por Chatzimisios, Periklis [editor.] | Verikoukis, Christos [editor.] | Santamaría, Ignacio [editor.] | Laddomada, Massimiliano [editor.] | Hoffmann, Oliver [editor.] | SpringerLink (Online service). Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 45Origen: 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: TK5105.5 -5105.9.
|
|
|
Model and Data Engineering [recurso electrónico] : First International Conference, MEDI 2011, Óbidos, Portugal, September 28-30, 2011. Proceedings / edited by Ladjel Bellatreche, Filipe Mota Pinto. por Bellatreche, Ladjel [editor.] | Mota Pinto, Filipe [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6918Origen: 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.76 .A65.
|
|
|
Model and Data Engineering [recurso electrónico] : 6th International Conference, MEDI 2016, Almería, Spain, September 21-23, 2016, Proceedings / edited by Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur. por Bellatreche, Ladjel [editor.] | Pastor, Óscar [editor.] | Almendros Jiménez, Jesús M [editor.] | Aït-Ameur, Yamine [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9893Origen: 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-Based Engineering of Embedded Real-Time Systems [recurso electrónico] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. por Giese, Holger [editor.] | Karsai, Gabor [editor.] | Lee, Edward [editor.] | Rumpe, Bernhard [editor.] | Schätz, Bernhard [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6100Origen: 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.
|
|
|
|
|
|
Model Checking Software [electronic resource] : 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings / edited by María del Mar Gallardo, Pedro Merino. por Gallardo, María del Mar [editor.] | Merino, Pedro [editor.] | SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10869Edició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) .
|
|
|
Model Design and Simulation Analysis [recurso electrónico] : 15th International Conference, AsiaSim 2015, Jeju, Korea, November 4-7, 2015, Revised Selected Papers / edited by Syng Yup Ohn, Sung Do Chi. por Ohn, Syng Yup [editor.] | Chi, Sung Do [editor.] | SpringerLink (Online service). Series Communications in Computer and Information Science ; 603Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
|
|
|
|