Resultados
|
|
Language and Automata Theory and Applications [recurso electrónico] : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings / edited by Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide. por Dediu, Adrian-Horia [editor.] | Inenaga, Shunsuke [editor.] | Martín-Vide, Carlos [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6638Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: QA75.5 -76.95.
|
|
|
Pattern Recognition and Image Analysis [recurso electrónico] : 5th Iberian Conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011. Proceedings / edited by Jordi Vitrià, João Miguel Sanches, Mario Hernández. por Vitrià, Jordi [editor.] | Sanches, João Miguel [editor.] | Hernández, Mario [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6669Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: Q337.5.
|
|
|
Coordination, Organizations, Institutions, and Norms in Agent Systems VI [recurso electrónico] : COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers / edited by Marina Vos, Nicoletta Fornara, Jeremy V. Pitt, George Vouros. por Vos, Marina [editor.] | Fornara, Nicoletta [editor.] | Pitt, Jeremy V [editor.] | Vouros, George [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6541Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: Q334 -342.
|
|
|
|
|
|
|
|
|
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems [recurso electrónico] : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers / edited by Radu Calinescu, Ethan Jackson. por Calinescu, Radu [editor.] | Jackson, Ethan [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6662Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: QA76.758.
|
|
|
Inductive Logic Programming [recurso electrónico] : 20th International Conference, ILP 2010, Florence, Italy, June 27-30, 2010. Revised Papers / edited by Paolo Frasconi, Francesca A. Lisi. por Frasconi, Paolo [editor.] | Lisi, Francesca A [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6489Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: Q334 -342.
|
|
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [recurso electrónico] : 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings / edited by Tobias Achterberg, J. Christopher Beck. por Achterberg, Tobias [editor.] | Beck, J. Christopher [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6697Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: QA297 -299.4.
|
|
|
|
|
|
New Challenges on Bioinspired Applications [recurso electrónico] : 4th International Work-conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part II / edited by José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo. por Ferrández, José Manuel [editor.] | Álvarez Sánchez, José Ramón [editor.] | Paz, Félix [editor.] | Toledo, F. Javier [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6687Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: QA75.5 -76.95.
|
|
|
Developing Concepts in Applied Intelligence [recurso electrónico] / edited by Kishan G. Mehrotra, Chilukuri Mohan, Jae C. Oh, Pramod K. Varshney, Moonis Ali. por Mehrotra, Kishan G [editor.] | Mohan, Chilukuri [editor.] | Oh, Jae C [editor.] | Varshney, Pramod K [editor.] | Ali, Moonis [editor.] | SpringerLink (Online service). Series Studies in Computational Intelligence ; 363Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: TA1 -2040.
|
|
|
Unconventional Computation [recurso electrónico] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg. por Calude, Cristian S [editor.] | Kari, Jarkko [editor.] | Petre, Ion [editor.] | Rozenberg, Grzegorz [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6714Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: QA75.5 -76.95.
|
|
|
Foundations on Natural and Artificial Computation [recurso electrónico] : 4th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2011, La Palma, Canary Islands, Spain, May 30 - June 3, 2011. Proceedings, Part I / edited by José Manuel Ferrández, José Ramón Álvarez Sánchez, Félix Paz, F. Javier Toledo. por Ferrández, José Manuel [editor.] | Álvarez Sánchez, José Ramón [editor.] | Paz, Félix [editor.] | Toledo, F. Javier [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6686Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: QA75.5 -76.95.
|
|
|
Tools for Teaching Logic [recurso electrónico] : Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings / edited by Patrick Blackburn, Hans Ditmarsch, María Manzano, Fernando Soler-Toscano. por Blackburn, Patrick [editor.] | Ditmarsch, Hans [editor.] | Manzano, María [editor.] | Soler-Toscano, Fernando [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6680Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: Q334 -342.
|
|
|
Multidisciplinary Information Retrieval [recurso electrónico] : Second Information Retrieval Facility Conference, IRFC 2011, Vienna, Austria, June 6, 2011. Proceedings / edited by Allan Hanbury, Andreas Rauber, Arjen P. Vries. por Hanbury, Allan [editor.] | Rauber, Andreas [editor.] | Vries, Arjen P [editor.] | SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6653Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: QA76.9 .D343.
|
|
|
|
|
|
|
|
|
|
|
|
Dependable Computer Systems [recurso electrónico] / edited by Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jaroslaw Sugier, Tomasz Walkowiak. por Zamojski, Wojciech [editor.] | Kacprzyk, Janusz [editor.] | Mazurkiewicz, Jacek [editor.] | Sugier, Jaroslaw [editor.] | Walkowiak, Tomasz [editor.] | SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 97Origen: Springer eBooksTipo de material: Texto; Formato:
electrónico
disponible en línea ; 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: Q342.
|
|
|
|