Su búsqueda retornó 484 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) .
		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.
		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 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 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) .
		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) .
		AIIA 2011: Artificial Intelligence Around Man and Beyond [recurso electrónico] : XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings / edited by Roberto Pirrone, Filippo Sorbello. por Pirrone, Roberto [editor.] \| Sorbello, Filippo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6934Origen: 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.
		AIIA 2016 Advances in Artificial Intelligence [recurso electrónico] : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 ? December 1, 2016, Proceedings / edited by Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea. por Adorni, Giovanni [editor.] \| Cagnoni, Stefano [editor.] \| Gori, Marco [editor.] \| Maratea, Marco [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10037Origen: 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) .
		AIIA 2018 - Advances in Artificial Intelligence [electronic resource] : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings / edited by Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso. por Ghidini, Chiara [editor.] \| Magnini, Bernardo [editor.] \| Passerini, Andrea [editor.] \| Traverso, Paolo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11298Edició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) .
		Algebra and Coalgebra in Computer Science [recurso electrónico] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. por Corradini, Andrea [editor.] \| Klin, Bartek [editor.] \| Cîrstea, Corina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6859Origen: 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.
		Algebraic Foundations in Computer Science [recurso electrónico] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. por Kuich, Werner [editor.] \| Rahonis, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7020Origen: 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.
		Algebraic Informatics [recurso electrónico] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings / edited by Franz Winkler. por Winkler, Franz [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6742Origen: 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.

		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) .
		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.
		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 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 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) .
		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) .
		AIIA 2011: Artificial Intelligence Around Man and Beyond [recurso electrónico] : XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings / edited by Roberto Pirrone, Filippo Sorbello. por Pirrone, Roberto [editor.] \| Sorbello, Filippo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6934Origen: 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.
		AIIA 2016 Advances in Artificial Intelligence [recurso electrónico] : XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 ? December 1, 2016, Proceedings / edited by Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea. por Adorni, Giovanni [editor.] \| Cagnoni, Stefano [editor.] \| Gori, Marco [editor.] \| Maratea, Marco [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10037Origen: 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) .
		AIIA 2018 - Advances in Artificial Intelligence [electronic resource] : XVIIth International Conference of the Italian Association for Artificial Intelligence, Trento, Italy, November 20-23, 2018, Proceedings / edited by Chiara Ghidini, Bernardo Magnini, Andrea Passerini, Paolo Traverso. por Ghidini, Chiara [editor.] \| Magnini, Bernardo [editor.] \| Passerini, Andrea [editor.] \| Traverso, Paolo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Artificial Intelligence ; 11298Edició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) .
		Algebra and Coalgebra in Computer Science [recurso electrónico] : 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings / edited by Andrea Corradini, Bartek Klin, Corina Cîrstea. por Corradini, Andrea [editor.] \| Klin, Bartek [editor.] \| Cîrstea, Corina [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6859Origen: 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.
		Algebraic Foundations in Computer Science [recurso electrónico] : Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement / edited by Werner Kuich, George Rahonis. por Kuich, Werner [editor.] \| Rahonis, George [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 7020Origen: 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.
		Algebraic Informatics [recurso electrónico] : 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings / edited by Franz Winkler. por Winkler, Franz [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6742Origen: 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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Series

Tópicos

Su búsqueda retornó 484 resultados.