|
|
1.
|
|
|
|
2.
|
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
|
|
|
8.
|
|
|
|
9.
|
|
|
|
10.
|
Applications of Evolutionary Computation [electronic resource] : EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoMUSART, and EvoTRANSLOG, Istanbul, Turkey, April 7-9, 2010, Proceedings, Part II / edited by Cecilia Chio, Anthony Brabazon, Gianni A. Caro, Marc Ebner, Muddassar Farooq, Andreas Fink, Jȵrn Grahl, Gary Greenfield, Penousal Machado, Michael ONeill, Ernesto Tarantino, Neil Urquhart. por Chio, Cecilia [editor.] | Brabazon, Anthony [editor.] | Caro, Gianni A [editor.] | Ebner, Marc [editor.] | Farooq, Muddassar [editor.] | Fink, Andreas [editor.] | Grahl, Jȵrn [editor.] | Greenfield, Gary [editor.] | Machado, Penousal [editor.] | ONeill, Michael [editor.] | Tarantino, Ernesto [editor.] | Urquhart, Neil [editor.] | 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: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
11.
|
Mathematics of Program Construction [electronic resource] : 10th International Conference, MPC 2010, QuȨbec City, Canada, June 21-23, 2010. Proceedings / edited by Claude Bolduc, Jules Desharnais, BȨchir Ktari. por Bolduc, Claude [editor.] | Desharnais, Jules [editor.] | Ktari, BȨchir [editor.] | 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: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
12.
|
Languages, Methodologies, and Development Tools for Multi-Agent Systems [electronic resource] : Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers / edited by Mehdi Dastani, Amal El Fallah Segrouchni, Joo Leite, Paolo Torroni. por Dastani, Mehdi [editor.] | El Fallah Segrouchni, Amal [editor.] | Leite, Joo [editor.] | Torroni, Paolo [editor.] | 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: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
13.
|
Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures / edited by Alessandro Aldini, Marco Bernardo, Alessandra Pierro, Herbert Wiklicky. por Aldini, Alessandro [editor.] | Bernardo, Marco [editor.] | Pierro, Alessandra [editor.] | Wiklicky, Herbert [editor.] | 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: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
14.
|
Interactive Theorem Proving [electronic resource] : 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). 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: de clik aquí para ver el libro electrónico Disponibilidad: No hay ítems disponibles :
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
|
|
21.
|
|
|
|
22.
|
|
|
|
23.
|
|
