Su búsqueda retornó 2235 resultados.

Resultados
		Transactions on Computational Science VIII [recurso electrónico] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. por Gavrilova, Marina L [editor.] \| Tan, C. J. Kenneth [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6260Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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 for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. por Fermüller, Christian G [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6397Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Rough Set and Knowledge Technology [recurso electrónico] : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings / edited by Jian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron. por Yu, Jian [editor.] \| Greco, Salvatore [editor.] \| Lingras, Pawan [editor.] \| Wang, Guoyin [editor.] \| Skowron, Andrzej [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6401Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Software Technologies for Embedded and Ubiquitous Systems [recurso electrónico] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings / edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer. por Min, Sang Lyul [editor.] \| Pettit, Robert [editor.] \| Puschner, Peter [editor.] \| Ungerer, Theo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6399Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Integrated Formal Methods [recurso electrónico] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. por Méry, Dominique [editor.] \| Merz, Stephan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6396Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model-Based Engineering of Embedded Real-Time Systems [recurso electrónico] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. por Giese, Holger [editor.] \| Karsai, Gabor [editor.] \| Lee, Edward [editor.] \| Rumpe, Bernhard [editor.] \| Schätz, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6100Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Provable Security [recurso electrónico] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings / edited by Swee-Huay Heng, Kaoru Kurosawa. por Heng, Swee-Huay [editor.] \| Kurosawa, Kaoru [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6402Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.
		Semantic Web Rules [recurso electrónico] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings / edited by Mike Dean, John Hall, Antonino Rotolo, Said Tabet. por Dean, Mike [editor.] \| Hall, John [editor.] \| Rotolo, Antonino [editor.] \| Tabet, Said [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6403Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modeling Decisions for Artificial Intelligence [recurso electrónico] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Marc Daumas. por Torra, Vicenç [editor.] \| Narukawa, Yasuo [editor.] \| Daumas, Marc [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6408Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Rewriting Logic and Its Applications [recurso electrónico] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers / edited by Peter Csaba Ölveczky. por Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6381Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		String Processing and Information Retrieval [recurso electrónico] : 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings / edited by Edgar Chavez, Stefano Lonardi. por Chavez, Edgar [editor.] \| Lonardi, Stefano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6393Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Information Security and Cryptology [recurso electrónico] : 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers / edited by Feng Bao, Moti Yung, Dongdai Lin, Jiwu Jing. por Bao, Feng [editor.] \| Yung, Moti [editor.] \| Lin, Dongdai [editor.] \| Jing, Jiwu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6151Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Ubiquitous Intelligence and Computing [recurso electrónico] : 7th International Conference, UIC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Zhiwen Yu, Ramiro Liscano, Guanling Chen, Daqing Zhang, Xingshe Zhou. por Yu, Zhiwen [editor.] \| Liscano, Ramiro [editor.] \| Chen, Guanling [editor.] \| Zhang, Daqing [editor.] \| Zhou, Xingshe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6406Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Property Testing [recurso electrónico] : Current Research and Surveys / edited by Oded Goldreich. por Goldreich, Oded [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6390Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.
		Ubiquitous Knowledge Discovery [recurso electrónico] : Challenges, Techniques, Applications / edited by Michael May, Lorenza Saitta. por May, Michael [editor.] \| Saitta, Lorenza [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6202Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Information Hiding [recurso electrónico] : 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers / edited by Rainer Böhme, Philip W. L. Fong, Reihaneh Safavi-Naini. por Böhme, Rainer [editor.] \| Fong, Philip W. L [editor.] \| Safavi-Naini, Reihaneh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6387Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.
		Knowledge Engineering and Management by the Masses [recurso electrónico] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings / edited by Philipp Cimiano, H. Sofia Pinto. por Cimiano, Philipp [editor.] \| Pinto, H. Sofia [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6317Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Public Key Infrastructures, Services and Applications [recurso electrónico] : 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers / edited by Fabio Martinelli, Bart Preneel. por Martinelli, Fabio [editor.] \| Preneel, Bart [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6391Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Implementation and Application of Functional Languages [recurso electrónico] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers / edited by Marco T. Morazán, Sven-Bodo Scholz. por Morazán, Marco T [editor.] \| Scholz, Sven-Bodo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6041Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Human-Centred Software Engineering [recurso electrónico] : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings / edited by Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Marta Lárusdóttir. por Bernhaupt, Regina [editor.] \| Forbrig, Peter [editor.] \| Gulliksen, Jan [editor.] \| Lárusdóttir, Marta [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6409Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

		Transactions on Computational Science VIII [recurso electrónico] / edited by Marina L. Gavrilova, C. J. Kenneth Tan. por Gavrilova, Marina L [editor.] \| Tan, C. J. Kenneth [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6260Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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 for Programming, Artificial Intelligence, and Reasoning [recurso electrónico] : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings / edited by Christian G. Fermüller, Andrei Voronkov. por Fermüller, Christian G [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6397Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Rough Set and Knowledge Technology [recurso electrónico] : 5th International Conference, RSKT 2010, Beijing, China, October 15-17, 2010. Proceedings / edited by Jian Yu, Salvatore Greco, Pawan Lingras, Guoyin Wang, Andrzej Skowron. por Yu, Jian [editor.] \| Greco, Salvatore [editor.] \| Lingras, Pawan [editor.] \| Wang, Guoyin [editor.] \| Skowron, Andrzej [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6401Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Software Technologies for Embedded and Ubiquitous Systems [recurso electrónico] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings / edited by Sang Lyul Min, Robert Pettit, Peter Puschner, Theo Ungerer. por Min, Sang Lyul [editor.] \| Pettit, Robert [editor.] \| Puschner, Peter [editor.] \| Ungerer, Theo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6399Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Integrated Formal Methods [recurso electrónico] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings / edited by Dominique Méry, Stephan Merz. por Méry, Dominique [editor.] \| Merz, Stephan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6396Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Model-Based Engineering of Embedded Real-Time Systems [recurso electrónico] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers / edited by Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. por Giese, Holger [editor.] \| Karsai, Gabor [editor.] \| Lee, Edward [editor.] \| Rumpe, Bernhard [editor.] \| Schätz, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6100Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Provable Security [recurso electrónico] : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings / edited by Swee-Huay Heng, Kaoru Kurosawa. por Heng, Swee-Huay [editor.] \| Kurosawa, Kaoru [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6402Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.
		Semantic Web Rules [recurso electrónico] : International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings / edited by Mike Dean, John Hall, Antonino Rotolo, Said Tabet. por Dean, Mike [editor.] \| Hall, John [editor.] \| Rotolo, Antonino [editor.] \| Tabet, Said [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6403Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.
		Modeling Decisions for Artificial Intelligence [recurso electrónico] : 7th International Conference, MDAI 2010, Perpignan, France, October 27-29, 2010. Proceedings / edited by Vicenç Torra, Yasuo Narukawa, Marc Daumas. por Torra, Vicenç [editor.] \| Narukawa, Yasuo [editor.] \| Daumas, Marc [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6408Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Rewriting Logic and Its Applications [recurso electrónico] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers / edited by Peter Csaba Ölveczky. por Ölveczky, Peter Csaba [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6381Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		String Processing and Information Retrieval [recurso electrónico] : 17th International Symposium, SPIRE 2010, Los Cabos, Mexico, October 11-13, 2010. Proceedings / edited by Edgar Chavez, Stefano Lonardi. por Chavez, Edgar [editor.] \| Lonardi, Stefano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6393Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Information Security and Cryptology [recurso electrónico] : 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers / edited by Feng Bao, Moti Yung, Dongdai Lin, Jiwu Jing. por Bao, Feng [editor.] \| Yung, Moti [editor.] \| Lin, Dongdai [editor.] \| Jing, Jiwu [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6151Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Ubiquitous Intelligence and Computing [recurso electrónico] : 7th International Conference, UIC 2010, Xi’an, China, October 26-29, 2010. Proceedings / edited by Zhiwen Yu, Ramiro Liscano, Guanling Chen, Daqing Zhang, Xingshe Zhou. por Yu, Zhiwen [editor.] \| Liscano, Ramiro [editor.] \| Chen, Guanling [editor.] \| Zhang, Daqing [editor.] \| Zhou, Xingshe [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6406Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Property Testing [recurso electrónico] : Current Research and Surveys / edited by Oded Goldreich. por Goldreich, Oded [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6390Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A43.
		Ubiquitous Knowledge Discovery [recurso electrónico] : Challenges, Techniques, Applications / edited by Michael May, Lorenza Saitta. por May, Michael [editor.] \| Saitta, Lorenza [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6202Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Information Hiding [recurso electrónico] : 12th International Conference, IH 2010, Calgary, AB, Canada, June 28-30, 2010, Revised Selected Papers / edited by Rainer Böhme, Philip W. L. Fong, Reihaneh Safavi-Naini. por Böhme, Rainer [editor.] \| Fong, Philip W. L [editor.] \| Safavi-Naini, Reihaneh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6387Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .A25.
		Knowledge Engineering and Management by the Masses [recurso electrónico] : 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010. Proceedings / edited by Philipp Cimiano, H. Sofia Pinto. por Cimiano, Philipp [editor.] \| Pinto, H. Sofia [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6317Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.
		Public Key Infrastructures, Services and Applications [recurso electrónico] : 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers / edited by Fabio Martinelli, Bart Preneel. por Martinelli, Fabio [editor.] \| Preneel, Bart [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6391Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso 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.
		Implementation and Application of Functional Languages [recurso electrónico] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers / edited by Marco T. Morazán, Sven-Bodo Scholz. por Morazán, Marco T [editor.] \| Scholz, Sven-Bodo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6041Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .L63.
		Human-Centred Software Engineering [recurso electrónico] : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings / edited by Regina Bernhaupt, Peter Forbrig, Jan Gulliksen, Marta Lárusdóttir. por Bernhaupt, Regina [editor.] \| Forbrig, Peter [editor.] \| Gulliksen, Jan [editor.] \| Lárusdóttir, Marta [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6409Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.758.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.