Resultados
|
|
|
|
|
|
|
|
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; Formato:
electrónico
disponible en línea ; 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; Formato:
electrónico
disponible en línea ; 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.
|
|
|
|
|
|
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; Formato:
electrónico
disponible en línea ; 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.
|
|
|
|
|
|
|
|
|
|
|
|
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; Formato:
electrónico
disponible en línea ; 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; Formato:
electrónico
disponible en línea ; 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.
|
|
|
|
|
|
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; Formato:
electrónico
disponible en línea ; 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.
|
|
|
|
|
|
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; Formato:
electrónico
disponible en línea ; 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.
|
|
|
|
|
|
|
|
|
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; Formato:
electrónico
disponible en línea ; 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.
|
|
|
|
|
|
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; Formato:
electrónico
disponible en línea ; 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.
|