Su búsqueda retornó 4961 resultados.

¿No encontró lo que esperaba? Pruebe buscando sugerencias
Ordenar
De-resaltar Resaltar
Seleccionar todo Limpiar todo
Seleccionar títulos para:
Resultados
1.
Modular Algorithms in Symbolic Summation and Symbolic Integration [electronic resource] / by Jȭrgen Gerhard. por Series Lecture Notes in Computer Science ; 3218 | Lecture Notes in Computer Science ; 3218
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
2.
A Hybrid Deliberative Layer for Robotic Agents [electronic resource] : Fusing DL Reasoning with HTN Planning in Autonomous Robots / by Ronny Hartanto. por Series Lecture Notes in Computer Science ; 6798 | Lecture Notes in Computer Science ; 6798
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
3.
VOCUS: A Visual Attention System for Object Detection and Goal-Directed Search [electronic resource] / by Simone Frintrop. por Series Lecture Notes in Computer Science ; 3899 | Lecture Notes in Computer Science ; 3899
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
4.
Pedagogically Founded Courseware Generation for Web-Based Learning [electronic resource] : An HTN-Planning-Based Approach Implemented in PAIGOS / by Carsten Ullrich. por Series Lecture Notes in Computer Science ; 5260 | Lecture Notes in Computer Science ; 5260
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
5.
Cooperative Bug Isolation [electronic resource] : Winning Thesis of the 2005 ACM Doctoral Dissertation Competition / by Ben Liblit. por Series Lecture Notes in Computer Science ; 4440 | Lecture Notes in Computer Science ; 4440
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
6.
The Language of Mathematics [electronic resource] : A Linguistic and Philosophical Investigation / by Mohan Ganesalingam. por Series Lecture Notes in Computer Science ; 7805 | Lecture Notes in Computer Science ; 7805
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
7.
Ada 2012 Rationale [electronic resource] : The Language, The Standard Libraries / by John Barnes. por Series Lecture Notes in Computer Science ; 8338 | Lecture Notes in Computer Science ; 8338
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
8.
OMDoc An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy / by Michael Kohlhase. por Series Lecture Notes in Computer Science ; 4180 | Lecture Notes in Computer Science ; 4180
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
9.
Understanding Planning Tasks [electronic resource] : Domain Complexity and Heuristic Decomposition / by Malte Helmert. por Series Lecture Notes in Computer Science ; 4929 | Lecture Notes in Computer Science ; 4929
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
10.
Programming Languages and Systems [electronic resource] : 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings / edited by Zhenjiang Hu. por Series Lecture Notes in Computer Science ; 5904 | Lecture Notes in Computer Science ; 5904
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
11.
12.
13.
14.
Theory of Cryptography [electronic resource] : Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings / edited by Joe Kilian. por Series Lecture Notes in Computer Science ; 3378 | Lecture Notes in Computer Science ; 3378
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
15.
16.
Experimental Algorithms [electronic resource] : 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings / edited by Jan Vahrenhold. por Series Lecture Notes in Computer Science ; 5526 | Lecture Notes in Computer Science ; 5526
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
17.
Journal on Data Semantics XV [electronic resource] / edited by Stefano Spaccapietra. por Series Lecture Notes in Computer Science ; 6720 | Lecture Notes in Computer Science ; 6720
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
18.
Structured Object-Oriented Formal Language and Method [electronic resource] : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers / edited by Shaoying Liu. por Series Lecture Notes in Computer Science ; 7787 | Lecture Notes in Computer Science ; 7787
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
19.
Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 13th Industrial Conference, ICDM 2013, New York, NY, USA, July 16-21, 2013. Proceedings / edited by Petra Perner. por Series Lecture Notes in Computer Science ; 7987 | Lecture Notes in Computer Science ; 7987
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
20.
Computing and Combinatorics [electronic resource] : 11th Annual International Conference, COCOON 2005, Kunming, China, August 16-29, 2005. Proceedings / edited by Lusheng Wang. por Series Lecture Notes in Computer Science ; 3595 | Lecture Notes in Computer Science ; 3595
Tipo de material: Texto Texto; Formato: electrónico disponible en línea remoto; Forma literaria: No es ficción
Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Springer eBooks
Acceso en línea:
Disponibilidad: No hay ítems disponibles.

Agregar al carrito
Páginas