Su búsqueda retornó 7749 resultados.

Resultados
		Software Engineering for Resilient Systems [recurso electrónico] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings / edited by Elena A. Troubitsyna. por Troubitsyna, Elena A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6968Origen: 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: TK5105.5 -5105.9.
		Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT [recurso electrónico] : IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011. Proceedings / edited by Markus Nüttgens, Andreas Gadatsch, Karlheinz Kautz, Ingrid Schirmer, Nadine Blinn. por Nüttgens, Markus [editor.] \| Gadatsch, Andreas [editor.] \| Kautz, Karlheinz [editor.] \| Schirmer, Ingrid [editor.] \| Blinn, Nadine [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 366Origen: 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.
		Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [recurso electrónico] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings / edited by José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard. por Ayala, José L [editor.] \| García-Cámara, Braulio [editor.] \| Prieto, Manuel [editor.] \| Ruggiero, Martino [editor.] \| Sicard, Gilles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6951Origen: 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.9 .E94.
		Datalog Reloaded [recurso electrónico] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / edited by Oege Moor, Georg Gottlob, Tim Furche, Andrew Sellers. por Moor, Oege [editor.] \| Gottlob, Georg [editor.] \| Furche, Tim [editor.] \| Sellers, Andrew [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6702Origen: 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.
		Computational Logistics [recurso electrónico] : Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings / edited by Jürgen W. Böse, Hao Hu, Carlos Jahn, Xiaoning Shi, Robert Stahlbock, Stefan Voß. por Böse, Jürgen W [editor.] \| Hu, Hao [editor.] \| Jahn, Carlos [editor.] \| Shi, Xiaoning [editor.] \| Stahlbock, Robert [editor.] \| Voß, Stefan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6971Origen: 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.9 .A43.
		Computer Safety, Reliability, and Security [recurso electrónico] : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini. por Flammini, Francesco [editor.] \| Bologna, Sandro [editor.] \| Vittorini, Valeria [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6894Origen: 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.9 .A25.
		Emerging Research in Web Information Systems and Mining [recurso electrónico] : International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings / edited by Gong Zhiguo, Xiangfeng Luo, Junjie Chen, Fu Lee Wang, Jingsheng Lei. por Zhiguo, Gong [editor.] \| Luo, Xiangfeng [editor.] \| Chen, Junjie [editor.] \| Wang, Fu Lee [editor.] \| Lei, Jingsheng [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 238Origen: 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.
		Implementation and Application of Functional Languages [recurso electrónico] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / edited by Jurriaan Hage, Marco T. Morazán. por Hage, Jurriaan [editor.] \| Morazán, Marco T [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6647Origen: 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.9 .L63.
		Reachability Problems [recurso electrónico] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / edited by Giorgio Delzanno, Igor Potapov. por Delzanno, Giorgio [editor.] \| Potapov, Igor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6945Origen: 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.9 .L63.
		Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis. por Fahrenberg, Uli [editor.] \| Tripakis, Stavros [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6919Origen: 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.9 .L63.
		ENTERprise Information Systems [recurso electrónico] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho. por Cruz-Cunha, Maria Manuela [editor.] \| Varajão, João [editor.] \| Powell, Philip [editor.] \| Martinho, Ricardo [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 221Origen: 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.
		ENTERprise Information Systems [recurso electrónico] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho. por Cruz-Cunha, Maria Manuela [editor.] \| Varajão, João [editor.] \| Powell, Philip [editor.] \| Martinho, Ricardo [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 220Origen: 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.
		ENTERprise Information Systems [recurso electrónico] : International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho. por Cruz-Cunha, Maria Manuela [editor.] \| Varajão, João [editor.] \| Powell, Philip [editor.] \| Martinho, Ricardo [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 219Origen: 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.
		Frontiers of Combining Systems [recurso electrónico] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. por Tinelli, Cesare [editor.] \| Sofronie-Stokkermans, Viorica [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6989Origen: 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: Q334 -342.
		Network and Parallel Computing [recurso electrónico] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings / edited by Erik Altman, Weisong Shi. por Altman, Erik [editor.] \| Shi, Weisong [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6985Origen: 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.6 -76.66.
		Open Source Systems: Grounding Research [recurso electrónico] : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings / edited by Scott A. Hissam, Barbara Russo, Manoel G. Mendonça Neto, Fabio Kon. por Hissam, Scott A [editor.] \| Russo, Barbara [editor.] \| Mendonça Neto, Manoel G [editor.] \| Kon, Fabio [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 365Origen: 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.758.
		Formal Methods for Industrial Critical Systems [recurso electrónico] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz. por Salaün, Gwen [editor.] \| Schätz, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6959Origen: 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.758.
		Web Information System Engineering – WISE 2011 [recurso electrónico] : 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings / edited by Athman Bouguettaya, Manfred Hauswirth, Ling Liu. por Bouguettaya, Athman [editor.] \| Hauswirth, Manfred [editor.] \| Liu, Ling [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6997Origen: 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] : 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.
		Recent Advances in the Message Passing Interface [recurso electrónico] : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings / edited by Yiannis Cotronis, Anthony Danalis, Dimitrios S. Nikolopoulos, Jack Dongarra. por Cotronis, Yiannis [editor.] \| Danalis, Anthony [editor.] \| Nikolopoulos, Dimitrios S [editor.] \| Dongarra, Jack [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6960Origen: 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.9 .A43.

		Software Engineering for Resilient Systems [recurso electrónico] : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings / edited by Elena A. Troubitsyna. por Troubitsyna, Elena A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6968Origen: 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: TK5105.5 -5105.9.
		Governance and Sustainability in Information Systems. Managing the Transfer and Diffusion of IT [recurso electrónico] : IFIP WG 8.6 International Working Conference, Hamburg, Germany, September 22-24, 2011. Proceedings / edited by Markus Nüttgens, Andreas Gadatsch, Karlheinz Kautz, Ingrid Schirmer, Nadine Blinn. por Nüttgens, Markus [editor.] \| Gadatsch, Andreas [editor.] \| Kautz, Karlheinz [editor.] \| Schirmer, Ingrid [editor.] \| Blinn, Nadine [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 366Origen: 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.
		Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation [recurso electrónico] : 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings / edited by José L. Ayala, Braulio García-Cámara, Manuel Prieto, Martino Ruggiero, Gilles Sicard. por Ayala, José L [editor.] \| García-Cámara, Braulio [editor.] \| Prieto, Manuel [editor.] \| Ruggiero, Martino [editor.] \| Sicard, Gilles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6951Origen: 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.9 .E94.
		Datalog Reloaded [recurso electrónico] : First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers / edited by Oege Moor, Georg Gottlob, Tim Furche, Andrew Sellers. por Moor, Oege [editor.] \| Gottlob, Georg [editor.] \| Furche, Tim [editor.] \| Sellers, Andrew [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6702Origen: 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.
		Computational Logistics [recurso electrónico] : Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011. Proceedings / edited by Jürgen W. Böse, Hao Hu, Carlos Jahn, Xiaoning Shi, Robert Stahlbock, Stefan Voß. por Böse, Jürgen W [editor.] \| Hu, Hao [editor.] \| Jahn, Carlos [editor.] \| Shi, Xiaoning [editor.] \| Stahlbock, Robert [editor.] \| Voß, Stefan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6971Origen: 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.9 .A43.
		Computer Safety, Reliability, and Security [recurso electrónico] : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini. por Flammini, Francesco [editor.] \| Bologna, Sandro [editor.] \| Vittorini, Valeria [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6894Origen: 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.9 .A25.
		Emerging Research in Web Information Systems and Mining [recurso electrónico] : International Conference, WISM 2011, Taiyuan, China, September 23-25, 2011. Proceedings / edited by Gong Zhiguo, Xiangfeng Luo, Junjie Chen, Fu Lee Wang, Jingsheng Lei. por Zhiguo, Gong [editor.] \| Luo, Xiangfeng [editor.] \| Chen, Junjie [editor.] \| Wang, Fu Lee [editor.] \| Lei, Jingsheng [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 238Origen: 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.
		Implementation and Application of Functional Languages [recurso electrónico] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers / edited by Jurriaan Hage, Marco T. Morazán. por Hage, Jurriaan [editor.] \| Morazán, Marco T [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6647Origen: 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.9 .L63.
		Reachability Problems [recurso electrónico] : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings / edited by Giorgio Delzanno, Igor Potapov. por Delzanno, Giorgio [editor.] \| Potapov, Igor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6945Origen: 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.9 .L63.
		Formal Modeling and Analysis of Timed Systems [recurso electrónico] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis. por Fahrenberg, Uli [editor.] \| Tripakis, Stavros [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6919Origen: 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.9 .L63.
		ENTERprise Information Systems [recurso electrónico] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part III / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho. por Cruz-Cunha, Maria Manuela [editor.] \| Varajão, João [editor.] \| Powell, Philip [editor.] \| Martinho, Ricardo [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 221Origen: 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.
		ENTERprise Information Systems [recurso electrónico] : International Conference, CENTERIS 2011, Vilamoura, Portugal, October 5-7, 2011, Proceedings, Part II / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho. por Cruz-Cunha, Maria Manuela [editor.] \| Varajão, João [editor.] \| Powell, Philip [editor.] \| Martinho, Ricardo [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 220Origen: 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.
		ENTERprise Information Systems [recurso electrónico] : International Conference, CENTERIS 2011, Vilamoura, Algarve, Portugal, October 5-7, 2011, Proceedings, Part I / edited by Maria Manuela Cruz-Cunha, João Varajão, Philip Powell, Ricardo Martinho. por Cruz-Cunha, Maria Manuela [editor.] \| Varajão, João [editor.] \| Powell, Philip [editor.] \| Martinho, Ricardo [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 219Origen: 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.
		Frontiers of Combining Systems [recurso electrónico] : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings / edited by Cesare Tinelli, Viorica Sofronie-Stokkermans. por Tinelli, Cesare [editor.] \| Sofronie-Stokkermans, Viorica [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6989Origen: 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: Q334 -342.
		Network and Parallel Computing [recurso electrónico] : 8th IFIP International Conference, NPC 2011, Changsha, China, October 21-23, 2011. Proceedings / edited by Erik Altman, Weisong Shi. por Altman, Erik [editor.] \| Shi, Weisong [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6985Origen: 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.6 -76.66.
		Open Source Systems: Grounding Research [recurso electrónico] : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011. Proceedings / edited by Scott A. Hissam, Barbara Russo, Manoel G. Mendonça Neto, Fabio Kon. por Hissam, Scott A [editor.] \| Russo, Barbara [editor.] \| Mendonça Neto, Manoel G [editor.] \| Kon, Fabio [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 365Origen: 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.758.
		Formal Methods for Industrial Critical Systems [recurso electrónico] : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings / edited by Gwen Salaün, Bernhard Schätz. por Salaün, Gwen [editor.] \| Schätz, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6959Origen: 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.758.
		Web Information System Engineering – WISE 2011 [recurso electrónico] : 12th International Conference, Sydney, Australia, October 13-14, 2011. Proceedings / edited by Athman Bouguettaya, Manfred Hauswirth, Ling Liu. por Bouguettaya, Athman [editor.] \| Hauswirth, Manfred [editor.] \| Liu, Ling [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6997Origen: 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] : 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.
		Recent Advances in the Message Passing Interface [recurso electrónico] : 18th European MPI Users’ Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings / edited by Yiannis Cotronis, Anthony Danalis, Dimitrios S. Nikolopoulos, Jack Dongarra. por Cotronis, Yiannis [editor.] \| Danalis, Anthony [editor.] \| Nikolopoulos, Dimitrios S [editor.] \| Dongarra, Jack [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6960Origen: 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.9 .A43.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 7749 resultados.