Su búsqueda retornó 18176 resultados.

Resultados
		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.
		The Future of Software Engineering [recurso electrónico] / edited by Sebastian Nanz. por Nanz, Sebastian [editor.] \| SpringerLink (Online service). Origen: 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.
		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.
		Diversity and Biotechnology of Ectomycorrhizae [recurso electrónico] / edited by Mahendra Rai, Ajit Varma. por Rai, Mahendra [editor.] \| Varma, Ajit [editor.] \| SpringerLink (Online service). Series Soil Biology ; 25Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: S1 -S972.
		History of Computing. Learning from the Past [recurso electrónico] : IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Arthur Tatnall. por Tatnall, Arthur [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 325Origen: 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.17.
		Mean Field Models for Spin Glasses [recurso electrónico] : Volume I: Basic Examples / by Michel Talagrand. por Talagrand, Michel [author.] \| SpringerLink (Online service). Series Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics ; 54Origen: 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: QA273 .A1-274.9.
		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.
		Cultural Computing [recurso electrónico] : Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Ryohei Nakatsu, Naoko Tosa, Fazel Naghdy, Kok Wai Wong, Philippe Codognet. por Nakatsu, Ryohei [editor.] \| Tosa, Naoko [editor.] \| Naghdy, Fazel [editor.] \| Wong, Kok Wai [editor.] \| Codognet, Philippe [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 333Origen: 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 .U83.
		Séminaire de Probabilités XLIII [recurso electrónico] / edited by Catherine Donati-Martin, Antoine Lejay, Alain Rouault. por Donati-Martin, Catherine [editor.] \| Lejay, Antoine [editor.] \| Rouault, Alain [editor.] \| SpringerLink (Online service). Series Lecture Notes in Mathematics ; 2006Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA273 .A1-274.9.
		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.
		Verification and Validation in Systems Engineering [recurso electrónico] : Assessing UML/SysML Design Models / by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh. por Debbabi, Mourad [author.] \| Hassaïne, Fawzi [author.] \| Jarraya, Yosr [author.] \| Soeanu, Andrei [author.] \| Alawneh, Luay [author.] \| SpringerLink (Online service). Origen: 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.
		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.
		Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [recurso electrónico] : AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers / edited by Wolfgang Ketter, Han Poutré, Norman Sadeh, Onn Shehory, William Walsh. por Ketter, Wolfgang [editor.] \| Poutré, Han [editor.] \| Sadeh, Norman [editor.] \| Shehory, Onn [editor.] \| Walsh, William [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 44Origen: 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: HF5415.1265.
		Theoretical Computer Science [recurso electrónico] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Cristian S. Calude, Vladimiro Sassone. por Calude, Cristian S [editor.] \| Sassone, Vladimiro [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 323Origen: 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.
		Modeling Risk Management in Sustainable Construction [recurso electrónico] / edited by Desheng Dash Wu. por Wu, Desheng Dash [editor.] \| SpringerLink (Online service). Series Computational Risk ManagementOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: HD30.23.
		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.

		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.
		The Future of Software Engineering [recurso electrónico] / edited by Sebastian Nanz. por Nanz, Sebastian [editor.] \| SpringerLink (Online service). Origen: 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.
		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.
		Diversity and Biotechnology of Ectomycorrhizae [recurso electrónico] / edited by Mahendra Rai, Ajit Varma. por Rai, Mahendra [editor.] \| Varma, Ajit [editor.] \| SpringerLink (Online service). Series Soil Biology ; 25Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: S1 -S972.
		History of Computing. Learning from the Past [recurso electrónico] : IFIP WG 9.7 International Conference, HC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Arthur Tatnall. por Tatnall, Arthur [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 325Origen: 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.17.
		Mean Field Models for Spin Glasses [recurso electrónico] : Volume I: Basic Examples / by Michel Talagrand. por Talagrand, Michel [author.] \| SpringerLink (Online service). Series Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics ; 54Origen: 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: QA273 .A1-274.9.
		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.
		Cultural Computing [recurso electrónico] : Second IFIP TC 14 Entertainment Computing Symposium, ECS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Ryohei Nakatsu, Naoko Tosa, Fazel Naghdy, Kok Wai Wong, Philippe Codognet. por Nakatsu, Ryohei [editor.] \| Tosa, Naoko [editor.] \| Naghdy, Fazel [editor.] \| Wong, Kok Wai [editor.] \| Codognet, Philippe [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 333Origen: 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 .U83.
		Séminaire de Probabilités XLIII [recurso electrónico] / edited by Catherine Donati-Martin, Antoine Lejay, Alain Rouault. por Donati-Martin, Catherine [editor.] \| Lejay, Antoine [editor.] \| Rouault, Alain [editor.] \| SpringerLink (Online service). Series Lecture Notes in Mathematics ; 2006Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA273 .A1-274.9.
		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.
		Verification and Validation in Systems Engineering [recurso electrónico] : Assessing UML/SysML Design Models / by Mourad Debbabi, Fawzi Hassaïne, Yosr Jarraya, Andrei Soeanu, Luay Alawneh. por Debbabi, Mourad [author.] \| Hassaïne, Fawzi [author.] \| Jarraya, Yosr [author.] \| Soeanu, Andrei [author.] \| Alawneh, Luay [author.] \| SpringerLink (Online service). Origen: 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.
		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.
		Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis [recurso electrónico] : AAMAS Workshop, AMEC 2008, Estoril, Portugal, May 12-16, 2008, and AAAI Workshop, TADA 2008, Chicago, IL, USA, July 14, 2008, Revised Selected Papers / edited by Wolfgang Ketter, Han Poutré, Norman Sadeh, Onn Shehory, William Walsh. por Ketter, Wolfgang [editor.] \| Poutré, Han [editor.] \| Sadeh, Norman [editor.] \| Shehory, Onn [editor.] \| Walsh, William [editor.] \| SpringerLink (Online service). Series Lecture Notes in Business Information Processing ; 44Origen: 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: HF5415.1265.
		Theoretical Computer Science [recurso electrónico] : 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings / edited by Cristian S. Calude, Vladimiro Sassone. por Calude, Cristian S [editor.] \| Sassone, Vladimiro [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 323Origen: 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.
		Modeling Risk Management in Sustainable Construction [recurso electrónico] / edited by Desheng Dash Wu. por Wu, Desheng Dash [editor.] \| SpringerLink (Online service). Series Computational Risk ManagementOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: HD30.23.
		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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Títulos

Su búsqueda retornó 18176 resultados.