Su búsqueda retornó 2235 resultados.

Resultados
		Web Technologies and Applications [recurso electrónico] : 13th Asia-Pacific Web Conference, APWeb 2011, Beijing, China, April 18-20, 2011. Proceedings / edited by Xiaoyong Du, Wenfei Fan, Jianmin Wang, Zhiyong Peng, Mohamed A. Sharaf. por Du, Xiaoyong [editor.] \| Fan, Wenfei [editor.] \| Wang, Jianmin [editor.] \| Peng, Zhiyong [editor.] \| Sharaf, Mohamed A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6612Origen: 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 .D343.
		Traffic Monitoring and Analysis [recurso electrónico] : Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings / edited by Jordi Domingo-Pascual, Yuval Shavitt, Steve Uhlig. por Domingo-Pascual, Jordi [editor.] \| Shavitt, Yuval [editor.] \| Uhlig, Steve [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6613Origen: 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.
		NASA Formal Methods [recurso electrónico] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi. por Bobaru, Mihaela [editor.] \| Havelund, Klaus [editor.] \| Holzmann, Gerard J [editor.] \| Joshi, Rajeev [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6617Origen: 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.
		Rigorous Software Engineering for Service-Oriented Systems [recurso electrónico] : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing / edited by Martin Wirsing, Matthias Hölzl. por Wirsing, Martin [editor.] \| Hölzl, Matthias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6582Origen: 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.
		Genetic Programming [recurso electrónico] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini. por Silva, Sara [editor.] \| Foster, James A [editor.] \| Nicolau, Miguel [editor.] \| Machado, Penousal [editor.] \| Giacobini, Mario [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6621Origen: 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.
		New Horizons in Web-Based Learning - ICWL 2010 Workshops [recurso electrónico] : ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers / edited by Xiangfeng Luo, Yiwei Cao, Bo Yang, Jianxun Liu, Feiyue Ye. por Luo, Xiangfeng [editor.] \| Cao, Yiwei [editor.] \| Yang, Bo [editor.] \| Liu, Jianxun [editor.] \| Ye, Feiyue [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6537Origen: 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: LB1028.43 -1028.75.
		Logic-Based Program Synthesis and Transformation [recurso electrónico] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / edited by María Alpuente. por Alpuente, María [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6564Origen: 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.
		GeoSpatial Semantics [recurso electrónico] : 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings / edited by Christophe Claramunt, Sergei Levashkin, Michela Bertolotto. por Claramunt, Christophe [editor.] \| Levashkin, Sergei [editor.] \| Bertolotto, Michela [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6631Origen: 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: QA75.5 -76.95.
		Service-Oriented Perspectives in Design Science Research [recurso electrónico] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings / edited by Hemant Jain, Atish P. Sinha, Padmal Vitharana. por Jain, Hemant [editor.] \| Sinha, Atish P [editor.] \| Vitharana, Padmal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6629Origen: 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 Checking and Artificial Intelligence [recurso electrónico] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. por Meyden, Ron [editor.] \| Smaus, Jan-Georg [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6572Origen: 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.
		Information Theoretic Security [recurso electrónico] : 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011. Proceedings / edited by Serge Fehr. por Fehr, Serge [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6673Origen: 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.
		NETWORKING 2011 [recurso electrónico] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio. por Domingo-Pascual, Jordi [editor.] \| Manzoni, Pietro [editor.] \| Palazzo, Sergio [editor.] \| Pont, Ana [editor.] \| Scoglio, Caterina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6640Origen: 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.
		Knowledge-Driven Multimedia Information Extraction and Ontology Evolution [recurso electrónico] : Bridging the Semantic Gap / edited by Georgios Paliouras, Constantine D. Spyropoulos, George Tsatsaronis. por Paliouras, Georgios [editor.] \| Spyropoulos, Constantine D [editor.] \| Tsatsaronis, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6050Origen: 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.
		NETWORKING 2011 [recurso electrónico] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio. por Domingo-Pascual, Jordi [editor.] \| Manzoni, Pietro [editor.] \| Palazzo, Sergio [editor.] \| Pont, Ana [editor.] \| Scoglio, Caterina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6641Origen: 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.
		Integer Programming and Combinatoral Optimization [recurso electrónico] : 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings / edited by Oktay Günlük, Gerhard J. Woeginger. por Günlük, Oktay [editor.] \| Woeginger, Gerhard J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6655Origen: 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.
		Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [recurso electrónico] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / edited by Marcello Balduccini, Tran Cao Son. por Balduccini, Marcello [editor.] \| Son, Tran Cao [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6565Origen: 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.
		Graph-Based Representations in Pattern Recognition [recurso electrónico] : 8th IAPR-TC-15 International Workshop, GbRPR 2011, Münster, Germany, May 18-20, 2011. Proceedings / edited by Xiaoyi Jiang, Miquel Ferrer, Andrea Torsello. por Jiang, Xiaoyi [editor.] \| Ferrer, Miquel [editor.] \| Torsello, Andrea [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6658Origen: 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: Q337.5.
		Theory and Applications of Models of Computation [recurso electrónico] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings / edited by Mitsunori Ogihara, Jun Tarui. por Ogihara, Mitsunori [editor.] \| Tarui, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6648Origen: 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: QA75.5 -76.95.
		Logic Programming and Nonmonotonic Reasoning [recurso electrónico] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber. por Delgrande, James P [editor.] \| Faber, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6645Origen: 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.
		The Future Internet [recurso electrónico] : Future Internet Assembly 2011: Achievements and Technological Promises / edited by John Domingue, Alex Galis, Anastasius Gavras, Theodore Zahariadis, Dave Lambert, Frances Cleary, Petros Daras, Srdjan Krco, Henning Müller, Man-Sze Li, Hans Schaffers, Volkmar Lotz, Federico Alvarez, Burkhard Stiller, Stamatis Karnouskos, Susanna Avessta, Michael Nilsson. por Domingue, John [editor.] \| Galis, Alex [editor.] \| Gavras, Anastasius [editor.] \| Zahariadis, Theodore [editor.] \| Lambert, Dave [editor.] \| Cleary, Frances [editor.] \| Daras, Petros [editor.] \| Krco, Srdjan [editor.] \| Müller, Henning [editor.] \| Li, Man-Sze [editor.] \| Schaffers, Hans [editor.] \| Lotz, Volkmar [editor.] \| Alvarez, Federico [editor.] \| Stiller, Burkhard [editor.] \| Karnouskos, Stamatis [editor.] \| Avessta, Susanna [editor.] \| Nilsson, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6656Origen: 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.

		Web Technologies and Applications [recurso electrónico] : 13th Asia-Pacific Web Conference, APWeb 2011, Beijing, China, April 18-20, 2011. Proceedings / edited by Xiaoyong Du, Wenfei Fan, Jianmin Wang, Zhiyong Peng, Mohamed A. Sharaf. por Du, Xiaoyong [editor.] \| Fan, Wenfei [editor.] \| Wang, Jianmin [editor.] \| Peng, Zhiyong [editor.] \| Sharaf, Mohamed A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6612Origen: 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 .D343.
		Traffic Monitoring and Analysis [recurso electrónico] : Third International Workshop, TMA 2011, Vienna, Austria, April 27, 2011. Proceedings / edited by Jordi Domingo-Pascual, Yuval Shavitt, Steve Uhlig. por Domingo-Pascual, Jordi [editor.] \| Shavitt, Yuval [editor.] \| Uhlig, Steve [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6613Origen: 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.
		NASA Formal Methods [recurso electrónico] : Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings / edited by Mihaela Bobaru, Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi. por Bobaru, Mihaela [editor.] \| Havelund, Klaus [editor.] \| Holzmann, Gerard J [editor.] \| Joshi, Rajeev [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6617Origen: 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.
		Rigorous Software Engineering for Service-Oriented Systems [recurso electrónico] : Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing / edited by Martin Wirsing, Matthias Hölzl. por Wirsing, Martin [editor.] \| Hölzl, Matthias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6582Origen: 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.
		Genetic Programming [recurso electrónico] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini. por Silva, Sara [editor.] \| Foster, James A [editor.] \| Nicolau, Miguel [editor.] \| Machado, Penousal [editor.] \| Giacobini, Mario [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6621Origen: 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.
		New Horizons in Web-Based Learning - ICWL 2010 Workshops [recurso electrónico] : ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers / edited by Xiangfeng Luo, Yiwei Cao, Bo Yang, Jianxun Liu, Feiyue Ye. por Luo, Xiangfeng [editor.] \| Cao, Yiwei [editor.] \| Yang, Bo [editor.] \| Liu, Jianxun [editor.] \| Ye, Feiyue [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6537Origen: 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: LB1028.43 -1028.75.
		Logic-Based Program Synthesis and Transformation [recurso electrónico] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / edited by María Alpuente. por Alpuente, María [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6564Origen: 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.
		GeoSpatial Semantics [recurso electrónico] : 4th International Conference, GeoS 2011, Brest, France, May 12-13, 2011. Proceedings / edited by Christophe Claramunt, Sergei Levashkin, Michela Bertolotto. por Claramunt, Christophe [editor.] \| Levashkin, Sergei [editor.] \| Bertolotto, Michela [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6631Origen: 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: QA75.5 -76.95.
		Service-Oriented Perspectives in Design Science Research [recurso electrónico] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings / edited by Hemant Jain, Atish P. Sinha, Padmal Vitharana. por Jain, Hemant [editor.] \| Sinha, Atish P [editor.] \| Vitharana, Padmal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6629Origen: 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 Checking and Artificial Intelligence [recurso electrónico] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. por Meyden, Ron [editor.] \| Smaus, Jan-Georg [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6572Origen: 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.
		Information Theoretic Security [recurso electrónico] : 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011. Proceedings / edited by Serge Fehr. por Fehr, Serge [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6673Origen: 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.
		NETWORKING 2011 [recurso electrónico] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio. por Domingo-Pascual, Jordi [editor.] \| Manzoni, Pietro [editor.] \| Palazzo, Sergio [editor.] \| Pont, Ana [editor.] \| Scoglio, Caterina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6640Origen: 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.
		Knowledge-Driven Multimedia Information Extraction and Ontology Evolution [recurso electrónico] : Bridging the Semantic Gap / edited by Georgios Paliouras, Constantine D. Spyropoulos, George Tsatsaronis. por Paliouras, Georgios [editor.] \| Spyropoulos, Constantine D [editor.] \| Tsatsaronis, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6050Origen: 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.
		NETWORKING 2011 [recurso electrónico] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part II / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio. por Domingo-Pascual, Jordi [editor.] \| Manzoni, Pietro [editor.] \| Palazzo, Sergio [editor.] \| Pont, Ana [editor.] \| Scoglio, Caterina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6641Origen: 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.
		Integer Programming and Combinatoral Optimization [recurso electrónico] : 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings / edited by Oktay Günlük, Gerhard J. Woeginger. por Günlük, Oktay [editor.] \| Woeginger, Gerhard J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6655Origen: 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.
		Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [recurso electrónico] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / edited by Marcello Balduccini, Tran Cao Son. por Balduccini, Marcello [editor.] \| Son, Tran Cao [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6565Origen: 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.
		Graph-Based Representations in Pattern Recognition [recurso electrónico] : 8th IAPR-TC-15 International Workshop, GbRPR 2011, Münster, Germany, May 18-20, 2011. Proceedings / edited by Xiaoyi Jiang, Miquel Ferrer, Andrea Torsello. por Jiang, Xiaoyi [editor.] \| Ferrer, Miquel [editor.] \| Torsello, Andrea [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6658Origen: 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: Q337.5.
		Theory and Applications of Models of Computation [recurso electrónico] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings / edited by Mitsunori Ogihara, Jun Tarui. por Ogihara, Mitsunori [editor.] \| Tarui, Jun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6648Origen: 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: QA75.5 -76.95.
		Logic Programming and Nonmonotonic Reasoning [recurso electrónico] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber. por Delgrande, James P [editor.] \| Faber, Wolfgang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6645Origen: 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.
		The Future Internet [recurso electrónico] : Future Internet Assembly 2011: Achievements and Technological Promises / edited by John Domingue, Alex Galis, Anastasius Gavras, Theodore Zahariadis, Dave Lambert, Frances Cleary, Petros Daras, Srdjan Krco, Henning Müller, Man-Sze Li, Hans Schaffers, Volkmar Lotz, Federico Alvarez, Burkhard Stiller, Stamatis Karnouskos, Susanna Avessta, Michael Nilsson. por Domingue, John [editor.] \| Galis, Alex [editor.] \| Gavras, Anastasius [editor.] \| Zahariadis, Theodore [editor.] \| Lambert, Dave [editor.] \| Cleary, Frances [editor.] \| Daras, Petros [editor.] \| Krco, Srdjan [editor.] \| Müller, Henning [editor.] \| Li, Man-Sze [editor.] \| Schaffers, Hans [editor.] \| Lotz, Volkmar [editor.] \| Alvarez, Federico [editor.] \| Stiller, Burkhard [editor.] \| Karnouskos, Stamatis [editor.] \| Avessta, Susanna [editor.] \| Nilsson, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6656Origen: 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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.