Su búsqueda retornó 855 resultados.

Resultados
		A 25-Year Perspective on Logic Programming [recurso electrónico] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli. por Dovier, Agostino [editor.] \| Pontelli, Enrico [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6125Origen: 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: QA8.9 -QA10.3.
		Abstract State Machines, Alloy, B and Z [recurso electrónico] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. por Frappier, Marc [editor.] \| Glässer, Uwe [editor.] \| Khurshid, Sarfraz [editor.] \| Laleau, Régine [editor.] \| Reeves, Steve [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5977Origen: 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: QA8.9 -QA10.3.
		Abstract State Machines, Alloy, B, TLA, VDM, and Z [recurso electrónico] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro. por Butler, Michael [editor.] \| Schewe, Klaus-Dieter [editor.] \| Mashkoor, Atif [editor.] \| Biro, Miklos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9675Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl. por Butler, Michael [editor.] \| Raschke, Alexander [editor.] \| Hoang, Thai Son [editor.] \| Reichl, Klaus [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10817Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Sunita Chandrasekaran, Guido Juckeland. por Chandrasekaran, Sunita [editor.] \| Juckeland, Guido [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10732Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Additive Number Theory [recurso electrónico] : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson / edited by David Chudnovsky, Gregory Chudnovsky. por Chudnovsky, David [editor.] \| Chudnovsky, Gregory [editor.] \| SpringerLink (Online service). Edición: 1.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA241 -247.5.
		No hay imagen de cubierta disponible Advanced Computer Architecture [electronic resource] : 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / edited by Chao Li, Junjie Wu. por Li, Chao [editor.] \| Wu, Junjie [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 908Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II / edited by Ian F. C. Smith, Bernd Domer. por Smith, Ian F. C [editor.] \| Domer, Bernd [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10864Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advanced Language Technologies for Digital Libraries [recurso electrónico] : International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009 / edited by Raffaella Bernardi, Sally Chambers, Björn Gottfried, Frédérique Segond, Ilya Zaihrayeu. por Bernardi, Raffaella [editor.] \| Chambers, Sally [editor.] \| Gottfried, Björn [editor.] \| Segond, Frédérique [editor.] \| Zaihrayeu, Ilya [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6699Origen: 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.
		Advanced Lectures on Software Engineering [recurso electrónico] : LASER Summer School 2007/2008 / edited by Peter Müller. por Müller, Peter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6029Origen: 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.
		Advanced Lukasiewicz calculus and MV-algebras [recurso electrónico] / by D. Mundici. por Mundici, D [author.] \| SpringerLink (Online service). Series Trends in Logic ; 35Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.
		Advances in Computational Intelligence [electronic resource] : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II / edited by Félix Castro, Sabino Miranda-Jiménez, Miguel González-Mendoza. por Castro, Félix [editor.] \| Miranda-Jiménez, Sabino [editor.] \| González-Mendoza, Miguel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10633Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advances in Computer Games [recurso electrónico] : 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers / edited by H. Jaap Herik, Pieter Spronck. por Herik, H. Jaap [editor.] \| Spronck, Pieter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6048Origen: 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.
		Advances in Natural Language Processing [recurso electrónico] : 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 / edited by Hrafn Loftsson, Eiríkur Rögnvaldsson, Sigrún Helgadóttir. por Loftsson, Hrafn [editor.] \| Rögnvaldsson, Eiríkur [editor.] \| Helgadóttir, Sigrún [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6233Origen: 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.
		Advances in Power Electronics and Instrumentation Engineering [recurso electrónico] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath. por Das, Vinu V [editor.] \| Thankachan, Nessy [editor.] \| Debnath, Narayan C [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 148Origen: 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: TK7874.6.
		Advances in Soft Computing [electronic resource] : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I / edited by Félix Castro, Sabino Miranda-Jiménez, Miguel González-Mendoza. por Castro, Félix [editor.] \| Miranda-Jiménez, Sabino [editor.] \| González-Mendoza, Miguel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10632Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Agent-Oriented Software Engineering X [recurso electrónico] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz. por Gleizes, Marie-Pierre [editor.] \| Gomez-Sanz, Jorge J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6038Origen: 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.
		Agent-Oriented Software Engineering XI [recurso electrónico] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes. por Weyns, Danny [editor.] \| Gleizes, Marie-Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6788Origen: 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.
		Agents and Artificial Intelligence [electronic resource] : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe. por van den Herik, Jaap [editor.] \| Rocha, Ana Paula [editor.] \| Filipe, Joaquim [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10839Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		AI Approaches to the Complexity of Legal Systems [electronic resource] : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers / edited by Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata. por Pagallo, Ugo [editor.] \| Palmirani, Monica [editor.] \| Casanovas, Pompeu [editor.] \| Sartor, Giovanni [editor.] \| Villata, Serena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10791Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

		A 25-Year Perspective on Logic Programming [recurso electrónico] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli. por Dovier, Agostino [editor.] \| Pontelli, Enrico [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6125Origen: 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: QA8.9 -QA10.3.
		Abstract State Machines, Alloy, B and Z [recurso electrónico] : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings / edited by Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves. por Frappier, Marc [editor.] \| Glässer, Uwe [editor.] \| Khurshid, Sarfraz [editor.] \| Laleau, Régine [editor.] \| Reeves, Steve [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5977Origen: 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: QA8.9 -QA10.3.
		Abstract State Machines, Alloy, B, TLA, VDM, and Z [recurso electrónico] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro. por Butler, Michael [editor.] \| Schewe, Klaus-Dieter [editor.] \| Mashkoor, Atif [editor.] \| Biro, Miklos [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9675Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl. por Butler, Michael [editor.] \| Raschke, Alexander [editor.] \| Hoang, Thai Son [editor.] \| Reichl, Klaus [editor.] \| SpringerLink (Online service). Series Theoretical Computer Science and General Issues ; 10817Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Accelerator Programming Using Directives [electronic resource] : 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings / edited by Sunita Chandrasekaran, Guido Juckeland. por Chandrasekaran, Sunita [editor.] \| Juckeland, Guido [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10732Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Additive Number Theory [recurso electrónico] : Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson / edited by David Chudnovsky, Gregory Chudnovsky. por Chudnovsky, David [editor.] \| Chudnovsky, Gregory [editor.] \| SpringerLink (Online service). Edición: 1.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: New York, NY : Springer New York : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA241 -247.5.
		No hay imagen de cubierta disponible Advanced Computer Architecture [electronic resource] : 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / edited by Chao Li, Junjie Wu. por Li, Chao [editor.] \| Wu, Junjie [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 908Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advanced Computing Strategies for Engineering [electronic resource] : 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II / edited by Ian F. C. Smith, Bernd Domer. por Smith, Ian F. C [editor.] \| Domer, Bernd [editor.] \| SpringerLink (Online service). Series Information Systems and Applications, incl. Internet/Web, and HCI ; 10864Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advanced Language Technologies for Digital Libraries [recurso electrónico] : International Workshops on NLP4DL 2009, Viareggio, Italy, June 15, 2009 and AT4DL 2009, Trento, Italy, September 8, 2009 / edited by Raffaella Bernardi, Sally Chambers, Björn Gottfried, Frédérique Segond, Ilya Zaihrayeu. por Bernardi, Raffaella [editor.] \| Chambers, Sally [editor.] \| Gottfried, Björn [editor.] \| Segond, Frédérique [editor.] \| Zaihrayeu, Ilya [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6699Origen: 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.
		Advanced Lectures on Software Engineering [recurso electrónico] : LASER Summer School 2007/2008 / edited by Peter Müller. por Müller, Peter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6029Origen: 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.
		Advanced Lukasiewicz calculus and MV-algebras [recurso electrónico] / by D. Mundici. por Mundici, D [author.] \| SpringerLink (Online service). Series Trends in Logic ; 35Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Dordrecht : Springer Netherlands, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA8.9 -10.3.
		Advances in Computational Intelligence [electronic resource] : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part II / edited by Félix Castro, Sabino Miranda-Jiménez, Miguel González-Mendoza. por Castro, Félix [editor.] \| Miranda-Jiménez, Sabino [editor.] \| González-Mendoza, Miguel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10633Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Advances in Computer Games [recurso electrónico] : 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers / edited by H. Jaap Herik, Pieter Spronck. por Herik, H. Jaap [editor.] \| Spronck, Pieter [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6048Origen: 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.
		Advances in Natural Language Processing [recurso electrónico] : 7th International Conference on NLP, IceTAL 2010, Reykjavik, Iceland, August 16-18, 2010 / edited by Hrafn Loftsson, Eiríkur Rögnvaldsson, Sigrún Helgadóttir. por Loftsson, Hrafn [editor.] \| Rögnvaldsson, Eiríkur [editor.] \| Helgadóttir, Sigrún [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6233Origen: 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.
		Advances in Power Electronics and Instrumentation Engineering [recurso electrónico] : Second International Conference, PEIE 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Nessy Thankachan, Narayan C. Debnath. por Das, Vinu V [editor.] \| Thankachan, Nessy [editor.] \| Debnath, Narayan C [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 148Origen: 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: TK7874.6.
		Advances in Soft Computing [electronic resource] : 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, Enseneda, Mexico, October 23-28, 2017, Proceedings, Part I / edited by Félix Castro, Sabino Miranda-Jiménez, Miguel González-Mendoza. por Castro, Félix [editor.] \| Miranda-Jiménez, Sabino [editor.] \| González-Mendoza, Miguel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10632Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Agent-Oriented Software Engineering X [recurso electrónico] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz. por Gleizes, Marie-Pierre [editor.] \| Gomez-Sanz, Jorge J [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6038Origen: 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.
		Agent-Oriented Software Engineering XI [recurso electrónico] : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010, Revised Selected Papers / edited by Danny Weyns, Marie-Pierre Gleizes. por Weyns, Danny [editor.] \| Gleizes, Marie-Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6788Origen: 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.
		Agents and Artificial Intelligence [electronic resource] : 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, Revised Selected Papers / edited by Jaap van den Herik, Ana Paula Rocha, Joaquim Filipe. por van den Herik, Jaap [editor.] \| Rocha, Ana Paula [editor.] \| Filipe, Joaquim [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10839Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		AI Approaches to the Complexity of Legal Systems [electronic resource] : AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers / edited by Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata. por Pagallo, Ugo [editor.] \| Palmirani, Monica [editor.] \| Casanovas, Pompeu [editor.] \| Sartor, Giovanni [editor.] \| Villata, Serena [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 10791Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Títulos

Su búsqueda retornó 855 resultados.