Su búsqueda retornó 5913 resultados.

Resultados
		Verified Software: Theories, Tools, Experiments [recurso electrónico] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani. por Leavens, Gary T [editor.] \| O’Hearn, Peter [editor.] \| Rajamani, Sriram K [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6217Origen: 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.
		Biological Functions for Information and Communication Technologies [recurso electrónico] : Theory and Inspiration / edited by Hidefumi Sawai. por Sawai, Hidefumi [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 320Origen: 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: TA174.
		Soft Computing for Recognition Based on Biometrics [recurso electrónico] / edited by Patricia Melin, Janusz Kacprzyk, Witold Pedrycz. por Melin, Patricia [editor.] \| Kacprzyk, Janusz [editor.] \| Pedrycz, Witold [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 312Origen: 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: TA174.
		Data Integration in the Life Sciences [recurso electrónico] : 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings / edited by Patrick Lambrix, Graham Kemp. por Lambrix, Patrick [editor.] \| Kemp, Graham [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6254Origen: 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.76 .A65.
		Electronic Government and the Information Systems Perspective [recurso electrónico] : First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings / edited by Kim Normann Andersen, Enrico Francesconi, Åke Grönlund, Tom M. Engers. por Andersen, Kim Normann [editor.] \| Francesconi, Enrico [editor.] \| Grönlund, Åke [editor.] \| Engers, Tom M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6267Origen: 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 .C66.
		Emotion-Oriented Systems [recurso electrónico] : The Humaine Handbook / edited by Roddy Cowie, Catherine Pelachaud, Paolo Petta. por Cowie, Roddy [editor.] \| Pelachaud, Catherine [editor.] \| Petta, Paolo [editor.] \| SpringerLink (Online service). Series Cognitive TechnologiesOrigen: 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.
		From Animals to Animats 11 [recurso electrónico] : 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings / edited by Stéphane Doncieux, Benoît Girard, Agnès Guillot, John Hallam, Jean-Arcady Meyer, Jean-Baptiste Mouret. por Doncieux, Stéphane [editor.] \| Girard, Benoît [editor.] \| Guillot, Agnès [editor.] \| Hallam, John [editor.] \| Meyer, Jean-Arcady [editor.] \| Mouret, Jean-Baptiste [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6226Origen: 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.
		Computer Science Logic [recurso electrónico] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith. por Dawar, Anuj [editor.] \| Veith, Helmut [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6247Origen: 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.
		E-Commerce and Web Technologies [recurso electrónico] : 11th International Conference, EC-Web 2010, Bilbao, Spain, September 1-3, 2010. Proceedings / edited by Francesco Buccafurri, Giovanni Semeraro. por Buccafurri, Francesco [editor.] \| Semeraro, Giovanni [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 61Origen: 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: HB71 -74.
		Intelligent Distributed Computing IV [recurso electrónico] : Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 / edited by Mohammad Essaaidi, Michele Malgeri, Costin Badica. por Essaaidi, Mohammad [editor.] \| Malgeri, Michele [editor.] \| Badica, Costin [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 315Origen: 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: TA329 -348.
		Computational Intelligence in Engineering [recurso electrónico] / edited by Imre J. Rudas, János Fodor, Janusz Kacprzyk. por Rudas, Imre J [editor.] \| Fodor, János [editor.] \| Kacprzyk, Janusz [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 313Origen: 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: Q342.
		Model-Based Reasoning in Science and Technology [recurso electrónico] : Abduction, Logic, and Computational Discovery / edited by Lorenzo Magnani, Walter Carnielli, Claudio Pizzi. por Magnani, Lorenzo [editor.] \| Carnielli, Walter [editor.] \| Pizzi, Claudio [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 314Origen: 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: Q342.
		Human-Computer Interaction [recurso electrónico] : Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Peter Forbrig, Fabio Paternó, Annelise Mark Pejtersen. por Forbrig, Peter [editor.] \| Paternó, Fabio [editor.] \| Mark Pejtersen, Annelise [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 332Origen: 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.76 .A65.
		Distributed, Parallel and Biologically Inspired Systems [recurso electrónico] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf. por Hinchey, Mike [editor.] \| Kleinjohann, Bernd [editor.] \| Kleinjohann, Lisa [editor.] \| Lindsay, Peter A [editor.] \| Rammig, Franz J [editor.] \| Timmis, Jon [editor.] \| Wolf, Marilyn [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 329Origen: 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.
		PRICAI 2010: Trends in Artificial Intelligence [recurso electrónico] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30–September 2, 2010. Proceedings / edited by Byoung-Tak Zhang, Mehmet A. Orgun. por Zhang, Byoung-Tak [editor.] \| Orgun, Mehmet A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6230Origen: 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.
		Database and Expert Systems Applications [recurso electrónico] : 21th International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part II / edited by Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr. por Bringas, Pablo García [editor.] \| Hameurlain, Abdelkader [editor.] \| Quirchmayr, Gerald [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6262Origen: 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.76 .A65.
		Information Routing, Correspondence Finding, and Object Recognition in the Brain [recurso electrónico] / by Philipp Wolfrum. por Wolfrum, Philipp [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 316Origen: 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: Q342.
		Knowledge Science, Engineering and Management [recurso electrónico] : 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings / edited by Yaxin Bi, Mary-Anne Williams. por Bi, Yaxin [editor.] \| Williams, Mary-Anne [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6291Origen: 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 .D343.
		Artificial Intelligence in Theory and Practice III [recurso electrónico] : Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Max Bramer. por Bramer, Max [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 331Origen: 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.
		Geographic Information Science [recurso electrónico] : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings / edited by Sara Irina Fabrikant, Tumasch Reichenbacher, Marc Kreveld, Christoph Schlieder. por Fabrikant, Sara Irina [editor.] \| Reichenbacher, Tumasch [editor.] \| Kreveld, Marc [editor.] \| Schlieder, Christoph [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6292Origen: 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.76 .A65.

		Verified Software: Theories, Tools, Experiments [recurso electrónico] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings / edited by Gary T. Leavens, Peter O’Hearn, Sriram K. Rajamani. por Leavens, Gary T [editor.] \| O’Hearn, Peter [editor.] \| Rajamani, Sriram K [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6217Origen: 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.
		Biological Functions for Information and Communication Technologies [recurso electrónico] : Theory and Inspiration / edited by Hidefumi Sawai. por Sawai, Hidefumi [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 320Origen: 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: TA174.
		Soft Computing for Recognition Based on Biometrics [recurso electrónico] / edited by Patricia Melin, Janusz Kacprzyk, Witold Pedrycz. por Melin, Patricia [editor.] \| Kacprzyk, Janusz [editor.] \| Pedrycz, Witold [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 312Origen: 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: TA174.
		Data Integration in the Life Sciences [recurso electrónico] : 7th International Conference, DILS 2010, Gothenburg, Sweden, August 25-27, 2010. Proceedings / edited by Patrick Lambrix, Graham Kemp. por Lambrix, Patrick [editor.] \| Kemp, Graham [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6254Origen: 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.76 .A65.
		Electronic Government and the Information Systems Perspective [recurso electrónico] : First International Conference, EGOVIS 2010, Bilbao, Spain, August 31 – September 2, 2010. Proceedings / edited by Kim Normann Andersen, Enrico Francesconi, Åke Grönlund, Tom M. Engers. por Andersen, Kim Normann [editor.] \| Francesconi, Enrico [editor.] \| Grönlund, Åke [editor.] \| Engers, Tom M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6267Origen: 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 .C66.
		Emotion-Oriented Systems [recurso electrónico] : The Humaine Handbook / edited by Roddy Cowie, Catherine Pelachaud, Paolo Petta. por Cowie, Roddy [editor.] \| Pelachaud, Catherine [editor.] \| Petta, Paolo [editor.] \| SpringerLink (Online service). Series Cognitive TechnologiesOrigen: 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.
		From Animals to Animats 11 [recurso electrónico] : 11th International Conference on Simulation of Adaptive Behavior, SAB 2010, Paris - Clos Lucé, France, August 25-28, 2010. Proceedings / edited by Stéphane Doncieux, Benoît Girard, Agnès Guillot, John Hallam, Jean-Arcady Meyer, Jean-Baptiste Mouret. por Doncieux, Stéphane [editor.] \| Girard, Benoît [editor.] \| Guillot, Agnès [editor.] \| Hallam, John [editor.] \| Meyer, Jean-Arcady [editor.] \| Mouret, Jean-Baptiste [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6226Origen: 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.
		Computer Science Logic [recurso electrónico] : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings / edited by Anuj Dawar, Helmut Veith. por Dawar, Anuj [editor.] \| Veith, Helmut [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6247Origen: 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.
		E-Commerce and Web Technologies [recurso electrónico] : 11th International Conference, EC-Web 2010, Bilbao, Spain, September 1-3, 2010. Proceedings / edited by Francesco Buccafurri, Giovanni Semeraro. por Buccafurri, Francesco [editor.] \| Semeraro, Giovanni [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 61Origen: 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: HB71 -74.
		Intelligent Distributed Computing IV [recurso electrónico] : Proceedings of the 4th International Symposium on Intelligent Distributed Computing - IDC 2010, Tangier, Morocco, September 2010 / edited by Mohammad Essaaidi, Michele Malgeri, Costin Badica. por Essaaidi, Mohammad [editor.] \| Malgeri, Michele [editor.] \| Badica, Costin [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 315Origen: 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: TA329 -348.
		Computational Intelligence in Engineering [recurso electrónico] / edited by Imre J. Rudas, János Fodor, Janusz Kacprzyk. por Rudas, Imre J [editor.] \| Fodor, János [editor.] \| Kacprzyk, Janusz [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 313Origen: 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: Q342.
		Model-Based Reasoning in Science and Technology [recurso electrónico] : Abduction, Logic, and Computational Discovery / edited by Lorenzo Magnani, Walter Carnielli, Claudio Pizzi. por Magnani, Lorenzo [editor.] \| Carnielli, Walter [editor.] \| Pizzi, Claudio [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 314Origen: 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: Q342.
		Human-Computer Interaction [recurso electrónico] : Second IFIP TC 13 Symposium, HCIS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Peter Forbrig, Fabio Paternó, Annelise Mark Pejtersen. por Forbrig, Peter [editor.] \| Paternó, Fabio [editor.] \| Mark Pejtersen, Annelise [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 332Origen: 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.76 .A65.
		Distributed, Parallel and Biologically Inspired Systems [recurso electrónico] : 7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, Marilyn Wolf. por Hinchey, Mike [editor.] \| Kleinjohann, Bernd [editor.] \| Kleinjohann, Lisa [editor.] \| Lindsay, Peter A [editor.] \| Rammig, Franz J [editor.] \| Timmis, Jon [editor.] \| Wolf, Marilyn [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 329Origen: 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.
		PRICAI 2010: Trends in Artificial Intelligence [recurso electrónico] : 11th Pacific Rim International Conference on Artificial Intelligence, Daegu, Korea, August 30–September 2, 2010. Proceedings / edited by Byoung-Tak Zhang, Mehmet A. Orgun. por Zhang, Byoung-Tak [editor.] \| Orgun, Mehmet A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6230Origen: 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.
		Database and Expert Systems Applications [recurso electrónico] : 21th International Conference, DEXA 2010, Bilbao, Spain, August 30 - September 3, 2010, Proceedings, Part II / edited by Pablo García Bringas, Abdelkader Hameurlain, Gerald Quirchmayr. por Bringas, Pablo García [editor.] \| Hameurlain, Abdelkader [editor.] \| Quirchmayr, Gerald [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6262Origen: 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.76 .A65.
		Information Routing, Correspondence Finding, and Object Recognition in the Brain [recurso electrónico] / by Philipp Wolfrum. por Wolfrum, Philipp [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 316Origen: 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: Q342.
		Knowledge Science, Engineering and Management [recurso electrónico] : 4th International Conference, KSEM 2010, Belfast, Northern Ireland, UK, September 1-3, 2010. Proceedings / edited by Yaxin Bi, Mary-Anne Williams. por Bi, Yaxin [editor.] \| Williams, Mary-Anne [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6291Origen: 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 .D343.
		Artificial Intelligence in Theory and Practice III [recurso electrónico] : Third IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Max Bramer. por Bramer, Max [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 331Origen: 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.
		Geographic Information Science [recurso electrónico] : 6th International Conference, GIScience 2010, Zurich, Switzerland, September 14-17, 2010. Proceedings / edited by Sara Irina Fabrikant, Tumasch Reichenbacher, Marc Kreveld, Christoph Schlieder. por Fabrikant, Sara Irina [editor.] \| Reichenbacher, Tumasch [editor.] \| Kreveld, Marc [editor.] \| Schlieder, Christoph [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6292Origen: 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.76 .A65.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Su búsqueda retornó 5913 resultados.