Resultados
|
|
|
|
|
Encyclopedia of Astrobiology [recurso electrónico] / edited by Muriel Gargaud, Ricardo Amils, José Cernicharo Quintanilla, Henderson James (Jim) Cleaves, William M. Irvine, Daniele L. Pinti, Michel Viso. por Gargaud, Muriel [editor.] | Amils, Ricardo [editor.] | Quintanilla, José Cernicharo [editor.] | Cleaves, Henderson James (Jim) [editor.] | Irvine, William M [editor.] | Pinti, Daniele L [editor.] | Viso, Michel [editor.] | SpringerLink (Online service). 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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QH327 -328.
|
|
|
|
|
|
Soft Computing in Industrial Applications [recurso electrónico] : Algorithms, Integration, and Success Stories / edited by Xiao-Zhi Gao, António Gaspar-Cunha, Mario Köppen, Gerald Schaefer, Jun Wang. por Gao, Xiao-Zhi [editor.] | Gaspar-Cunha, António [editor.] | Köppen, Mario [editor.] | Schaefer, Gerald [editor.] | Wang, Jun [editor.] | SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 75Origen: 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: Q342.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings / edited by Gilles Barthe, Manuel Hermenegildo. por Barthe, Gilles [editor.] | Hermenegildo, Manuel [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5944Origen: 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.
|
|
|
Distributed Computing and Networking [recurso electrónico] : 11th International Conference, ICDCN 2010, Kolkata, India, January 3-6, 2010. Proceedings / edited by Krishna Kant, Sriram V. Pemmaraju, Krishna M. Sivalingam, Jie Wu. por Kant, Krishna [editor.] | Pemmaraju, Sriram V [editor.] | Sivalingam, Krishna M [editor.] | Wu, Jie [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5935Origen: 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.
|
|
|
|
|
|
|
|
|
Interventional Pericardiology [recurso electrónico] : Pericardiocentesis, Pericardioscopy, Pericardial Biopsy, Balloon Pericardiotomy and Intrapericardial Therapy / by Bernhard Maisch, Arsen D. Ristic, Petar M. Seferovic, Teresa S. M. Tsang. por Maisch, Bernhard [author.] | Ristic, Arsen D [author.] | Seferovic, Petar M [author.] | Tsang, Teresa S. M [author.] | SpringerLink (Online service). 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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: RC681 -688.2.
|
|
|
Nonlinear Optimization [recurso electrónico] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 1-7, 2007 / by Immanuel M. Bomze, Vladimir F. Demyanov, Roger Fletcher, Tamás Terlaky ; edited by Gianni Di Pillo, Fabio Schoen. por Bomze, Immanuel M [author.] | Demyanov, Vladimir F [author.] | Fletcher, Roger [author.] | Terlaky, Tamás [author.] | Di Pillo, Gianni [editor.] | Schoen, Fabio [editor.] | SpringerLink (Online service). Series Lecture Notes in Mathematics ; 1989Origen: 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA402 -402.37.
|
|
|
|
|
|
|
|
|
Blind Signal Processing [recurso electrónico] : Theory and Practice / by Xizhi Shi. por Shi, Xizhi [author.] | SpringerLink (Online service). 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, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TK5102.9.
|
|
|
|
|
|
Declarative Agent Languages and Technologies VII [recurso electrónico] : 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers / edited by Matteo Baldoni, Jamal Bentahar, M. Birna Riemsdijk, John Lloyd. por Baldoni, Matteo [editor.] | Bentahar, Jamal [editor.] | Riemsdijk, M. Birna [editor.] | Lloyd, John [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5948Origen: 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.
|
|
|
|