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.
|
|
|
|
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.
|
|
|
|
Computer Applications for Communication, Networking, and Digital Contents [Recurso electrónico] : International Conferences, FGCN and DCA 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, Dae-sik Ko, Thanos Vasilakos, Adrian Stoica, Jemal Abawajy. por Kim, Tai-hoon | Ko, Dae-sik | Vasilakos, Thanos | Stoica, Adrian | Abawajy, Jemal. Series Communications in Computer and Information Science ; 350Tipo 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.
|
|
|
|
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.
|
|
|
|
E-Business and Telecommunications [Recurso electrónico] : International Joint Conference, ICETE 2011, Seville, Spain, July 18-21, 2011, Revised Selected Papers / edited by Mohammad S. Obaidat, Jos©â{uD80C}. Sevillano, Joaquim Filipe. por Obaidat, Mohammad S | Sevillano, José L | Filipe, Joaquim. Series Communications in Computer and Information Science ; 314Tipo 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.
|
|
|
|
Software and Data Technologies [Recurso electrónico] : First International Conference, ICSOFT 2006, Setúbal, Portugal, September 11-14, 2006, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert. por Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 10Tipo de material:  Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.
|
|
|
|
Database Theory and Application [Recurso electrónico] : International Conference, DTA 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Yanchun Zhang, Jianhua Ma, Kyo-il Chung. por Å{uC119}zak, Dominik | Kim, Tai-hoon | Zhang, Yanchun | Ma, Jianhua | Chung, Kyo-il | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 64Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Computer Vision and Computer Graphics. Theory and Applications [Recurso electrónico] : International Conference, VISIGRAPP 2008, Funchal-Madeira, Portugal, January 22-25, 2008. Revised Selected Papers / edited by AlpeshKumar Ranchordas, Hélder J. Araújo, João Madeiras Pereira, José Braz. por Ranchordas, AlpeshKumar | Araújo, Hélder J | Pereira, João Madeiras | Braz, José | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 24Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
e-Business and Telecommunications [Recurso electrónico] : International Conference, ICETE 2008, Porto, Portugal, July 26-29, 2008, Revised Selected Papers / edited by Joaquim Filipe, Mohammad S. Obaidat. por Filipe, Joaquim | Obaidat, Mohammad S | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 48Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Advances in Computer Science and Engineering [Recurso electrónico] : 13th International CSI Computer Conference, CSICC 2008 Kish Island, Iran, March 9-11, 2008 Revised Selected Papers / edited by Hamid Sarbazi-Azad, Behrooz Parhami, Seyed-Ghassem Miremadi, Shaahin Hessabi. por Sarbazi-Azad, Hamid | Parhami, Behrooz | Miremadi, Seyed-Ghassem | Hessabi, Shaahin | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 6Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Systems and Virtualization Management. Standards and New Technologies [Recurso electrónico] : Second International Workshop, SVM 2008 Munich, Germany, October, 21-22, 2008 Proceedings / edited by Latifa Boursas, Mark Carlson, Wolfgang Hommel, Michelle Sibilla, Kes Wold. por Boursas, Latifa | Carlson, Mark | Hommel, Wolfgang | Sibilla, Michelle | Wold, Kes | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 18Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.
|
|
|
|
Software and Data Technologies [Recurso electrónico] : Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers / edited by Joaquim Filipe, Boris Shishkov, Markus Helfert, Leszek A. Maciaszek. por Filipe, Joaquim | Shishkov, Boris | Helfert, Markus | Maciaszek, Leszek A | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 22Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Advances in Power Electronics and Instrumentation Engineering [Recurso electrónico] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath. por Das, Vinu V | Thankachan, Nessy | Debnath, Narayan C | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 148Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles.
|
|
|
|
Research and Education in Robotics - EUROBOT 2009 [Recurso electrónico] : International Conference, La Ferté-Bernard, France, May 21-23, 2009, Revised Selected Papers / edited by Achim Gottscheber, David ObdrÅ{u386C}ek, Colin Schmidt. por Gottscheber, Achim | ObdrÅ{u386C}ek, David | Schmidt, Colin | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 82Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Disponibilidad: No hay ítems disponibles.
|
|
|
|
Computer Networks and Information Technologies [Recurso electrónico] : Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, Bangalore, India, March 10-11, 2011. Proceedings / edited by Vinu V Das, Janahanlal Stephen, Yogesh Chaba. por Das, Vinu V | Stephen, Janahanlal | Chaba, Yogesh | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 142Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles.
|
|
|
|
Contemporary Computing [Recurso electrónico] : Second International Conference, IC3 2009, Noida, India, August 17-19, 2009. Proceedings / edited by Sanjay Ranka, Srinivas Aluru, Rajkumar Buyya, Yeh-Ching Chung, Sumeet Dua, Ananth Grama, Sandeep K. S. Gupta, Rajeev Kumar, Vir V. Phoha. por Ranka, Sanjay | Aluru, Srinivas | Buyya, Rajkumar | Chung, Yeh-Ching | Dua, Sumeet | Grama, Ananth | Gupta, Sandeep K. S | Kumar, Rajeev | Phoha, Vir V | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 40Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Communication and Networking [Recurso electrónico] : International Conference, FGCN/ACN 2009, Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Alan Chin-Chen Chang, Thanos Vasilakos, MingChu Li, Kouichi Sakurai. por Å{uC119}zak, Dominik | Kim, Tai-hoon | Chang, Alan Chin-Chen | Vasilakos, Thanos | Li, MingChu | Sakurai, Kouichi | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 56Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
Ubiquitous Computing and Multimedia Applications [Recurso electrónico] : Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part II / edited by Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas. por Kim, Tai-hoon | Adeli, Hojjat | Robles, Rosslin John | Balitanas, Maricel | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 151Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Disponibilidad: No hay ítems disponibles.
|