Su búsqueda retornó 5913 resultados.

Resultados
		Knowledge Annotation: Making Implicit Knowledge Explicit [recurso electrónico] / by Alexiei Dingli. por Dingli, Alexiei [author.] \| SpringerLink (Online service). Series Intelligent Systems Reference Library ; 16Origen: 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.
		Next Generation Data Technologies for Collective Computational Intelligence [recurso electrónico] / edited by Nik Bessis, Fatos Xhafa. por Bessis, Nik [editor.] \| Xhafa, Fatos [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 352Origen: 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.
		Complex-Valued Neural Networks with Multi-Valued Neurons [recurso electrónico] / by Igor Aizenberg. por Aizenberg, Igor [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 353Origen: 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.
		Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [recurso electrónico] : 9th European Conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini. por Pizzuti, Clara [editor.] \| Ritchie, Marylyn D [editor.] \| Giacobini, Mario [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6623Origen: 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: QH324.2 -324.25.
		Computational Color Imaging [recurso electrónico] : Third International Workshop, CCIW 2011, Milan, Italy, April 20-21, 2011. Proceedings / edited by Raimondo Schettini, Shoji Tominaga, Alain Trémeau. por Schettini, Raimondo [editor.] \| Tominaga, Shoji [editor.] \| Trémeau, Alain [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6626Origen: 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.
		Genetic Programming [recurso electrónico] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini. por Silva, Sara [editor.] \| Foster, James A [editor.] \| Nicolau, Miguel [editor.] \| Machado, Penousal [editor.] \| Giacobini, Mario [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6621Origen: 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.6 -76.66.
		Soft Computing in Industrial Applications [recurso electrónico] / edited by António Gaspar-Cunha, Ricardo Takahashi, Gerald Schaefer, Lino Costa. por Gaspar-Cunha, António [editor.] \| Takahashi, Ricardo [editor.] \| Schaefer, Gerald [editor.] \| Costa, Lino [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 96Origen: 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.
		Innovation through Knowledge Transfer 2010 [recurso electrónico] / edited by Robert J. Howlett. por Howlett, Robert J [editor.] \| SpringerLink (Online service). Series Smart Innovation, Systems and Technologies ; 9Origen: 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.
		Formal Concept Analysis [recurso electrónico] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings / edited by Petko Valtchev, Robert Jäschke. por Valtchev, Petko [editor.] \| Jäschke, Robert [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6628Origen: 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.
		Consensual Processes [recurso electrónico] / edited by Enrique Herrera-Viedma, José Luis García-Lapresta, Janusz Kacprzyk, Mario Fedrizzi, Hannu Nurmi, Slawomir Zadrozny. por Herrera-Viedma, Enrique [editor.] \| García-Lapresta, José Luis [editor.] \| Kacprzyk, Janusz [editor.] \| Fedrizzi, Mario [editor.] \| Nurmi, Hannu [editor.] \| Zadrozny, Slawomir [editor.] \| SpringerLink (Online service). Series Studies in Fuzziness and Soft Computing ; 267Origen: 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.
		Group Search Optimization for Applications in Structural Design [recurso electrónico] / by Lijuan Li, Feng Liu. por Li, Lijuan [author.] \| Liu, Feng [author.] \| SpringerLink (Online service). Series Adaptation, Learning, and Optimization ; 9Origen: 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.
		New Horizons in Web-Based Learning - ICWL 2010 Workshops [recurso electrónico] : ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers / edited by Xiangfeng Luo, Yiwei Cao, Bo Yang, Jianxun Liu, Feiyue Ye. por Luo, Xiangfeng [editor.] \| Cao, Yiwei [editor.] \| Yang, Bo [editor.] \| Liu, Jianxun [editor.] \| Ye, Feiyue [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6537Origen: 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: LB1028.43 -1028.75.
		Chaos-Based Cryptography [recurso electrónico] : Theory,Algorithms and Applications / edited by Ljupco Kocarev, Shiguo Lian. por Kocarev, Ljupco [editor.] \| Lian, Shiguo [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 354Origen: 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.
		Logic-Based Program Synthesis and Transformation [recurso electrónico] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / edited by María Alpuente. por Alpuente, María [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6564Origen: 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.
		Information Technology and Mobile Communication [recurso electrónico] : International Conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Gylson Thomas, Ford Lumban Gaol. por Das, Vinu V [editor.] \| Thomas, Gylson [editor.] \| Lumban Gaol, Ford [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 147Origen: 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.
		Service-Oriented Perspectives in Design Science Research [recurso electrónico] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings / edited by Hemant Jain, Atish P. Sinha, Padmal Vitharana. por Jain, Hemant [editor.] \| Sinha, Atish P [editor.] \| Vitharana, Padmal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6629Origen: 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.76 .A65.
		Experimental Algorithms [recurso electrónico] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings / edited by Panos M. Pardalos, Steffen Rebennack. por Pardalos, Panos M [editor.] \| Rebennack, Steffen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6630Origen: 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 .A43.
		Model Checking and Artificial Intelligence [recurso electrónico] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. por Meyden, Ron [editor.] \| Smaus, Jan-Georg [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6572Origen: 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.
		Declarative Agent Languages and Technologies VIII [recurso electrónico] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos. por Omicini, Andrea [editor.] \| Sardina, Sebastian [editor.] \| Vasconcelos, Wamberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6619Origen: 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.
		Bio-Inspired Self-Organizing Robotic Systems [recurso electrónico] / edited by Yan Meng, Yaochu Jin. por Meng, Yan [editor.] \| Jin, Yaochu [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 355Origen: 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.

		Knowledge Annotation: Making Implicit Knowledge Explicit [recurso electrónico] / by Alexiei Dingli. por Dingli, Alexiei [author.] \| SpringerLink (Online service). Series Intelligent Systems Reference Library ; 16Origen: 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.
		Next Generation Data Technologies for Collective Computational Intelligence [recurso electrónico] / edited by Nik Bessis, Fatos Xhafa. por Bessis, Nik [editor.] \| Xhafa, Fatos [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 352Origen: 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.
		Complex-Valued Neural Networks with Multi-Valued Neurons [recurso electrónico] / by Igor Aizenberg. por Aizenberg, Igor [author.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 353Origen: 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.
		Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [recurso electrónico] : 9th European Conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini. por Pizzuti, Clara [editor.] \| Ritchie, Marylyn D [editor.] \| Giacobini, Mario [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6623Origen: 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: QH324.2 -324.25.
		Computational Color Imaging [recurso electrónico] : Third International Workshop, CCIW 2011, Milan, Italy, April 20-21, 2011. Proceedings / edited by Raimondo Schettini, Shoji Tominaga, Alain Trémeau. por Schettini, Raimondo [editor.] \| Tominaga, Shoji [editor.] \| Trémeau, Alain [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6626Origen: 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.
		Genetic Programming [recurso electrónico] : 14th European Conference, EuroGP 2011, Torino, Italy, April 27-29, 2011. Proceedings / edited by Sara Silva, James A. Foster, Miguel Nicolau, Penousal Machado, Mario Giacobini. por Silva, Sara [editor.] \| Foster, James A [editor.] \| Nicolau, Miguel [editor.] \| Machado, Penousal [editor.] \| Giacobini, Mario [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6621Origen: 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.6 -76.66.
		Soft Computing in Industrial Applications [recurso electrónico] / edited by António Gaspar-Cunha, Ricardo Takahashi, Gerald Schaefer, Lino Costa. por Gaspar-Cunha, António [editor.] \| Takahashi, Ricardo [editor.] \| Schaefer, Gerald [editor.] \| Costa, Lino [editor.] \| SpringerLink (Online service). Series Advances in Intelligent and Soft Computing ; 96Origen: 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.
		Innovation through Knowledge Transfer 2010 [recurso electrónico] / edited by Robert J. Howlett. por Howlett, Robert J [editor.] \| SpringerLink (Online service). Series Smart Innovation, Systems and Technologies ; 9Origen: 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.
		Formal Concept Analysis [recurso electrónico] : 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings / edited by Petko Valtchev, Robert Jäschke. por Valtchev, Petko [editor.] \| Jäschke, Robert [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6628Origen: 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.
		Consensual Processes [recurso electrónico] / edited by Enrique Herrera-Viedma, José Luis García-Lapresta, Janusz Kacprzyk, Mario Fedrizzi, Hannu Nurmi, Slawomir Zadrozny. por Herrera-Viedma, Enrique [editor.] \| García-Lapresta, José Luis [editor.] \| Kacprzyk, Janusz [editor.] \| Fedrizzi, Mario [editor.] \| Nurmi, Hannu [editor.] \| Zadrozny, Slawomir [editor.] \| SpringerLink (Online service). Series Studies in Fuzziness and Soft Computing ; 267Origen: 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.
		Group Search Optimization for Applications in Structural Design [recurso electrónico] / by Lijuan Li, Feng Liu. por Li, Lijuan [author.] \| Liu, Feng [author.] \| SpringerLink (Online service). Series Adaptation, Learning, and Optimization ; 9Origen: 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.
		New Horizons in Web-Based Learning - ICWL 2010 Workshops [recurso electrónico] : ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers / edited by Xiangfeng Luo, Yiwei Cao, Bo Yang, Jianxun Liu, Feiyue Ye. por Luo, Xiangfeng [editor.] \| Cao, Yiwei [editor.] \| Yang, Bo [editor.] \| Liu, Jianxun [editor.] \| Ye, Feiyue [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6537Origen: 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: LB1028.43 -1028.75.
		Chaos-Based Cryptography [recurso electrónico] : Theory,Algorithms and Applications / edited by Ljupco Kocarev, Shiguo Lian. por Kocarev, Ljupco [editor.] \| Lian, Shiguo [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 354Origen: 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.
		Logic-Based Program Synthesis and Transformation [recurso electrónico] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / edited by María Alpuente. por Alpuente, María [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6564Origen: 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.
		Information Technology and Mobile Communication [recurso electrónico] : International Conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Gylson Thomas, Ford Lumban Gaol. por Das, Vinu V [editor.] \| Thomas, Gylson [editor.] \| Lumban Gaol, Ford [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 147Origen: 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.
		Service-Oriented Perspectives in Design Science Research [recurso electrónico] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings / edited by Hemant Jain, Atish P. Sinha, Padmal Vitharana. por Jain, Hemant [editor.] \| Sinha, Atish P [editor.] \| Vitharana, Padmal [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6629Origen: 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.76 .A65.
		Experimental Algorithms [recurso electrónico] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings / edited by Panos M. Pardalos, Steffen Rebennack. por Pardalos, Panos M [editor.] \| Rebennack, Steffen [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6630Origen: 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 .A43.
		Model Checking and Artificial Intelligence [recurso electrónico] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus. por Meyden, Ron [editor.] \| Smaus, Jan-Georg [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6572Origen: 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.
		Declarative Agent Languages and Technologies VIII [recurso electrónico] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos. por Omicini, Andrea [editor.] \| Sardina, Sebastian [editor.] \| Vasconcelos, Wamberto [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6619Origen: 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.
		Bio-Inspired Self-Organizing Robotic Systems [recurso electrónico] / edited by Yan Meng, Yaochu Jin. por Meng, Yan [editor.] \| Jin, Yaochu [editor.] \| SpringerLink (Online service). Series Studies in Computational Intelligence ; 355Origen: 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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Su búsqueda retornó 5913 resultados.