Refinar su búsqueda

Su búsqueda retornó 2169 resultados.

Ordenar
Resultados
The Use of Ultraproducts in Commutative Algebra [recurso electrónico] / by Hans Schoutens.

por Schoutens, Hans [author.] | SpringerLink (Online service).

Series Lecture Notes in Mathematics ; 1999Origen: 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: QA251.3.

Multimedia Services in Intelligent Environments [recurso electrónico] : Integrated Systems / edited by George A. Tsihrintzis, Lakhmi C. Jain.

por Tsihrintzis, George A [editor.] | Jain, Lakhmi C [editor.] | SpringerLink (Online service).

Series Smart Innovation, Systems and Technologies ; 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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA329 -348.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [recurso electrónico] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings / edited by Andrea Lodi, Michela Milano, Paolo Toth.

por Lodi, Andrea [editor.] | Milano, Michela [editor.] | Toth, Paolo [editor.] | SpringerLink (Online service).

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

Theory and Applications of Models of Computation [recurso electrónico] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvíl, Angsheng Li, Jirí Fiala, Petr Kolman.

por Kratochvíl, Jan [editor.] | Li, Angsheng [editor.] | Fiala, Jirí [editor.] | Kolman, Petr [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6108Origen: 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: QA75.5 -76.95.

Mathematical Lives [recurso electrónico] : Protagonists of the Twentieth Century From Hilbert to Wiles / edited by Claudio Bartocci, Renato Betti, Angelo Guerraggio, Roberto Lucchetti.

por Bartocci, Claudio [editor.] | Betti, Renato [editor.] | Guerraggio, Angelo [editor.] | Lucchetti, Roberto [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: QA21 -27.

Theory of Bridge Aerodynamics [recurso electrónico] / by Einar N. Strømmen.

por Strømmen, Einar N [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, 2010Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) Signatura topográfica: TA349 -359.

Numerical Solution of Stochastic Differential Equations with Jumps in Finance [recurso electrónico] / by Eckhard Platen, Nicola Bruti-Liberati.

por Platen, Eckhard [author.] | Bruti-Liberati, Nicola [author.] | SpringerLink (Online service).

Series Stochastic Modelling and Applied Probability ; 64Origen: 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: QA273 .A1-274.9.

Mono- and Multivariable Control and Estimation [recurso electrónico] : Linear, Quadratic and LMI Methods / by Eric Ostertag.

por Ostertag, Eric [author.] | SpringerLink (Online service).

Series Mathematical Engineering ; 2Origen: 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: TJ212 -225.

Optimization and Regularization for Computational Inverse Problems and Applications [recurso electrónico] / edited by Yanfei Wang, Changchun Yang, Anatoly G. Yagola.

por Wang, Yanfei [editor.] | Yang, Changchun [editor.] | Yagola, Anatoly G [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: QA71 -90.

Learning and Intelligent Optimization [recurso electrónico] : 4th International Conference, LION 4, Venice, Italy, January 18-22, 2010. Selected Papers / edited by Christian Blum, Roberto Battiti.

por Blum, Christian [editor.] | Battiti, Roberto [editor.] | SpringerLink (Online service).

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

Logic, Language, Information and Computation [recurso electrónico] : 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings / edited by Anuj Dawar, Ruy Queiroz.

por Dawar, Anuj [editor.] | Queiroz, Ruy [editor.] | SpringerLink (Online service).

Series Lecture Notes in Computer Science ; 6188Origen: 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: QA8.9 -QA10.3.

Strategic Social Choice [recurso electrónico] : Stable Representations of Constitutions / by Bezalel Peleg, Hans Peters.

por Peleg, Bezalel [author.] | Peters, Hans [author.] | SpringerLink (Online service).

Series Studies in Choice and WelfareOrigen: 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: HB144.

Programs, Proofs, Processes [recurso electrónico] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings / edited by Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes.

por Ferreira, Fernando [editor.] | Löwe, Benedikt [editor.] | Mayordomo, Elvira [editor.] | Mendes Gomes, Luís [editor.] | SpringerLink (Online service).

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

Wireless Sensor Network Technologies for the Information Explosion Era [recurso electrónico] / edited by Takahiro Hara, Vladimir I. Zadorozhny, Erik Buchmann.

por Hara, Takahiro [editor.] | Zadorozhny, Vladimir I [editor.] | Buchmann, Erik [editor.] | SpringerLink (Online service).

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

Lévy Matters I [recurso electrónico] : Recent Progress in Theory and Applications: Foundations, Trees and Numerical Issues in Finance / by Thomas Duquesne, Oleg Reichmann, Ken-iti Sato, Christoph Schwab ; edited by Ole E Barndorff-Nielsen, Jean Bertoin, Jean Jacod, Claudia Klüppelberg.

por Duquesne, Thomas [author.] | Reichmann, Oleg [author.] | Sato, Ken-iti [author.] | Schwab, Christoph [author.] | Barndorff-Nielsen, Ole E [editor.] | Bertoin, Jean [editor.] | Jacod, Jean [editor.] | Klüppelberg, Claudia [editor.] | SpringerLink (Online service).

Series Lecture Notes in Mathematics ; 2001Origen: 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: QA273 .A1-274.9.

Soft Computing in XML Data Management [recurso electrónico] : Intelligent Systems from Decision Making to Data Mining, Web Intelligence and Computer Vision / edited by Zongmin Ma, Li Yan.

por Ma, Zongmin [editor.] | Yan, Li [editor.] | SpringerLink (Online service).

Series Studies in Fuzziness and Soft Computing ; 255Origen: 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.

Recruitment Learning [recurso electrónico] / by Joachim Diederich, Cengiz Günay, James M. Hogan.

por Diederich, Joachim [author.] | Günay, Cengiz [author.] | Hogan, James M [author.] | SpringerLink (Online service).

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

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.

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.

Páginas

Con tecnología Koha