Su búsqueda retornó 415 resultados.

Ordenar
Resultados
Evolutionary Game Design [recurso electrónico] / by Cameron Browne.

por Browne, Cameron [author.] | SpringerLink (Online service).

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

Exploring Occupant Behavior in Buildings [electronic resource] : Methods and Challenges / edited by Andreas Wagner, William O'Brien, Bing Dong.

por Wagner, Andreas [editor.] | O'Brien, William [editor.] | Dong, Bing [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) .

Fast Numerical Methods for Mixed-Integer Nonlinear Model-Predictive Control [recurso electrónico] / by Christian Kirches.

por Kirches, Christian [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: Wiesbaden : Vieweg+Teubner Verlag, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: QA76.9 .C65.

Finite Element Applications [electronic resource] : A Practical Guide to the FEM Process / by Michael Okereke, Simeon Keates.

por Okereke, Michael [author.] | Keates, Simeon [author.] | SpringerLink (Online service).

Series Springer Tracts in Mechanical EngineeringEdició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) .

Finite-element-model Updating Using Computional Intelligence Techniques [recurso electrónico] : Applications to Structural Dynamics / by Tshilidzi Marwala.

por Marwala, Tshilidzi [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: London : Springer London, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.

Finite Element Modeling for Materials Engineers Using MATLAB [recurso electrónico] / by Oluleke Oluwole.

por Oluwole, Oluleke [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: London : Springer London, 2011Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: Q342.

Flying Insects and Robots [recurso electrónico] / edited by Dario Floreano, Jean-Christophe Zufferey, Mandyam V. Srinivasan, Charlie Ellington.

por Floreano, Dario [editor.] | Zufferey, Jean-Christophe [editor.] | Srinivasan, Mandyam V [editor.] | Ellington, Charlie [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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TJ210.2 -211.495.

Food Dependency in the Middle East and North Africa Region [electronic resource] : Retrospective Analysis and Projections to 2050 / edited by Chantal Le Mouël, Bertrand Schmitt.

por Le Mouël, Chantal [editor.] | Schmitt, Bertrand [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: Dordrecht : Springer Netherlands : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Formal Methods [electronic resource] : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings / edited by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink.

por Havelund, Klaus [editor.] | Peleska, Jan [editor.] | Roscoe, Bill [editor.] | de Vink, Erik [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 10951Edició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) .

Formal Methods for Industrial Critical Systems [electronic resource] : 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings / edited by Falk Howar, Jiří Barnat.

por Howar, Falk [editor.] | Barnat, Jiří [editor.] | SpringerLink (Online service).

Series Programming and Software Engineering ; 11119Edició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) .

Formal Methods: Foundations and Applications [recurso electrónico] : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / edited by Leila Ribeiro, Thierry Lecomte.

por Ribeiro, Leila [editor.] | Lecomte, Thierry [editor.] | SpringerLink (Online service).

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

Formal Modeling and Analysis of Timed Systems [electronic resource] : 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings / edited by David N. Jansen, Pavithra Prabhakar.

por Jansen, David N [editor.] | Prabhakar, Pavithra [editor.] | SpringerLink (Online service).

Series Theoretical Computer Science and General Issues ; 11022Edició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) .

Formal Techniques for Safety-Critical Systems [recurso electrónico] : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba Ölveczky.

por Artho, Cyrille [editor.] | Ölveczky, Peter Csaba [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 596Edición: 1st ed. 2016.Origen: 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) .

FORMS/FORMAT 2010 [recurso electrónico] : Formal Methods for Automation and Safety in Railway and Automotive Systems / edited by Eckehard Schnieder, Geza Tarnai.

por Schnieder, Eckehard [editor.] | Tarnai, Geza [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: TA169.7.

Foundational and Practical Aspects of Resource Analysis [recurso electrónico] : 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers / edited by Marko van Eekelen, Ugo Dal Lago.

por van Eekelen, Marko [editor.] | Dal Lago, Ugo [editor.] | SpringerLink (Online service).

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

From Animals to Animats 15 [electronic resource] : 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, Frankfurt/Main, Germany, August 14-17, 2018, Proceedings / edited by Poramate Manoonpong, Jørgen Christian Larsen, Xiaofeng Xiong, John Hallam, Jochen Triesch.

por Manoonpong, Poramate [editor.] | Larsen, Jørgen Christian [editor.] | Xiong, Xiaofeng [editor.] | Hallam, John [editor.] | Triesch, Jochen [editor.] | SpringerLink (Online service).

Series Lecture Notes in Artificial Intelligence ; 10994Edició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) .

Functional Imaging and Modeling of the Heart [recurso electrónico] : 6th International Conference, FIMH 2011, New York City, NY, USA, May 25-27, 2011. Proceedings / edited by Dimitris N. Metaxas, Leon Axel.

por Metaxas, Dimitris N [editor.] | Axel, Leon [editor.] | SpringerLink (Online service).

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

Fundamentals of Scientific Computing [recurso electrónico] / by Bertil Gustafsson.

por Gustafsson, Bertil [author.] | SpringerLink (Online service).

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

Fuzzy Graph Theory with Applications to Human Trafficking [electronic resource] / by John N. Mordeson, Sunil Mathew, Davender S. Malik.

por Mordeson, John N [author.] | Mathew, Sunil [author.] | Malik, Davender S [author.] | SpringerLink (Online service).

Series Studies in Fuzziness and Soft Computing ; 365Edició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) .

Geo-Informatics in Resource Management and Sustainable Ecosystem [recurso electrónico] : Third International Conference, GRMSE 2015, Wuhan, China, October 16-18, 2015, Revised Selected Papers / edited by Fuling Bian, Yichun Xie.

por Bian, Fuling [editor.] | Xie, Yichun [editor.] | SpringerLink (Online service).

Series Communications in Computer and Information Science ; 569Edición: 1st ed. 2016.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, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Páginas

Con tecnología Koha