Su búsqueda retornó 2235 resultados.

Resultados
		Theory of Cryptography [recurso electrónico] : 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011. Proceedings / edited by Yuval Ishai. por Ishai, Yuval [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6597Origen: 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.
		Selected Areas in Cryptography [recurso electrónico] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers / edited by Alex Biryukov, Guang Gong, Douglas R. Stinson. por Biryukov, Alex [editor.] \| Gong, Guang [editor.] \| Stinson, Douglas R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6544Origen: 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.
		Hardware and Software: Verification and Testing [recurso electrónico] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz. por Barner, Sharon [editor.] \| Harris, Ian [editor.] \| Kroening, Daniel [editor.] \| Raz, Orna [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6504Origen: 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 Services and Formal Methods [recurso electrónico] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / edited by Mario Bravetti, Tevfik Bultan. por Bravetti, Mario [editor.] \| Bultan, Tevfik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6551Origen: 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.
		Languages and Compilers for Parallel Computing [recurso electrónico] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers / edited by Keith Cooper, John Mellor-Crummey, Vivek Sarkar. por Cooper, Keith [editor.] \| Mellor-Crummey, John [editor.] \| Sarkar, Vivek [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6548Origen: 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.7 -76.73.
		Human Aspects of Visualization [recurso electrónico] : Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers / edited by Achim Ebert, Alan Dix, Nahum D. Gershon, Margit Pohl. por Ebert, Achim [editor.] \| Dix, Alan [editor.] \| Gershon, Nahum D [editor.] \| Pohl, Margit [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6431Origen: 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 .U83.
		Social Computing, Behavioral-Cultural Modeling and Prediction [recurso electrónico] : 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings / edited by John Salerno, Shanchieh Jay Yang, Dana Nau, Sun-Ki Chai. por Salerno, John [editor.] \| Yang, Shanchieh Jay [editor.] \| Nau, Dana [editor.] \| Chai, Sun-Ki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6589Origen: 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 .C66.
		Search Computing [recurso electrónico] : Trends and Developments / edited by Stefano Ceri, Marco Brambilla. por Ceri, Stefano [editor.] \| Brambilla, Marco [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6585Origen: 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.
		Programming Languages and Systems [recurso electrónico] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Gilles Barthe. por Barthe, Gilles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6602Origen: 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.
		Transactions on Computational Systems Biology XIII [recurso electrónico] / edited by Corrado Priami, Ralph-Johan Back, Ion Petre, Erik Vink. por Priami, Corrado [editor.] \| Back, Ralph-Johan [editor.] \| Petre, Ion [editor.] \| Vink, Erik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6575Origen: 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: QH324.2 -324.25.
		Theory and Practice of Algorithms in (Computer) Systems [recurso electrónico] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings / edited by Alberto Marchetti-Spaccamela, Michael Segal. por Marchetti-Spaccamela, Alberto [editor.] \| Segal, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6595Origen: 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.
		Tools and Algorithms for the Construction and Analysis of Systems [recurso electrónico] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino. por Abdulla, Parosh Aziz [editor.] \| Leino, K. Rustan M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6605Origen: 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.
		Requirements Engineering: Foundation for Software Quality [recurso electrónico] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / edited by Daniel Berry, Xavier Franch. por Berry, Daniel [editor.] \| Franch, Xavier [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6606Origen: 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.
		Privacy and Security Issues in Data Mining and Machine Learning [recurso electrónico] : International ECML/PKDD Workshop, PSDML 2010, Barcelona, Spain, September 24, 2010. Revised Selected Papers / edited by Christos Dimitrakakis, Aris Gkoulalas-Divanis, Aikaterini Mitrokotsa, Vassilios S. Verykios, Yücel Saygin. por Dimitrakakis, Christos [editor.] \| Gkoulalas-Divanis, Aris [editor.] \| Mitrokotsa, Aikaterini [editor.] \| Verykios, Vassilios S [editor.] \| Saygin, Yücel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6549Origen: 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.
		Transactions on Computational Collective Intelligence III [recurso electrónico] / edited by Ngoc Thanh Nguyen. por Nguyen, Ngoc Thanh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6560Origen: 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.
		Research in Computational Molecular Biology [recurso electrónico] : 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings / edited by Vineet Bafna, S. Cenk Sahinalp. por Bafna, Vineet [editor.] \| Sahinalp, S. Cenk [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6577Origen: 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.
		Intelligent Information and Database Systems [recurso electrónico] : Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak. por Nguyen, Ngoc Thanh [editor.] \| Kim, Chong-Gun [editor.] \| Janiak, Adam [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6591Origen: 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.
		Intelligent Information and Database Systems [recurso electrónico] : Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak. por Nguyen, Ngoc Thanh [editor.] \| Kim, Chong-Gun [editor.] \| Janiak, Adam [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6592Origen: 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.
		Human Language Technology. Challenges for Computer Science and Linguistics [recurso electrónico] : 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers / edited by Zygmunt Vetulani. por Vetulani, Zygmunt [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6562Origen: 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: P98 -98.5.
		RoboCup 2010: Robot Soccer World Cup XIV [recurso electrónico] / edited by Javier Ruiz-del-Solar, Eric Chown, Paul G. Plöger. por Ruiz-del-Solar, Javier [editor.] \| Chown, Eric [editor.] \| Plöger, Paul G [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6556Origen: 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.

		Theory of Cryptography [recurso electrónico] : 8th Theory of Cryptography Conference, TCC 2011, Providence, RI, USA, March 28-30, 2011. Proceedings / edited by Yuval Ishai. por Ishai, Yuval [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6597Origen: 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.
		Selected Areas in Cryptography [recurso electrónico] : 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, 2010, Revised Selected Papers / edited by Alex Biryukov, Guang Gong, Douglas R. Stinson. por Biryukov, Alex [editor.] \| Gong, Guang [editor.] \| Stinson, Douglas R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6544Origen: 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.
		Hardware and Software: Verification and Testing [recurso electrónico] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz. por Barner, Sharon [editor.] \| Harris, Ian [editor.] \| Kroening, Daniel [editor.] \| Raz, Orna [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6504Origen: 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 Services and Formal Methods [recurso electrónico] : 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers / edited by Mario Bravetti, Tevfik Bultan. por Bravetti, Mario [editor.] \| Bultan, Tevfik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6551Origen: 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.
		Languages and Compilers for Parallel Computing [recurso electrónico] : 23rd International Workshop, LCPC 2010, Houston, TX, USA, October 7-9, 2010. Revised Selected Papers / edited by Keith Cooper, John Mellor-Crummey, Vivek Sarkar. por Cooper, Keith [editor.] \| Mellor-Crummey, John [editor.] \| Sarkar, Vivek [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6548Origen: 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.7 -76.73.
		Human Aspects of Visualization [recurso electrónico] : Second IFIP WG 13.7 Workshop on Human-Computer Interaction and Visualization, HCIV (INTERACT) 2009, Uppsala, Sweden, August 24, 2009, Revised Selected Papers / edited by Achim Ebert, Alan Dix, Nahum D. Gershon, Margit Pohl. por Ebert, Achim [editor.] \| Dix, Alan [editor.] \| Gershon, Nahum D [editor.] \| Pohl, Margit [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6431Origen: 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 .U83.
		Social Computing, Behavioral-Cultural Modeling and Prediction [recurso electrónico] : 4th International Conference, SBP 2011, College Park, MD, USA, March 29-31, 2011. Proceedings / edited by John Salerno, Shanchieh Jay Yang, Dana Nau, Sun-Ki Chai. por Salerno, John [editor.] \| Yang, Shanchieh Jay [editor.] \| Nau, Dana [editor.] \| Chai, Sun-Ki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6589Origen: 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 .C66.
		Search Computing [recurso electrónico] : Trends and Developments / edited by Stefano Ceri, Marco Brambilla. por Ceri, Stefano [editor.] \| Brambilla, Marco [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6585Origen: 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.
		Programming Languages and Systems [recurso electrónico] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Gilles Barthe. por Barthe, Gilles [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6602Origen: 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.
		Transactions on Computational Systems Biology XIII [recurso electrónico] / edited by Corrado Priami, Ralph-Johan Back, Ion Petre, Erik Vink. por Priami, Corrado [editor.] \| Back, Ralph-Johan [editor.] \| Petre, Ion [editor.] \| Vink, Erik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6575Origen: 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: QH324.2 -324.25.
		Theory and Practice of Algorithms in (Computer) Systems [recurso electrónico] : First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings / edited by Alberto Marchetti-Spaccamela, Michael Segal. por Marchetti-Spaccamela, Alberto [editor.] \| Segal, Michael [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6595Origen: 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.
		Tools and Algorithms for the Construction and Analysis of Systems [recurso electrónico] : 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings / edited by Parosh Aziz Abdulla, K. Rustan M. Leino. por Abdulla, Parosh Aziz [editor.] \| Leino, K. Rustan M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6605Origen: 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.
		Requirements Engineering: Foundation for Software Quality [recurso electrónico] : 17th International Working Conference, REFSQ 2011, Essen, Germany, March 28-30, 2011. Proceedings / edited by Daniel Berry, Xavier Franch. por Berry, Daniel [editor.] \| Franch, Xavier [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6606Origen: 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.
		Privacy and Security Issues in Data Mining and Machine Learning [recurso electrónico] : International ECML/PKDD Workshop, PSDML 2010, Barcelona, Spain, September 24, 2010. Revised Selected Papers / edited by Christos Dimitrakakis, Aris Gkoulalas-Divanis, Aikaterini Mitrokotsa, Vassilios S. Verykios, Yücel Saygin. por Dimitrakakis, Christos [editor.] \| Gkoulalas-Divanis, Aris [editor.] \| Mitrokotsa, Aikaterini [editor.] \| Verykios, Vassilios S [editor.] \| Saygin, Yücel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6549Origen: 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.
		Transactions on Computational Collective Intelligence III [recurso electrónico] / edited by Ngoc Thanh Nguyen. por Nguyen, Ngoc Thanh [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6560Origen: 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.
		Research in Computational Molecular Biology [recurso electrónico] : 15th Annual International Conference, RECOMB 2011, Vancouver, BC, Canada, March 28-31, 2011. Proceedings / edited by Vineet Bafna, S. Cenk Sahinalp. por Bafna, Vineet [editor.] \| Sahinalp, S. Cenk [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6577Origen: 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.
		Intelligent Information and Database Systems [recurso electrónico] : Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part I / edited by Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak. por Nguyen, Ngoc Thanh [editor.] \| Kim, Chong-Gun [editor.] \| Janiak, Adam [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6591Origen: 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.
		Intelligent Information and Database Systems [recurso electrónico] : Third International Conference, ACIIDS 2011, Daegu, Korea, April 20-22, 2011, Proceedings, Part II / edited by Ngoc Thanh Nguyen, Chong-Gun Kim, Adam Janiak. por Nguyen, Ngoc Thanh [editor.] \| Kim, Chong-Gun [editor.] \| Janiak, Adam [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6592Origen: 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.
		Human Language Technology. Challenges for Computer Science and Linguistics [recurso electrónico] : 4th Language and Technology Conference, LTC 2009, Poznan, Poland, November 6-8, 2009, Revised Selected Papers / edited by Zygmunt Vetulani. por Vetulani, Zygmunt [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6562Origen: 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: P98 -98.5.
		RoboCup 2010: Robot Soccer World Cup XIV [recurso electrónico] / edited by Javier Ruiz-del-Solar, Eric Chown, Paul G. Plöger. por Ruiz-del-Solar, Javier [editor.] \| Chown, Eric [editor.] \| Plöger, Paul G [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6556Origen: 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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.