Su búsqueda retornó 2235 resultados.

Resultados
		Logic, Language, Information and Computation [recurso electrónico] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz. por Beklemishev, Lev D [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6642Origen: 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: QA8.9 -QA10.3.
		Information Security Practice and Experience [recurso electrónico] : 7th International Conference, ISPEC 2011, Guangzhou, China, May 30 – June 1, 2011. Proceedings / edited by Feng Bao, Jian Weng. por Bao, Feng [editor.] \| Weng, Jian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6672Origen: 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 .A25.
		The Semantic Web: Research and Applications [recurso electrónico] : 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I / edited by Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan. por Antoniou, Grigoris [editor.] \| Grobelnik, Marko [editor.] \| Simperl, Elena [editor.] \| Parsia, Bijan [editor.] \| Plexousakis, Dimitris [editor.] \| Leenheer, Pieter [editor.] \| Pan, Jeff [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6643Origen: 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.
		Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication [recurso electrónico] : 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedings / edited by Claudio A. Ardagna, Jianying Zhou. por Ardagna, Claudio A [editor.] \| Zhou, Jianying [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6633Origen: 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: TK5105.5 -5105.9.
		The Semanic Web: Research and Applications [recurso electrónico] : 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 – June 2, 2011, Proceedings, Part II / edited by Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan. por Antoniou, Grigoris [editor.] \| Grobelnik, Marko [editor.] \| Simperl, Elena [editor.] \| Parsia, Bijan [editor.] \| Plexousakis, Dimitris [editor.] \| Leenheer, Pieter [editor.] \| Pan, Jeff [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6644Origen: 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.
		Relational and Algebraic Methods in Computer Science [recurso electrónico] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings / edited by Harrie Swart. por Swart, Harrie [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6663Origen: 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: QA8.9 -QA10.3.
		Models in Software Engineering [recurso electrónico] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers / edited by Juergen Dingel, Arnor Solberg. por Dingel, Juergen [editor.] \| Solberg, Arnor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6627Origen: 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.
		Hybrid Artificial Intelligent Systems [recurso electrónico] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I / edited by Emilio Corchado, Marek Kurzynski, Michal Wozniak. por Corchado, Emilio [editor.] \| Kurzynski, Marek [editor.] \| Wozniak, Michal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6678Origen: 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.
		Hybrid Artificial Intelligent Systems [recurso electrónico] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II / edited by Emilio Corchado, Marek Kurzynski, Michal Wozniak. por Corchado, Emilio [editor.] \| Kurzynski, Marek [editor.] \| Wozniak, Michal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6679Origen: 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.
		Image Analysis [recurso electrónico] : 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011. Proceedings / edited by Anders Heyden, Fredrik Kahl. por Heyden, Anders [editor.] \| Kahl, Fredrik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6688Origen: 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: TA1637 -1638.
		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.
		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.
		Reliable Software Technologies - Ada-Europe 2011 [recurso electrónico] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega. por Romanovsky, Alexander [editor.] \| Vardanega, Tullio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6652Origen: 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.7 -76.73.
		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.
		Top Productivity through Software Reuse [recurso electrónico] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings / edited by Klaus Schmid. por Schmid, Klaus [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6727Origen: 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.
		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.

		Logic, Language, Information and Computation [recurso electrónico] : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings / edited by Lev D. Beklemishev, Ruy Queiroz. por Beklemishev, Lev D [editor.] \| Queiroz, Ruy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6642Origen: 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: QA8.9 -QA10.3.
		Information Security Practice and Experience [recurso electrónico] : 7th International Conference, ISPEC 2011, Guangzhou, China, May 30 – June 1, 2011. Proceedings / edited by Feng Bao, Jian Weng. por Bao, Feng [editor.] \| Weng, Jian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6672Origen: 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 .A25.
		The Semantic Web: Research and Applications [recurso electrónico] : 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29-June 2, 2011, Proceedings, Part I / edited by Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan. por Antoniou, Grigoris [editor.] \| Grobelnik, Marko [editor.] \| Simperl, Elena [editor.] \| Parsia, Bijan [editor.] \| Plexousakis, Dimitris [editor.] \| Leenheer, Pieter [editor.] \| Pan, Jeff [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6643Origen: 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.
		Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication [recurso electrónico] : 5th IFIP WG 11.2 International Workshop, WISTP 2011, Heraklion, Crete, Greece, June 1-3, 2011. Proceedings / edited by Claudio A. Ardagna, Jianying Zhou. por Ardagna, Claudio A [editor.] \| Zhou, Jianying [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6633Origen: 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: TK5105.5 -5105.9.
		The Semanic Web: Research and Applications [recurso electrónico] : 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Crete, Greece, May 29 – June 2, 2011, Proceedings, Part II / edited by Grigoris Antoniou, Marko Grobelnik, Elena Simperl, Bijan Parsia, Dimitris Plexousakis, Pieter Leenheer, Jeff Pan. por Antoniou, Grigoris [editor.] \| Grobelnik, Marko [editor.] \| Simperl, Elena [editor.] \| Parsia, Bijan [editor.] \| Plexousakis, Dimitris [editor.] \| Leenheer, Pieter [editor.] \| Pan, Jeff [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6644Origen: 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.
		Relational and Algebraic Methods in Computer Science [recurso electrónico] : 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings / edited by Harrie Swart. por Swart, Harrie [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6663Origen: 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: QA8.9 -QA10.3.
		Models in Software Engineering [recurso electrónico] : Workshops and Symposia at MODELS 2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected Papers / edited by Juergen Dingel, Arnor Solberg. por Dingel, Juergen [editor.] \| Solberg, Arnor [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6627Origen: 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.
		Hybrid Artificial Intelligent Systems [recurso electrónico] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part I / edited by Emilio Corchado, Marek Kurzynski, Michal Wozniak. por Corchado, Emilio [editor.] \| Kurzynski, Marek [editor.] \| Wozniak, Michal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6678Origen: 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.
		Hybrid Artificial Intelligent Systems [recurso electrónico] : 6th International Conference, HAIS 2011, Wroclaw, Poland, May 23-25, 2011, Proceedings, Part II / edited by Emilio Corchado, Marek Kurzynski, Michal Wozniak. por Corchado, Emilio [editor.] \| Kurzynski, Marek [editor.] \| Wozniak, Michal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6679Origen: 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.
		Image Analysis [recurso electrónico] : 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011. Proceedings / edited by Anders Heyden, Fredrik Kahl. por Heyden, Anders [editor.] \| Kahl, Fredrik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6688Origen: 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: TA1637 -1638.
		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.
		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.
		Reliable Software Technologies - Ada-Europe 2011 [recurso electrónico] : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings / edited by Alexander Romanovsky, Tullio Vardanega. por Romanovsky, Alexander [editor.] \| Vardanega, Tullio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6652Origen: 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.7 -76.73.
		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.
		Top Productivity through Software Reuse [recurso electrónico] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings / edited by Klaus Schmid. por Schmid, Klaus [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6727Origen: 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.
		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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.