Resultados
|
|
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.
|
|
|
Hybrid Artificial Intelligence Systems [recurso electrónico] : 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part II / edited by Emilio Corchado, Manuel Graña Romay, Alexandre Manhaes Savio. por Corchado, Emilio [editor.] | Graña Romay, Manuel [editor.] | Manhaes Savio, Alexandre [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6077Origen: 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: Q334 -342.
|
|
|
Scientific and Statistical Database Management [recurso electrónico] : 22nd International Conference, SSDBM 2010, Heidelberg, Germany, June 30–July 2, 2010. Proceedings / edited by Michael Gertz, Bertram Ludäscher. por Gertz, Michael [editor.] | Ludäscher, Bertram [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6187Origen: 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.76 .A65.
|
|
|
Web Engineering [recurso electrónico] : 10th International Conference, ICWE 2010, Vienna Austria, July 5-9, 2010. Proceedings / edited by Boualem Benatallah, Fabio Casati, Gerti Kappel, Gustavo Rossi. por Benatallah, Boualem [editor.] | Casati, Fabio [editor.] | Kappel, Gerti [editor.] | Rossi, Gustavo [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6189Origen: 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.76 .A65.
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computing and Combinatorics [recurso electrónico] : 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings / edited by My T. Thai, Sartaj Sahni. por Thai, My T [editor.] | Sahni, Sartaj [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6196Origen: 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.
|
|
|
|
|
|
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; 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: 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; 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 .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; 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: 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; 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: Q334 -342.
|