Su búsqueda retornó 592 resultados. Suscribirse a esta búsqueda

|
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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA8.9 -QA10.3] (1).

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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA8.9 -QA10.3] (1).

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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 (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: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA241 -247.5] (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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA75.5 -76.95] (1).

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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.758] (1).

Advanced Lukasiewicz calculus and MV-algebras [recurso electrónico] / by D. Mundici.

por Mundici, D [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA8.9 -10.3] (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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.9 .A43] (1).

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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: Q334 -342] (1).

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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: TK7874.6] (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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.758] (1).

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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.758] (1).

AI*IA 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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: Q334 -342] (1).

AI*IA 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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 (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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.9 .L63] (1).

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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.9 .L63] (1).

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).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.9 .L63] (1).

Algebraic Methodology and Software Technology [recurso electrónico] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers / edited by Michael Johnson, Dusko Pavlovic.

por Johnson, Michael [editor.] | Pavlovic, Dusko [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.758] (1).

Algorithm Engineering [recurso electrónico] : Bridging the Gap between Algorithm Theory and Practice / edited by Matthias Müller-Hannemann, Stefan Schirra.

por Müller-Hannemann, Matthias [editor.] | Schirra, Stefan [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.9 .A43] (1).

Algorithm Theory - SWAT 2010 [recurso electrónico] : 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings / edited by Haim Kaplan.

por Kaplan, Haim [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: libro Libro; Formato: electrónico disponible en línea remoto; 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 [Signatura topográfica: QA76.9 .A43] (1).

Con tecnología Koha