Su búsqueda retornó 2235 resultados.

Resultados
		Language, Games, and Evolution [recurso electrónico] : Trends in Current Research on Language and Game Theory / edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij. por Benz, Anton [editor.] \| Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Rooij, Robert [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6207Origen: 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.
		Generative and Transformational Techniques in Software Engineering III [recurso electrónico] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva. por Fernandes, João M [editor.] \| Lämmel, Ralf [editor.] \| Visser, Joost [editor.] \| Saraiva, João [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6491Origen: 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.
		Logic and Its Applications [recurso electrónico] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / edited by Mohua Banerjee, Anil Seth. por Banerjee, Mohua [editor.] \| Seth, Anil [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6521Origen: 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.
		Knowledge Representation for Health-Care [recurso electrónico] : ECAI 2010 Workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010, Revised Selected Papers / edited by David Riaño, Annette Teije, Silvia Miksch, Mor Peleg. por Riaño, David [editor.] \| Teije, Annette [editor.] \| Miksch, Silvia [editor.] \| Peleg, Mor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6512Origen: 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 Quantum Computation, Communication, and Cryptography [recurso electrónico] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers / edited by Wim Dam, Vivien M. Kendon, Simone Severini. por Dam, Wim [editor.] \| Kendon, Vivien M [editor.] \| Severini, Simone [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6519Origen: 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.
		Implementation and Application of Automata [recurso electrónico] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers / edited by Michael Domaratzki, Kai Salomaa. por Domaratzki, Michael [editor.] \| Salomaa, Kai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6482Origen: 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.
		Membrane Computing [recurso electrónico] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa. por Gheorghe, Marian [editor.] \| Hinze, Thomas [editor.] \| Paun, Gheorghe [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6501Origen: 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.
		Information Security [recurso electrónico] : 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers / edited by Mike Burmester, Gene Tsudik, Spyros Magliveras, Ivana Ilic. por Burmester, Mike [editor.] \| Tsudik, Gene [editor.] \| Magliveras, Spyros [editor.] \| Ilic, Ivana [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6531Origen: 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.
		Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues [recurso electrónico] : Third COST 2102 International Training School, Caserta, Italy, March 15-19, 2010, Revised Selected Papers / edited by Anna Esposito, Antonietta M. Esposito, Raffaele Martone, Vincent C. Müller, Gaetano Scarpetta. por Esposito, Anna [editor.] \| Esposito, Antonietta M [editor.] \| Martone, Raffaele [editor.] \| Müller, Vincent C [editor.] \| Scarpetta, Gaetano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6456Origen: 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.
		Performance Evaluation, Measurement and Characterization of Complex Systems [recurso electrónico] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. por Nambiar, Raghunath [editor.] \| Poess, Meikel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6417Origen: 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.
		Transactions on Petri Nets and Other Models of Concurrency IV [recurso electrónico] / edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny. por Jensen, Kurt [editor.] \| Donatelli, Susanna [editor.] \| Koutny, Maciej [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6550Origen: 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.
		Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. por Jhala, Ranjit [editor.] \| Schmidt, David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6538Origen: 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.
		Transactions on Rough Sets XIII [recurso electrónico] / edited by James F. Peters, Andrzej Skowron, Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko. por Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| Chan, Chien-Chung [editor.] \| Grzymala-Busse, Jerzy W [editor.] \| Ziarko, Wojciech P [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6499Origen: 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.
		Multi-Agent-Based Simulation XI [recurso electrónico] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker. por Bosse, Tibor [editor.] \| Geller, Armando [editor.] \| Jonker, Catholijn M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6532Origen: 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-Computer Interaction, Tourism and Cultural Heritage [recurso electrónico] : First International Workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010. Revised Selected Papers / edited by Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra. por Cipolla Ficarra, Francisco V [editor.] \| Castro Lozano, Carlos [editor.] \| Nicol, Emma [editor.] \| Kratky, Andreas [editor.] \| Cipolla-Ficarra, Miguel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6529Origen: 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.
		Practical Aspects of Declarative Languages [recurso electrónico] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury. por Rocha, Ricardo [editor.] \| Launchbury, John [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6539Origen: 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.
		SOFSEM 2011: Theory and Practice of Computer Science [recurso electrónico] : 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings / edited by Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith Jefferey, Rastislav Královic, Marko Vukolic, Stefan Wolf. por Cerná, Ivana [editor.] \| Gyimóthy, Tibor [editor.] \| Hromkovic, Juraj [editor.] \| Jefferey, Keith [editor.] \| Královic, Rastislav [editor.] \| Vukolic, Marko [editor.] \| Wolf, Stefan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6543Origen: 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.
		Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging [recurso electrónico] : International MICCAI Workshop, MCV 2010, Beijing, China, September 20, 2010, Revised Selected Papers / edited by Bjoern Menze, Georg Langs, Zhuowen Tu, Antonio Criminisi. por Menze, Bjoern [editor.] \| Langs, Georg [editor.] \| Tu, Zhuowen [editor.] \| Criminisi, Antonio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6533Origen: 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: TA1637 -1638.
		Vagueness in Communication [recurso electrónico] : International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers / edited by Rick Nouwen, Robert Rooij, Uli Sauerland, Hans-Christian Schmitz. por Nouwen, Rick [editor.] \| Rooij, Robert [editor.] \| Sauerland, Uli [editor.] \| Schmitz, Hans-Christian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6517Origen: 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: QA8.9 -QA10.3.
		Transactions on Edutainment V [recurso electrónico] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Xubo Yang. por Pan, Zhigeng [editor.] \| Cheok, Adrian David [editor.] \| Müller, Wolfgang [editor.] \| Yang, Xubo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6530Origen: 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.

		Language, Games, and Evolution [recurso electrónico] : Trends in Current Research on Language and Game Theory / edited by Anton Benz, Christian Ebert, Gerhard Jäger, Robert Rooij. por Benz, Anton [editor.] \| Ebert, Christian [editor.] \| Jäger, Gerhard [editor.] \| Rooij, Robert [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6207Origen: 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.
		Generative and Transformational Techniques in Software Engineering III [recurso electrónico] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers / edited by João M. Fernandes, Ralf Lämmel, Joost Visser, João Saraiva. por Fernandes, João M [editor.] \| Lämmel, Ralf [editor.] \| Visser, Joost [editor.] \| Saraiva, João [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6491Origen: 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.
		Logic and Its Applications [recurso electrónico] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings / edited by Mohua Banerjee, Anil Seth. por Banerjee, Mohua [editor.] \| Seth, Anil [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6521Origen: 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.
		Knowledge Representation for Health-Care [recurso electrónico] : ECAI 2010 Workshop KR4HC 2010, Lisbon, Portugal, August 17, 2010, Revised Selected Papers / edited by David Riaño, Annette Teije, Silvia Miksch, Mor Peleg. por Riaño, David [editor.] \| Teije, Annette [editor.] \| Miksch, Silvia [editor.] \| Peleg, Mor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6512Origen: 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 Quantum Computation, Communication, and Cryptography [recurso electrónico] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers / edited by Wim Dam, Vivien M. Kendon, Simone Severini. por Dam, Wim [editor.] \| Kendon, Vivien M [editor.] \| Severini, Simone [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6519Origen: 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.
		Implementation and Application of Automata [recurso electrónico] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers / edited by Michael Domaratzki, Kai Salomaa. por Domaratzki, Michael [editor.] \| Salomaa, Kai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6482Origen: 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.
		Membrane Computing [recurso electrónico] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers / edited by Marian Gheorghe, Thomas Hinze, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa. por Gheorghe, Marian [editor.] \| Hinze, Thomas [editor.] \| Paun, Gheorghe [editor.] \| Rozenberg, Grzegorz [editor.] \| Salomaa, Arto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6501Origen: 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.
		Information Security [recurso electrónico] : 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers / edited by Mike Burmester, Gene Tsudik, Spyros Magliveras, Ivana Ilic. por Burmester, Mike [editor.] \| Tsudik, Gene [editor.] \| Magliveras, Spyros [editor.] \| Ilic, Ivana [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6531Origen: 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.
		Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues [recurso electrónico] : Third COST 2102 International Training School, Caserta, Italy, March 15-19, 2010, Revised Selected Papers / edited by Anna Esposito, Antonietta M. Esposito, Raffaele Martone, Vincent C. Müller, Gaetano Scarpetta. por Esposito, Anna [editor.] \| Esposito, Antonietta M [editor.] \| Martone, Raffaele [editor.] \| Müller, Vincent C [editor.] \| Scarpetta, Gaetano [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6456Origen: 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.
		Performance Evaluation, Measurement and Characterization of Complex Systems [recurso electrónico] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. por Nambiar, Raghunath [editor.] \| Poess, Meikel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6417Origen: 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.
		Transactions on Petri Nets and Other Models of Concurrency IV [recurso electrónico] / edited by Kurt Jensen, Susanna Donatelli, Maciej Koutny. por Jensen, Kurt [editor.] \| Donatelli, Susanna [editor.] \| Koutny, Maciej [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6550Origen: 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.
		Verification, Model Checking, and Abstract Interpretation [recurso electrónico] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. por Jhala, Ranjit [editor.] \| Schmidt, David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6538Origen: 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.
		Transactions on Rough Sets XIII [recurso electrónico] / edited by James F. Peters, Andrzej Skowron, Chien-Chung Chan, Jerzy W. Grzymala-Busse, Wojciech P. Ziarko. por Peters, James F [editor.] \| Skowron, Andrzej [editor.] \| Chan, Chien-Chung [editor.] \| Grzymala-Busse, Jerzy W [editor.] \| Ziarko, Wojciech P [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6499Origen: 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.
		Multi-Agent-Based Simulation XI [recurso electrónico] : International Workshop, MABS 2010, Toronto, Canada, May 11, 2010, Revised Selected Papers / edited by Tibor Bosse, Armando Geller, Catholijn M. Jonker. por Bosse, Tibor [editor.] \| Geller, Armando [editor.] \| Jonker, Catholijn M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6532Origen: 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-Computer Interaction, Tourism and Cultural Heritage [recurso electrónico] : First International Workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010. Revised Selected Papers / edited by Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra. por Cipolla Ficarra, Francisco V [editor.] \| Castro Lozano, Carlos [editor.] \| Nicol, Emma [editor.] \| Kratky, Andreas [editor.] \| Cipolla-Ficarra, Miguel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6529Origen: 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.
		Practical Aspects of Declarative Languages [recurso electrónico] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury. por Rocha, Ricardo [editor.] \| Launchbury, John [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6539Origen: 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.
		SOFSEM 2011: Theory and Practice of Computer Science [recurso electrónico] : 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings / edited by Ivana Cerná, Tibor Gyimóthy, Juraj Hromkovic, Keith Jefferey, Rastislav Královic, Marko Vukolic, Stefan Wolf. por Cerná, Ivana [editor.] \| Gyimóthy, Tibor [editor.] \| Hromkovic, Juraj [editor.] \| Jefferey, Keith [editor.] \| Královic, Rastislav [editor.] \| Vukolic, Marko [editor.] \| Wolf, Stefan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6543Origen: 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.
		Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging [recurso electrónico] : International MICCAI Workshop, MCV 2010, Beijing, China, September 20, 2010, Revised Selected Papers / edited by Bjoern Menze, Georg Langs, Zhuowen Tu, Antonio Criminisi. por Menze, Bjoern [editor.] \| Langs, Georg [editor.] \| Tu, Zhuowen [editor.] \| Criminisi, Antonio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6533Origen: 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: TA1637 -1638.
		Vagueness in Communication [recurso electrónico] : International Workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009. Revised Selected Papers / edited by Rick Nouwen, Robert Rooij, Uli Sauerland, Hans-Christian Schmitz. por Nouwen, Rick [editor.] \| Rooij, Robert [editor.] \| Sauerland, Uli [editor.] \| Schmitz, Hans-Christian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6517Origen: 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: QA8.9 -QA10.3.
		Transactions on Edutainment V [recurso electrónico] / edited by Zhigeng Pan, Adrian David Cheok, Wolfgang Müller, Xubo Yang. por Pan, Zhigeng [editor.] \| Cheok, Adrian David [editor.] \| Müller, Wolfgang [editor.] \| Yang, Xubo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6530Origen: 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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.