Resultados
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation [Recurso electrónico] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers / edited by Reiner HÃ{u8BAC}e, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen. por HÃ{u8BAC}e, Reiner | Knoop, Jens | Margaria, Tiziana | Schreiner, Dietmar | Steffen, Bernhard. Series Communications in Computer and Information ScienceTipo de material:  Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Advances in Information Technology [Recurso electrónico] : 5th International Conference, IAIT 2012, Bangkok, Thailand, December 6-7, 2012. Proceedings / edited by Borworn Papasratorn, Nipon Charoenkitkarn, Kittichai Lavangnananda, Wichian Chutimaskul, Vajirasak Vanijja. por Papasratorn, Borworn | Charoenkitkarn, Nipon | Lavangnananda, Kittichai | Chutimaskul, Wichian | Vanijja, Vajirasak. Series Communications in Computer and Information Science ; 344Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
Networked Digital Technologies [Recurso electrónico] : 4th International Conference, NDT 2012, Dubai, UAE, April 24-26, 2012, Proceedings, Part II / edited by Rachid Benlamri. por Benlamri, Rachid. Series Communications in Computer and Information Science ; 294Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
Atomic Force Microscopy Based Nanorobotics [Recurso electrónico] : Modelling, Simulation, Setup Building and Experiments / by Hui Xie, Cagdas Onal, Stéphane Régnier, Metin Sitti. por Xie, Hui | Onal, Cagdas | Régnier, Stéphane | Sitti, Metin. Series Springer Tracts in Advanced Robotics, 1610-7438 ; ; 71Tipo de material: Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
Computer Applications for Database, Education, and Ubiquitous Computing [Recurso electrónico] : International Conferences, EL, DTA and UNESST 2012, Held as Part of the Future Generation Information Technology Conference, FGIT 2012, Gangneug, Korea, December 16-19, 2012. Proceedings / edited by Tai-hoon Kim, Jianhua Ma, Wai-chi Fang, Yanchun Zhang, Alfredo Cuzzocrea. por Kim, Tai-hoon | Ma, Jianhua | Fang, Wai-chi | Zhang, Yanchun | Cuzzocrea, Alfredo. Series Communications in Computer and Information Science ; 352Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
AsiaSim 2012 [Recurso electrónico] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part III / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei. por Xiao, Tianyuan | Zhang, Lin | Fei, Minrui. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
Metadata and Semantics Research [Recurso electrónico] : 6th Research Conference, MTSR 2012, Cádiz, Spain, November 28-30, 2012. Proceedings / edited by Juan Manuel Dodero, Manuel Palomo-Duarte, Pythagoras Karampiperis. por Dodero, Juan Manuel | Palomo-Duarte, Manuel | Karampiperis, Pythagoras. Series Communications in Computer and Information Science ; 343Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: Ítems disponibles para préstamo: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1)Ubicación, signatura topográfica: 681.324/DOD/met.
|
|
|
|
AsiaSim 2012 [Recurso electrónico] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei. por Xiao, Tianyuan | Zhang, Lin | Fei, Minrui. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
AsiaSim 2012 [Recurso electrónico] : Asia Simulation Conference 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II / edited by Tianyuan Xiao, Lin Zhang, Minrui Fei. por Xiao, Tianyuan | Zhang, Lin | Fei, Minrui. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
System Simulation and Scientific Computing [Recurso electrónico] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part II / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma. por Xiao, Tianyuan | Zhang, Lin | Ma, Shiwei. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
System Simulation and Scientific Computing [Recurso electrónico] : International Conference, ICSC 2012, Shanghai, China, October 27-30, 2012. Proceedings, Part I / edited by Tianyuan Xiao, Lin Zhang, Shiwei Ma. por Xiao, Tianyuan | Zhang, Lin | Ma, Shiwei. Series Communications in Computer and Information ScienceTipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|
|
|
|
Advanced Machine Learning Technologies and Applications [Recurso electrónico] : First International Conference, AMLTA 2012, Cairo, Egypt, December 8-10, 2012. Proceedings / edited by Aboul Ella Hassanien, Abdel-Badeeh M. Salem, Rabie Ramadan, Tai-hoon Kim. por Hassanien, Aboul Ella | Salem, Abdel-Badeeh M | Ramadan, Rabie | Kim, Tai-hoon. Series Communications in Computer and Information Science ; 322Tipo de material: Texto; Formato:
electrónico ; Forma literaria:
No es ficción Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Disponibilidad: No hay ítems disponibles.
|