Refinar su búsqueda

Su búsqueda retornó 22171 resultados.

Ordenar
Resultados
Revision, Acceptability and Context [recurso electrónico] : Theoretical and Algorithmic Aspects / by Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo.

por Gabbay, Dov M [author.] | Rodrigues, Odinaldo T [author.] | Russo, Alessandra [author.] | SpringerLink (Online service).

Series Cognitive TechnologiesOrigen: 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.

Automata, Languages and Programming [recurso electrónico] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.

por Abramsky, Samson [editor.] | Gavoille, Cyril [editor.] | Kirchner, Claude [editor.] | Meyer auf der Heide, Friedhelm [editor.] | Spirakis, Paul G [editor.] | SpringerLink (Online service).

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

Automata, Languages and Programming [recurso electrónico] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.

por Abramsky, Samson [editor.] | Gavoille, Cyril [editor.] | Kirchner, Claude [editor.] | Meyer auf der Heide, Friedhelm [editor.] | Spirakis, Paul G [editor.] | SpringerLink (Online service).

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

Progress in Hybrid RANS-LES Modelling [recurso electrónico] : Papers Contributed to the 3rd Symposium on Hybrid RANS-LES Methods, Gdansk, Poland, June 2009 / edited by Shia-Hui Peng, Piotr Doerffer, Werner Haase.

por Peng, Shia-Hui [editor.] | Doerffer, Piotr [editor.] | Haase, Werner [editor.] | SpringerLink (Online service).

Series Notes on Numerical Fluid Mechanics and Multidisciplinary Design ; 111Origen: 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: TA357 -359.

Recent Trends in Wireless and Mobile Networks [recurso electrónico] : Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings / edited by Abdulkadir Özcan, Nabendu Chaki, Dhinaharan Nagamalai.

por Özcan, Abdulkadir [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [editor.] | SpringerLink (Online service).

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

Deontic Logic in Computer Science [recurso electrónico] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor.

por Governatori, Guido [editor.] | Sartor, Giovanni [editor.] | SpringerLink (Online service).

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

Theory and Applications of Satisfiability Testing – SAT 2010 [recurso electrónico] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider.

por Strichman, Ofer [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service).

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

Surface Magnetism [recurso electrónico] : Correlation of Structural, Electronic and Chemical Properties with Magnetic Behavior / by Mathias Getzlaff.

por Getzlaff, Mathias [author.] | SpringerLink (Online service).

Series Springer Tracts in Modern Physics, Volume 240 ; 240Origen: 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: TA418.7 -418.76.

Requirements Engineering: Foundation for Software Quality [recurso electrónico] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings / edited by Roel Wieringa, Anne Persson.

por Wieringa, Roel [editor.] | Persson, Anne [editor.] | SpringerLink (Online service).

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

Conceptual Structures: From Information to Intelligence [recurso electrónico] : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings / edited by Madalina Croitoru, Sébastien Ferré, Dickson Lukose.

por Croitoru, Madalina [editor.] | Ferré, Sébastien [editor.] | Lukose, Dickson [editor.] | SpringerLink (Online service).

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

Automated Reasoning [recurso electrónico] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / edited by Jürgen Giesl, Reiner Hähnle.

por Giesl, Jürgen [editor.] | Hähnle, Reiner [editor.] | SpringerLink (Online service).

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

Fluid Structure Interaction II [recurso electrónico] : Modelling, Simulation, Optimization / edited by Hans-Joachim Bungartz, Miriam Mehl, Michael Schäfer.

por Bungartz, Hans-Joachim [editor.] | Mehl, Miriam [editor.] | Schäfer, Michael [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computational Science and Engineering ; 73Origen: 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: QA71 -90.

Optical Remote Sensing [recurso electrónico] : Advances in Signal Processing and Exploitation Techniques / edited by Saurabh Prasad, Lori M. Bruce, Jocelyn Chanussot.

por Prasad, Saurabh [editor.] | Bruce, Lori M [editor.] | Chanussot, Jocelyn [editor.] | SpringerLink (Online service).

Series Augmented Vision and Reality ; 3Origen: 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: TK5102.9.

Detection of Intrusions and Malware, and Vulnerability Assessment [recurso electrónico] : 7th International Conference, DIMVA 2010, Bonn, Germany, July 8-9, 2010. Proceedings / edited by Christian Kreibich, Marko Jahnke.

por Kreibich, Christian [editor.] | Jahnke, Marko [editor.] | SpringerLink (Online service).

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

Cellular and Biomolecular Mechanics and Mechanobiology [recurso electrónico] / edited by Amit Gefen.

por Gefen, Amit [editor.] | SpringerLink (Online service).

Series Studies in Mechanobiology, Tissue Engineering and Biomaterials ; 4Origen: 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: R856 -857.

Soil Enzymology [recurso electrónico] / edited by Girish Shukla, Ajit Varma.

por Shukla, Girish [editor.] | Varma, Ajit [editor.] | SpringerLink (Online service).

Series Soil Biology ; 22Origen: 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: QD431 -431.7.

Wild Crop Relatives: Genomic and Breeding Resources [recurso electrónico] : Cereals / edited by Chittaranjan Kole.

por Kole, Chittaranjan [editor.] | 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: 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: SB123 -123.5.

Biosystems Engineering I [recurso electrónico] : Creating Superior Biocatalysts / edited by Christoph Wittmann, Rainer Krull.

por Wittmann, Christoph [editor.] | Krull, Rainer [editor.] | SpringerLink (Online service).

Series Advances in Biochemical Engineering / Biotechnology ; 120Origen: 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: TP248.13 -248.65.

Exploration of Gas Hydrates [recurso electrónico] : Geophysical Techniques / by Sanjeev Rajput, Naresh Kumar Thakur.

por Rajput, Sanjeev [author.] | Thakur, Naresh Kumar [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: 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: QC801 -809.

The European Central Bank at Ten [recurso electrónico] / edited by Jakob Haan, Helge Berger.

por Haan, Jakob [editor.] | Berger, Helge [editor.] | 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: 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: HB172.5.

Páginas

Con tecnología Koha