Refinar su búsqueda

Su búsqueda retornó 2654 resultados.

Ordenar
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 Texto; 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 Not for loan (1) Signatura topográfica: QA8.9 -QA10.3.

3D Research Challenges in Cultural Heritage II [recurso electrónico] : How to Manage Data and Knowledge Related to Interpretative Digital 3D Reconstructions of Cultural Heritage / edited by Sander Münster, Mieke Pfarr-Harfst, Piotr Kuroczy?ski, Marinos Ioannides.

por Münster, Sander [editor.] | Pfarr-Harfst, Mieke [editor.] | Kuroczy?ski, Piotr [editor.] | Ioannides, Marinos [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 10025Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (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).

Series Lecture Notes in Computer Science ; 5977Origen: Springer eBooksTipo de material: Texto Texto; 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 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 Texto; 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 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 Texto; Formato: electrónico disponible en línea remoto; 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) .

Active Media Technology [recurso electrónico] : 6th International Conference, AMT 2010, Toronto, Canada, August 28-30, 2010. Proceedings / edited by Aijun An, Pawan Lingras, Sheila Petty, Runhe Huang.

por An, Aijun [editor.] | Lingras, Pawan [editor.] | Petty, Sheila [editor.] | Huang, Runhe [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6335Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: QA76.76 .A65.

Active Media Technology [recurso electrónico] : 7th International Conference, AMT 2011, Lanzhou, China, September 7-9, 2011. Proceedings / edited by Ning Zhong, Vic Callaghan, Ali A. Ghorbani, Bin Hu.

por Zhong, Ning [editor.] | Callaghan, Vic [editor.] | Ghorbani, Ali A [editor.] | Hu, Bin [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6890Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: QA76.76 .A65.

Ad-Hoc, Mobile and Wireless Networks [recurso electrónico] : 9th International Conference, ADHOC-NOW 2010, Edmonton, AB, Canada, August 20-22, 2010. Proceedings / edited by Ioanis Nikolaidis, Kui Wu.

por Nikolaidis, Ioanis [editor.] | Wu, Kui [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6288Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.

Ad-hoc, Mobile, and Wireless Networks [recurso electrónico] : 10th International Conference, ADHOC-NOW 2011, Paderborn, Germany, July 18-20, 2011. Proceedings / edited by Hannes Frey, Xu Li, Stefan Ruehrup.

por Frey, Hannes [editor.] | Li, Xu [editor.] | Ruehrup, Stefan [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6811Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: TK5105.5 -5105.9.

Ad-hoc, Mobile, and Wireless Networks [recurso electrónico] : 15th International Conference, ADHOC-NOW 2016, Lille, France, July 4-6, 2016, Proceedings / edited by Nathalie Mitton, Valeria Loscri, Alexandre Mouradian.

por Mitton, Nathalie [editor.] | Loscri, Valeria [editor.] | Mouradian, Alexandre [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9724Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) .

Adaptive and Adaptable Learning [recurso electrónico] : 11th European Conference on Technology Enhanced Learning, EC-TEL 2016, Lyon, France, September 13-16, 2016, Proceedings / edited by Katrien Verbert, Mike Sharples, Toma? Klobu?ar.

por Verbert, Katrien [editor.] | Sharples, Mike [editor.] | Klobu?ar, Toma? [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9891Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) .

Adaptive and Intelligent Systems [recurso electrónico] : Second International Conference, ICAIS 2011, Klagenfurt, Austria, September 6-8, 2011. Proceedings / edited by Abdelhamid Bouchachia.

por Bouchachia, Abdelhamid [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6943Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: Q334 -342.

Adaptive and Learning Agents [recurso electrónico] : Second Workshop, ALA 2009, Held as Part of the AAMAS 2009 Conference in Budapest, Hungary, May 12, 2009. Revised Selected Papers / edited by Matthew E. Taylor, Karl Tuyls.

por Taylor, Matthew E [editor.] | Tuyls, Karl [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 5924Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: Q334 -342.

Adaptive and Natural Computing Algorithms [recurso electrónico] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part II / edited by Andrej Dobnikar, Uroš Lotric, Branko Šter.

por Dobnikar, Andrej [editor.] | Lotric, Uroš [editor.] | Šter, Branko [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6594Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: QA75.5 -76.95.

Adaptive and Natural Computing Algorithms [recurso electrónico] : 10th International Conference, ICANNGA 2011, Ljubljana, Slovenia, April 14-16, 2011, Proceedings, Part I / edited by Andrej Dobnikar, Uroš Lotric, Branko Šter.

por Dobnikar, Andrej [editor.] | Lotric, Uroš [editor.] | Šter, Branko [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6593Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: QA75.5 -76.95.

Adaptive Instructional Systems [electronic resource] : 5th International Conference, AIS 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings / edited by Robert A. Sottilare, Jessica Schwarz.

por Sottilare, Robert A [editor.] | Schwarz, Jessica [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14044Edición: 1st ed. 2023.Origen: Springer Nature eBookTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: Cham : Springer Nature Switzerland : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Adaptive Multimedia Retrieval. Context, Exploration, and Fusion [recurso electrónico] : 8th International Workshop, AMR 2010, Linz, Austria, August 17-18, 2010, Revised Selected Papers / edited by Marcin Detyniecki, Peter Knees, Andreas Nürnberger, Markus Schedl, Sebastian Stober.

por Detyniecki, Marcin [editor.] | Knees, Peter [editor.] | Nürnberger, Andreas [editor.] | Schedl, Markus [editor.] | Stober, Sebastian [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6817Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: QA76.76 .A65.

Adaptive Multimedia Retrieval. Identifying, Summarizing, and Recommending Image and Music [recurso electrónico] : 6th International Workshop, AMR 2008, Berlin, Germany, June 26-27, 2008. Revised Selected Papers / edited by Marcin Detyniecki, Ulrich Leiner, Andreas Nürnberger.

por Detyniecki, Marcin [editor.] | Leiner, Ulrich [editor.] | Nürnberger, Andreas [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 5811Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: QA76.76 .A65.

Adaptive Multimedia Retrieval. Understanding Media and Adapting to the User [recurso electrónico] : 7th International Workshop, AMR 2009, Madrid, Spain, September 24-25, 2009, Revised Selected Papers / edited by Marcin Detyniecki, Ana García-Serrano, Andreas Nürnberger.

por Detyniecki, Marcin [editor.] | García-Serrano, Ana [editor.] | Nürnberger, Andreas [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6535Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) Signatura topográfica: QA76.76 .A65.

Advanced Analysis and Learning on Temporal Data [recurso electrónico] : First ECML PKDD Workshop, AALTD 2015, Porto, Portugal, September 11, 2015, Revised Selected Papers / edited by Ahlame Douzal-Chouakria, José A. Vilar, Pierre-François Marteau.

por Douzal-Chouakria, Ahlame [editor.] | Vilar, José A [editor.] | Marteau, Pierre-François [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9785Origen: Springer eBooksTipo de material: Texto Texto; 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 Not for loan (1) .

Páginas

Con tecnología Koha