Refinar su búsqueda

Su búsqueda retornó 555 resultados.

Ordenar
Resultados
Geospatial Abduction [recurso electrónico] : Principles and Practice / by Paulo Shakarian, V. S. Subrahmanian.

por Shakarian, Paulo [author.] | Subrahmanian, V. S [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción Editor: New York, NY : Springer New York, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q334 -342.

Grammatical Inference: Theoretical Results and Applications [recurso electrónico] : 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings / edited by José M. Sempere, Pedro García.

por Sempere, José M [editor.] | García, Pedro [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6339Origen: 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.

Graph-Based Representation and Reasoning [electronic resource] : 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings / edited by Manuel Ojeda-Aciego, Kai Sauerwald, Robert Jäschke.

por Ojeda-Aciego, Manuel [editor.] | Sauerwald, Kai [editor.] | Jäschke, Robert [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial IntelligenceEdició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) .

Graph Drawing and Network Visualization [electronic resource] : 30th International Symposium, GD 2022, Tokyo, Japan, September 13-16, 2022, Revised Selected Papers / edited by Patrizio Angelini, Reinhard von Hanxleden.

por Angelini, Patrizio [editor.] | von Hanxleden, Reinhard [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 13764Edició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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Graph Drawing and Network Visualization [electronic resource] : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part II / edited by Michael A. Bekos, Markus Chimani.

por Bekos, Michael A [editor.] | Chimani, Markus [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14466Edició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) .

Graph Drawing and Network Visualization [electronic resource] : 31st International Symposium, GD 2023, Isola delle Femmine, Palermo, Italy, September 20-22, 2023, Revised Selected Papers, Part I / edited by Michael A. Bekos, Markus Chimani.

por Bekos, Michael A [editor.] | Chimani, Markus [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 14465Edició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) .

Grid and Distributed Computing, Control and Automation [recurso electrónico] : International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings / edited by Tai-hoon Kim, Stephen S. Yau, Osvaldo Gervasi, Byeong-Ho Kang, Adrian Stoica, Dominik Slezak.

por Kim, Tai-hoon [editor.] | Yau, Stephen S [editor.] | Gervasi, Osvaldo [editor.] | Kang, Byeong-Ho [editor.] | Stoica, Adrian [editor.] | Slezak, Dominik [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 121Origen: 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.

Handbook of Model Checking [electronic resource] / edited by Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem.

por Clarke, Edmund M [editor.] | Henzinger, Thomas A [editor.] | Veith, Helmut [editor.] | Bloem, Roderick [editor.] | SpringerLink (Online service).

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

Handbook of Parallel Constraint Reasoning [electronic resource] / edited by Youssef Hamadi, Lakhdar Sais.

por Hamadi, Youssef [editor.] | Sais, Lakhdar [editor.] | SpringerLink (Online service).

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

High Performance Computing [recurso electrónico] : 31st International Conference, ISC High Performance 2016, Frankfurt, Germany, June 19-23, 2016, Proceedings / edited by Julian M. Kunkel, Pavan Balaji, Jack Dongarra.

por Kunkel, Julian M [editor.] | Balaji, Pavan [editor.] | Dongarra, Jack [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9697Origen: 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) .

High Performance Computing [recurso electrónico] : ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19?23, 2016, Revised Selected Papers / edited by Michela Taufer, Bernd Mohr, Julian M. Kunkel.

por Taufer, Michela [editor.] | Mohr, Bernd [editor.] | Kunkel, Julian M [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 9945Origen: 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) .

High Performance Computing for Computational Science – VECPAR 2010 [recurso electrónico] : 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers / edited by José M. Laginha M. Palma, Michel Daydé, Osni Marques, João Correia Lopes.

por Palma, José M. Laginha M [editor.] | Daydé, Michel [editor.] | Marques, Osni [editor.] | Lopes, João Correia [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6449Origen: 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.758.

High Performance Networking, Computing, and Communication Systems [recurso electrónico] : Second International Conference, ICHCC 2011, Singapore, May 5-6, 2011. Selected Papers / edited by Yanwen Wu.

por Wu, Yanwen [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 163Origen: 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.

High Performance Networking, Computing, Communication Systems, and Mathematical Foundations [recurso electrónico] : International Conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009. Proceedings / edited by Yanwen Wu, Qi Luo.

por Wu, Yanwen [editor.] | Luo, Qi [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 66Origen: 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.

Higher Education Computer Science [electronic resource] : A Manual of Practical Approaches / edited by Jenny Carter, Michael O'Grady, Clive Rosen.

por Carter, Jenny [editor.] | O'Grady, Michael [editor.] | Rosen, Clive [editor.] | SpringerLink (Online service).

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

Higher Education Computer Science [electronic resource] : A Manual of Practical Approaches / edited by Jenny Carter, Michael O'Grady, Clive Rosen.

por Carter, Jenny [editor.] | O'Grady, Michael [editor.] | Rosen, Clive [editor.] | SpringerLink (Online service).

Edición: 2nd 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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

History and Philosophy of Computing [recurso electrónico] : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / edited by Fabio Gadducci, Mirko Tavosanis.

por Gadducci, Fabio [editor.] | Tavosanis, Mirko [editor.] | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology ; 487Origen: 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) .

Human Benefit through the Diffusion of Information Systems Design Science Research [recurso electrónico] : IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings / edited by Jan Pries-Heje, John Venable, Deborah Bunker, Nancy L. Russo, Janice I. DeGross.

por Pries-Heje, Jan [editor.] | Venable, John [editor.] | Bunker, Deborah [editor.] | Russo, Nancy L [editor.] | DeGross, Janice I [editor.] | SpringerLink (Online service).

Series IFIP Advances in Information and Communication Technology ; 318Origen: 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: QA75.5 -76.95.

Human-Centered Artificial Intelligence [electronic resource] : Advanced Lectures / edited by Mohamed Chetouani, Virginia Dignum, Paul Lukowicz, Carles Sierra.

por Chetouani, Mohamed [editor.] | Dignum, Virginia [editor.] | Lukowicz, Paul [editor.] | Sierra, Carles [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 13500Edició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 International Publishing : Imprint: Springer, 2023Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Human-Robot Personal Relationships [recurso electrónico] : Third International Conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010, Revised Selected Papers / edited by Maarten H. Lamers, Fons J. Verbeek.

por Lamers, Maarten H [editor.] | Verbeek, Fons J [editor.] | SpringerLink (Online service).

Series Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 59Origen: 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.

Páginas

Con tecnología Koha