Refinar su búsqueda

Su búsqueda retornó 18176 resultados.

Ordenar
Resultados
Computational Intelligence for Knowledge-Based Systems Design [recurso electrónico] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann.

por Hüllermeier, Eyke [editor.] | Kruse, Rudolf [editor.] | Hoffmann, Frank [editor.] | SpringerLink (Online service).

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

Interactive Theorem Proving [recurso electrónico] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Matt Kaufmann, Lawrence C. Paulson.

por Kaufmann, Matt [editor.] | Paulson, Lawrence C [editor.] | SpringerLink (Online service).

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods [recurso electrónico] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann.

por Hüllermeier, Eyke [editor.] | Kruse, Rudolf [editor.] | Hoffmann, Frank [editor.] | SpringerLink (Online service).

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Applications [recurso electrónico] : 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part II / edited by Eyke Hüllermeier, Rudolf Kruse, Frank Hoffmann.

por Hüllermeier, Eyke [editor.] | Kruse, Rudolf [editor.] | Hoffmann, Frank [editor.] | SpringerLink (Online service).

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

Articulated Motion and Deformable Objects [recurso electrónico] : 6th International Conference, AMDO 2010, Port d’Andratx, Mallorca, Spain, July 7-9, 2010. Proceedings / edited by Francisco J. Perales, Robert B. Fisher.

por Perales, Francisco J [editor.] | Fisher, Robert B [editor.] | SpringerLink (Online service).

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

Haptics: Generating and Perceiving Tangible Sensations [recurso electrónico] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings, Part I / edited by Astrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm.

por Kappers, Astrid M. L [editor.] | Erp, Jan B. F [editor.] | Bergmann Tiest, Wouter M [editor.] | Helm, Frans C. T [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6191Origen: 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 : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .U83.

The Gaussian Approximation Potential [recurso electrónico] : An Interatomic Potential Derived from First Principles Quantum Mechanics / by Albert Bart?k-Pártay.

por Bart?k-Pártay, Albert [author.] | SpringerLink (Online service).

Series Springer Theses, Recognizing Outstanding Ph.D. ResearchOrigen: 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 : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QC176 -176.9.

Measurement of the Top Quark Mass in the Dilepton Final State Using the Matrix Element Method [recurso electrónico] / by Alexander Grohsjean.

por Grohsjean, Alexander [author.] | SpringerLink (Online service).

Series Springer Theses, Recognizing Outstanding Ph.D. ResearchOrigen: 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 : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QC770 -798.

Haptics: Generating and Perceiving Tangible Sensations [recurso electrónico] : International Conference, EuroHaptics 2010, Amsterdam, July 8-10, 2010. Proceedings / edited by Astrid M. L. Kappers, Jan B. F. Erp, Wouter M. Bergmann Tiest, Frans C. T. Helm.

por Kappers, Astrid M. L [editor.] | Erp, Jan B. F [editor.] | Bergmann Tiest, Wouter M [editor.] | Helm, Frans C. T [editor.] | SpringerLink (Online service).

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

Successful Case-based Reasoning Applications - I [recurso electrónico] / edited by Stefania Montani, Lakhmi C. Jain.

por Montani, Stefania [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

Series Studies in Computational Intelligence ; 305Origen: 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: Q342.

Information Security and Privacy [recurso electrónico] : 15th Australasian Conference, ACISP 2010, Sydney, Australia, July 5-7, 2010. Proceedings / edited by Ron Steinfeld, Philip Hawkes.

por Steinfeld, Ron [editor.] | Hawkes, Philip [editor.] | SpringerLink (Online service).

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

Innovations in Defence Support Systems – 1 [recurso electrónico] / edited by Anthony Finn, Lakhmi C. Jain.

por Finn, Anthony [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

Series Studies in Computational Intelligence ; 304Origen: 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: TA329 -348.

Conceptual Graphs and Fuzzy Logic [recurso electrónico] : A Fusion for Representing and Reasoning with Linguistic Information / by Tru Hoang Cao.

por Cao, Tru Hoang [author.] | SpringerLink (Online service).

Series Studies in Computational Intelligence ; 306Origen: 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: Q342.

Density Functional Theory [recurso electrónico] : An Advanced Course / by Eberhard Engel, Reiner M. Dreizler.

por Engel, Eberhard [author.] | Dreizler, Reiner M [author.] | SpringerLink (Online service).

Series Theoretical and Mathematical PhysicsOrigen: 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 : Imprint: Springer, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QC170 -197.

Computers Helping People with Special Needs [recurso electrónico] : 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010. Proceedings / edited by Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer.

por Miesenberger, Klaus [editor.] | Klaus, Joachim [editor.] | Zagler, Wolfgang [editor.] | Karshmer, Arthur [editor.] | SpringerLink (Online service).

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

Computers Helping People with Special Needs [recurso electrónico] : 12th International Conference, ICCHP 2010, Vienna, Austria, July14-16, 2010, Proceedings, Part II / edited by Klaus Miesenberger, Joachim Klaus, Wolfgang Zagler, Arthur Karshmer.

por Miesenberger, Klaus [editor.] | Klaus, Joachim [editor.] | Zagler, Wolfgang [editor.] | Karshmer, Arthur [editor.] | SpringerLink (Online service).

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

Dependence in Probability and Statistics [recurso electrónico] / edited by Paul Doukhan, Gabriel Lang, Donatas Surgailis, Gilles Teyssière.

por Doukhan, Paul [editor.] | Lang, Gabriel [editor.] | Surgailis, Donatas [editor.] | Teyssière, Gilles [editor.] | SpringerLink (Online service).

Series Lecture Notes in Statistics ; 200Origen: 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: QA276 -280.

ECOOP 2010 – Object-Oriented Programming [recurso electrónico] : 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings / edited by Theo D’Hondt.

por D’Hondt, Theo [editor.] | SpringerLink (Online service).

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

Control of Complex Nonlinear Systems with Delay [recurso electrónico] / by Philipp Hövel.

por Hövel, Philipp [author.] | SpringerLink (Online service).

Series Springer Theses, Recognizing Outstanding Ph.D. ResearchOrigen: 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 : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QC174.7 -175.36.

Functional Renormalization and Ultracold Quantum Gases [recurso electrónico] / by Stefan Flörchinger.

por Flörchinger, Stefan [author.] | SpringerLink (Online service).

Series Springer Theses, Recognizing Outstanding Ph.D. ResearchOrigen: 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 : Imprint: Springer, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QC173.96 -174.52.

Páginas

Con tecnología Koha