Su búsqueda retornó 606 resultados.

|
1.
A Pipelined Multi-core MIPS Machine [electronic resource] : Hardware Implementation and Correctness Proof / by Mikhail Kovalev, Silvia M. Müller, Wolfgang J. Paul.

por Kovalev, Mikhail [author.] | Müller, Silvia M [author.] | Paul, Wolfgang J [author.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

2.
Distributed, Ambient, and Pervasive Interactions [electronic resource] : Second International Conference, DAPI 2014, Held as Part of HCI Interational 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings / edited by Norbert Streitz, Panos Markopoulos.

por Streitz, Norbert [editor.] | Markopoulos, Panos [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

3.
Design, User Experience, and Usability. User Experience Design for Everyday Life Applications and Services [electronic resource] : Third International Conference, DUXU 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014, Proceedings, Part III / edited by Aaron Marcus.

por Marcus, Aaron [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

4.
Advanced Information Systems Engineering [electronic resource] : 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings / edited by Matthias Jarke, John Mylopoulos, Christoph Quix, Colette Rolland, Yannis Manolopoulos, Haralambos Mouratidis, Jennifer Horkoff.

por Jarke, Matthias [editor.] | Mylopoulos, John [editor.] | Quix, Christoph [editor.] | Rolland, Colette [editor.] | Manolopoulos, Yannis [editor.] | Mouratidis, Haralambos [editor.] | Horkoff, Jennifer [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

5.
Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management [electronic resource] : 5th International Conference, DHM 2014, Held as Part of HCI International 2014, Heraklion, Crete, Greece, June 22-27, 2014. Proceedings / edited by Vincent G. Duffy.

por Duffy, Vincent G [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

6.
Combinatorial Pattern Matching [electronic resource] : 25th Annual Symposium, CPM 2014, Moscow, Russia, June 16-18, 2014. Proceedings / edited by Alexander S. Kulikov, Sergei O. Kuznetsov, Pavel Pevzner.

por Kulikov, Alexander S [editor.] | Kuznetsov, Sergei O [editor.] | Pevzner, Pavel [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

7.
Algorithms for Computational Biology [electronic resource] : First International Conference, AlCoB 2014, Tarragona, Spain, July 1-3, 2014, Proceedigns / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.

por Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

8.
Approximation and Online Algorithms [electronic resource] : 11th International Workshop, WAOA 2013, Sophia Antipolis, France, September 5-6, 2013, Revised Selected Papers / edited by Christos Kaklamanis, Kirk Pruhs.

por Kaklamanis, Christos [editor.] | Pruhs, Kirk [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

9.
Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 21st International Conference, ASMTA 2014, Budapest, Hungary, June 30 – July 2, 2014. Proceedings / edited by Bruno Sericola, Miklós Telek, Gábor Horváth.

por Sericola, Bruno [editor.] | Telek, Miklós [editor.] | Horváth, Gábor [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

10.
Biomedical Image Registration [electronic resource] : 6th International Workshop, WBIR 2014, London, UK, July 7-8, 2014. Proceedings / edited by Sébastien Ourselin, Marc Modat.

por Ourselin, Sébastien [editor.] | Modat, Marc [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

11.
Rough Sets and Intelligent Systems Paradigms [electronic resource] : Second International Conference, RSEISP 2014, Held as Part of JRS 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings / edited by Marzena Kryszkiewicz, Chris Cornelis, Davide Ciucci, Jesús Medina-Moreno, Hiroshi Motoda, Zbigniew W. Raś.

por Kryszkiewicz, Marzena [editor.] | Cornelis, Chris [editor.] | Ciucci, Davide [editor.] | Medina-Moreno, Jesús [editor.] | Motoda, Hiroshi [editor.] | Raś, Zbigniew W [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

12.
Computer Aided Verification [electronic resource] : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings / edited by Armin Biere, Roderick Bloem.

por Biere, Armin [editor.] | Bloem, Roderick [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

13.
Hybrid Learning. Theory and Practice [electronic resource] : 7th International Conference, ICHL 2014, Shanghai, China, August 8-10, 2014. Proceedings / edited by Simon K. S. Cheung, Joseph Fong, Jiping Zhang, Reggie Kwan, Lam For Kwok.

por Cheung, Simon K. S [editor.] | Fong, Joseph [editor.] | Zhang, Jiping [editor.] | Kwan, Reggie [editor.] | Kwok, Lam For [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

14.
Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings / edited by Martina Seidl, Nikolai Tillmann.

por Seidl, Martina [editor.] | Tillmann, Nikolai [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

15.
Graph Transformation [electronic resource] : 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings / edited by Holger Giese, Barbara König.

por Giese, Holger [editor.] | König, Barbara [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

16.
Pattern Recognition in Bioinformatics [electronic resource] : 9th IAPR International Conference, PRIB 2014, Stockholm, Sweden, August 21-23, 2014. Proceedings / edited by Matteo Comin, Lukas Käll, Elena Marchiori, Alioune Ngom, Jagath Rajapakse.

por Comin, Matteo [editor.] | Käll, Lukas [editor.] | Marchiori, Elena [editor.] | Ngom, Alioune [editor.] | Rajapakse, Jagath [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

17.
Artificial General Intelligence [electronic resource] : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014. Proceedings / edited by Ben Goertzel, Laurent Orseau, Javier Snaider.

por Goertzel, Ben [editor.] | Orseau, Laurent [editor.] | Snaider, Javier [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

18.
Descriptional Complexity of Formal Systems [electronic resource] : 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings / edited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin.

por Jürgensen, Helmut [editor.] | Karhumäki, Juhani [editor.] | Okhotin, Alexander [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

19.
Linked Open Data -- Creating Knowledge Out of Interlinked Data [electronic resource] : Results of the LOD2 Project / edited by Sören Auer, Volha Bryl, Sebastian Tramp.

por Auer, Sören [editor.] | Bryl, Volha [editor.] | Tramp, Sebastian [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :

20.
Database and Expert Systems Applications [electronic resource] : 25th International Conference, DEXA 2014, Munich, Germany, September 1-4, 2014. Proceedings, Part II / edited by Hendrik Decker, Lenka Lhotská, Sebastian Link, Marcus Spies, Roland R. Wagner.

por Decker, Hendrik [editor.] | Lhotská, Lenka [editor.] | Link, Sebastian [editor.] | Spies, Marcus [editor.] | Wagner, Roland R [editor.] | SpringerLink (Online service).

Origen: Springer eBooksTipo de material: Texto Texto; Formato: electrónico ; Forma literaria: No es ficción Idioma: Español Acceso en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles :