Resultados
|
|
|
Grid and Distributed Computing [Recurso electrónico] : International Conference, GDC 2009, Held as Part of the Future Generation Information Technology Conferences, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Stephen S. Yau, Osvaldo Gervasi, Byeong-Ho Kang. por Å{uC119}zak, Dominik | Kim, Tai-hoon | Yau, Stephen S | Gervasi, Osvaldo | Kang, Byeong-Ho | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 63Tipo de material:  Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Le systeme Unix por Prince, Violaine. Edición: 2e edTipo de material:  Texto; Formato:
impreso Detalles de publicación: Editions PSI, 1984Disponibilidad: Ítems disponibles para referencia: 02. BIBLIOTECA CAMPUS PUERTO REAL: Not for loan (1)Ubicación, signatura topográfica: Matemáticas - 519.68/PRI/sys.
|
|
|
|
Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 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, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahão. por Å{uC119}zak, Dominik | Kim, Tai-hoon | Kiumi, Akingbehin | Jiang, Tao | Verner, June | Abrahão, Silvia | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 59Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Constructing Ambient Intelligence [Recurso electrónico] : AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007 Revised Papers / edited by Max MÃ{u8B28}Ã{u5CE5}r, Alois Ferscha, Erwin Aitenbichler. por MÃ{u8B28}Ã{u5CE5}r, Max | Ferscha, Alois | Aitenbichler, Erwin | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 11Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
Advances in Information Technology [Recurso electrónico] : Third International Conference, IAIT 2009, Bangkok, Thailand, December 1-5, 2009. Proceedings / edited by Borworn Papasratorn, Wichian Chutimaskul, Kriengkrai Porkaew, Vajirasak Vanijja. por Papasratorn, Borworn | Chutimaskul, Wichian | Porkaew, Kriengkrai | Vanijja, Vajirasak | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 55Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
Human Error, Safety and Systems Development [Recurso electrónico] : IFIP 18th World Computer Congress TC13/WC13.5 7th Working Conference on Human Error, Safety and Systems Development 22â€{u2DE0}August 2004 Toulouse, France / edited by Chris W. Johnson, Philippe Palanque. por Johnson, Chris W | Palanque, Philippe | SpringerLink (Online service). Series IFIP International Federation for Information Processing, 1571-5736 ; ; 152Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Boston, MA : Springer Science + Business Media, Inc., 2004Disponibilidad: No hay ítems disponibles.
|
|
|
|
VLSI-SoC: Advanced Topics on Systems on a Chip [Recurso electrónico] : A Selection of Extended Versions of the Best Papers of the Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2007), October 15-17, 2007, Atlanta, USA / edited by Paul Hasler, Vincent Mooney, Ricardo Reis. por Hasler, Paul | Mooney, Vincent | Reis, Ricardo | SpringerLink (Online service). Series IFIP International Federation for Information Processing, 1571-5736 ; ; 291Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Boston, MA : Springer-Verlag US, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
Formal Techniques for Networked and Distributed Systems [Recurso electrónico] : FORTE 2001 IFIP TC6/WG6.1 â€{u0CB1}st International Conference on Formal Techniques for Networked and Distributed Systems August 28â€{u3C6C} 2001, Cheju Island, Korea / edited by Myungchul Kim, Byoungmoon Chin, Sungwon Kang, Danhyung Lee. por Kim, Myungchul | Chin, Byoungmoon | Kang, Sungwon | Lee, Danhyung | SpringerLink (Online service). Series IFIP International Federation for Information Processing, 1571-5736 ; ; 69Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Boston, MA : Kluwer Academic Publishers, 2002Disponibilidad: No hay ítems disponibles.
|
|
|
|
VLSI-SoC: Design Methodologies for SoC and SiP [Recurso electrónico] : 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers / edited by Christian Piguet, Ricardo Reis, Dimitrios Soudris. por Piguet, Christian | Reis, Ricardo | Soudris, Dimitrios | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 313Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2010Disponibilidad: No hay ítems disponibles.
|
|
|
|
New Developments in Distributed Applications and Interoperable Systems [Recurso electrónico] : IFIP TC6/WG6.1 Third International Working Conference on Distributed Applications and Interoperable Systems September 17â€Ṭ 2001, Kraków, Poland / edited by Krzysztof ZieliÅ{u3AE9}, Kurt Geihs, Aleksander Laurentowski. por ZieliÅ{u3AE9}, Krzysztof | Geihs, Kurt | Laurentowski, Aleksander | SpringerLink (Online service). Series IFIP International Federation for Information Processing, 1571-5736 ; ; 70Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Boston, MA : Kluwer Academic Publishers, 2002Disponibilidad: No hay ítems disponibles.
|
|
|
|
VLSI-SoC: Forward-Looking Trends in IC and Systems Design [Recurso electrónico] : 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers / edited by Jos©â{uD80C}. Ayala, David Atienza Alonso, Ricardo Reis. por Ayala, Jos©â{uD80C} | Atienza Alonso, David | Reis, Ricardo. Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 373Tipo 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.
|
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 17Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Advances in Software Engineering [Recurso electrónico] : International Conference, ASEA 2008, and Its Special Sessions, Sanya, Hainan Island, China, December 13-15, 2008. Revised Selected Papers / edited by Tai-hoon Kim, Wai-Chi Fang, Changhoon Lee, Kirk P. Arnett. por Kim, Tai-hoon | Fang, Wai-Chi | Lee, Changhoon | Arnett, Kirk P | SpringerLink (Online service). Series Communications in Computer and Information Science, 1865-0929 ; ; 30Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Disponibilidad: No hay ítems disponibles.
|
|
|
|
Open Source Ecosystems: Diverse Communities Interacting [Recurso electrónico] : 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, SkÃœvde, Sweden, June 3-6, 2009. Proceedings / edited by Cornelia Boldyreff, Kevin Crowston, BjÃœrn Lundell, Anthony I. Wasserman. por Boldyreff, Cornelia | Crowston, Kevin | Lundell, BjÃœrn | Wasserman, Anthony I | SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology, 1868-4238 ; ; 299Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Disponibilidad: 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.
|
|
|
|
|
|
|
|
Computer-Aided Innovation (CAI) [Recurso electrónico] : IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, September 7-10, 2008, Milano, Italy / edited by Gaetano Cascini. por Cascini, Gaetano | SpringerLink (Online service). Series The International Federation for Information Processing, 1868-4238 ; ; 277Tipo de material: Archivo de ordenador; Formato:
electrónico Detalles de publicación: Boston, MA : Springer-Verlag US, 2008Disponibilidad: No hay ítems disponibles.
|