Su búsqueda retornó 2235 resultados.

Resultados
		Intelligent Tutoring Systems [recurso electrónico] : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II / edited by Vincent Aleven, Judy Kay, Jack Mostow. por Aleven, Vincent [editor.] \| Kay, Judy [editor.] \| Mostow, Jack [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6095Origen: 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: LB1028.43 -1028.75.
		User Modeling, Adaptation, and Personalization [recurso electrónico] : 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010. Proceedings / edited by Paul Bra, Alfred Kobsa, David Chin. por Bra, Paul [editor.] \| Kobsa, Alfred [editor.] \| Chin, David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6075Origen: 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 .D343.
		The Semantic Web: Research and Applications [recurso electrónico] : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 –June 3, 2010, Proceedings, Part I / edited by Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache. por Aroyo, Lora [editor.] \| Antoniou, Grigoris [editor.] \| Hyvönen, Eero [editor.] \| Teije, Annette [editor.] \| Stuckenschmidt, Heiner [editor.] \| Cabral, Liliana [editor.] \| Tudorache, Tania [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6088Origen: 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: QA75.5 -76.95.
		The Semantic Web: Research and Applications [recurso electrónico] : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II / edited by Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache. por Aroyo, Lora [editor.] \| Antoniou, Grigoris [editor.] \| Hyvönen, Eero [editor.] \| Teije, Annette [editor.] \| Stuckenschmidt, Heiner [editor.] \| Cabral, Liliana [editor.] \| Tudorache, Tania [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6089Origen: 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: QA75.5 -76.95.
		Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [recurso electrónico] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings / edited by Andrea Lodi, Michela Milano, Paolo Toth. por Lodi, Andrea [editor.] \| Milano, Michela [editor.] \| Toth, Paolo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6140Origen: 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: QA297 -299.4.
		Unconventional Computation [recurso electrónico] : 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings / edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis. por Calude, Cristian S [editor.] \| Hagiya, Masami [editor.] \| Morita, Kenichi [editor.] \| Rozenberg, Grzegorz [editor.] \| Timmis, Jon [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6079Origen: 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: QA75.5 -76.95.
		Rough Sets and Current Trends in Computing [recurso electrónico] : 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30,2010. Proceedings / edited by Marcin Szczuka, Marzena Kryszkiewicz, Sheela Ramanna, Richard Jensen, Qinghua Hu. por Szczuka, Marcin [editor.] \| Kryszkiewicz, Marzena [editor.] \| Ramanna, Sheela [editor.] \| Jensen, Richard [editor.] \| Hu, Qinghua [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6086Origen: 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.
		Smart Graphics [recurso electrónico] : 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26, 2010 Proceedings / edited by Robyn Taylor, Pierre Boulanger, Antonio Krüger, Patrick Olivier. por Taylor, Robyn [editor.] \| Boulanger, Pierre [editor.] \| Krüger, Antonio [editor.] \| Olivier, Patrick [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6133Origen: 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 .U83.
		Reliable Software Technologiey – Ada-Europe 2010 [recurso electrónico] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings / edited by Jorge Real, Tullio Vardanega. por Real, Jorge [editor.] \| Vardanega, Tullio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6106Origen: 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.7 -76.73.
		Multi-Agent-Based Simulation X [recurso electrónico] : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers / edited by Gennaro Tosto, H. Dyke Parunak. por Tosto, Gennaro [editor.] \| Dyke Parunak, H [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5683Origen: 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.
		Theory and Applications of Models of Computation [recurso electrónico] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvíl, Angsheng Li, Jirí Fiala, Petr Kolman. por Kratochvíl, Jan [editor.] \| Li, Angsheng [editor.] \| Fiala, Jirí [editor.] \| Kolman, Petr [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6108Origen: 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: QA75.5 -76.95.
		Modelling Foundations and Applications [recurso electrónico] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings / edited by Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier. por Kühne, Thomas [editor.] \| Selic, Bran [editor.] \| Gervais, Marie-Pierre [editor.] \| Terrier, François [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6138Origen: 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.758.
		Intelligence and Security Informatics [recurso electrónico] : Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010. Proceedings / edited by Hsinchun Chen, Michael Chau, Shu-hsing Li, Shalini Urs, Srinath Srinivasa, G. Alan Wang. por Chen, Hsinchun [editor.] \| Chau, Michael [editor.] \| Li, Shu-hsing [editor.] \| Urs, Shalini [editor.] \| Srinivasa, Srinath [editor.] \| Wang, G. Alan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6122Origen: 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 .A25.
		The Role of Digital Libraries in a Time of Global Change [recurso electrónico] : 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010. Proceedings / edited by Gobinda Chowdhury, Chris Koo, Jane Hunter. por Chowdhury, Gobinda [editor.] \| Koo, Chris [editor.] \| Hunter, Jane [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6102Origen: 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: QA75.5 -76.95.
		Image and Signal Processing [recurso electrónico] : 4th International Conference, ICISP 2010, Trois-Rivières, QC, Canada, June 30-July 2, 2010. Proceedings / edited by Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass, Jean Meunier. por Elmoataz, Abderrahim [editor.] \| Lezoray, Olivier [editor.] \| Nouboud, Fathallah [editor.] \| Mammass, Driss [editor.] \| Meunier, Jean [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6134Origen: 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: TA1637 -1638.
		Theory and Practice of Model Transformations [recurso electrónico] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / edited by Laurence Tratt, Martin Gogolla. por Tratt, Laurence [editor.] \| Gogolla, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6142Origen: 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.758.
		Information Processing in Computer-Assisted Interventions [recurso electrónico] : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings / edited by Nassir Navab, Pierre Jannin. por Navab, Nassir [editor.] \| Jannin, Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6135Origen: 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 .U83.
		Graphics Recognition. Achievements, Challenges, and Evolution [recurso electrónico] : 8th International Workshop, GREC 2009, La Rochelle, France, July 22-23, 2009. Selected Papers / edited by Jean-Marc Ogier, Wenyin Liu, Josep Lladós. por Ogier, Jean-Marc [editor.] \| Liu, Wenyin [editor.] \| Lladós, Josep [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6020Origen: 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 .D343.
		Time for Verification [recurso electrónico] : Essays in Memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled. por Manna, Zohar [editor.] \| Peled, Doron A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6200Origen: 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.6 -76.66.
		Hybrid Artificial Intelligence Systems [recurso electrónico] : 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I / edited by Manuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian. por Graña Romay, Manuel [editor.] \| Corchado, Emilio [editor.] \| Garcia Sebastian, M. Teresa [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6076Origen: 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.

		Intelligent Tutoring Systems [recurso electrónico] : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II / edited by Vincent Aleven, Judy Kay, Jack Mostow. por Aleven, Vincent [editor.] \| Kay, Judy [editor.] \| Mostow, Jack [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6095Origen: 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: LB1028.43 -1028.75.
		User Modeling, Adaptation, and Personalization [recurso electrónico] : 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010. Proceedings / edited by Paul Bra, Alfred Kobsa, David Chin. por Bra, Paul [editor.] \| Kobsa, Alfred [editor.] \| Chin, David [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6075Origen: 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 .D343.
		The Semantic Web: Research and Applications [recurso electrónico] : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 –June 3, 2010, Proceedings, Part I / edited by Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache. por Aroyo, Lora [editor.] \| Antoniou, Grigoris [editor.] \| Hyvönen, Eero [editor.] \| Teije, Annette [editor.] \| Stuckenschmidt, Heiner [editor.] \| Cabral, Liliana [editor.] \| Tudorache, Tania [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6088Origen: 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: QA75.5 -76.95.
		The Semantic Web: Research and Applications [recurso electrónico] : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II / edited by Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache. por Aroyo, Lora [editor.] \| Antoniou, Grigoris [editor.] \| Hyvönen, Eero [editor.] \| Teije, Annette [editor.] \| Stuckenschmidt, Heiner [editor.] \| Cabral, Liliana [editor.] \| Tudorache, Tania [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6089Origen: 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: QA75.5 -76.95.
		Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [recurso electrónico] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings / edited by Andrea Lodi, Michela Milano, Paolo Toth. por Lodi, Andrea [editor.] \| Milano, Michela [editor.] \| Toth, Paolo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6140Origen: 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: QA297 -299.4.
		Unconventional Computation [recurso electrónico] : 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings / edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis. por Calude, Cristian S [editor.] \| Hagiya, Masami [editor.] \| Morita, Kenichi [editor.] \| Rozenberg, Grzegorz [editor.] \| Timmis, Jon [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6079Origen: 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: QA75.5 -76.95.
		Rough Sets and Current Trends in Computing [recurso electrónico] : 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30,2010. Proceedings / edited by Marcin Szczuka, Marzena Kryszkiewicz, Sheela Ramanna, Richard Jensen, Qinghua Hu. por Szczuka, Marcin [editor.] \| Kryszkiewicz, Marzena [editor.] \| Ramanna, Sheela [editor.] \| Jensen, Richard [editor.] \| Hu, Qinghua [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6086Origen: 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.
		Smart Graphics [recurso electrónico] : 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26, 2010 Proceedings / edited by Robyn Taylor, Pierre Boulanger, Antonio Krüger, Patrick Olivier. por Taylor, Robyn [editor.] \| Boulanger, Pierre [editor.] \| Krüger, Antonio [editor.] \| Olivier, Patrick [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6133Origen: 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 .U83.
		Reliable Software Technologiey – Ada-Europe 2010 [recurso electrónico] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings / edited by Jorge Real, Tullio Vardanega. por Real, Jorge [editor.] \| Vardanega, Tullio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6106Origen: 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.7 -76.73.
		Multi-Agent-Based Simulation X [recurso electrónico] : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers / edited by Gennaro Tosto, H. Dyke Parunak. por Tosto, Gennaro [editor.] \| Dyke Parunak, H [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 5683Origen: 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.
		Theory and Applications of Models of Computation [recurso electrónico] : 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings / edited by Jan Kratochvíl, Angsheng Li, Jirí Fiala, Petr Kolman. por Kratochvíl, Jan [editor.] \| Li, Angsheng [editor.] \| Fiala, Jirí [editor.] \| Kolman, Petr [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6108Origen: 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: QA75.5 -76.95.
		Modelling Foundations and Applications [recurso electrónico] : 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings / edited by Thomas Kühne, Bran Selic, Marie-Pierre Gervais, François Terrier. por Kühne, Thomas [editor.] \| Selic, Bran [editor.] \| Gervais, Marie-Pierre [editor.] \| Terrier, François [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6138Origen: 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.758.
		Intelligence and Security Informatics [recurso electrónico] : Pacific Asia Workshop, PAISI 2010, Hyderabad, India, June 21, 2010. Proceedings / edited by Hsinchun Chen, Michael Chau, Shu-hsing Li, Shalini Urs, Srinath Srinivasa, G. Alan Wang. por Chen, Hsinchun [editor.] \| Chau, Michael [editor.] \| Li, Shu-hsing [editor.] \| Urs, Shalini [editor.] \| Srinivasa, Srinath [editor.] \| Wang, G. Alan [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6122Origen: 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 .A25.
		The Role of Digital Libraries in a Time of Global Change [recurso electrónico] : 12th International Conference on Asia-Pacific Digital Libraries, ICADL 2010, Gold Coast, Australia, June 21-25, 2010. Proceedings / edited by Gobinda Chowdhury, Chris Koo, Jane Hunter. por Chowdhury, Gobinda [editor.] \| Koo, Chris [editor.] \| Hunter, Jane [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6102Origen: 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: QA75.5 -76.95.
		Image and Signal Processing [recurso electrónico] : 4th International Conference, ICISP 2010, Trois-Rivières, QC, Canada, June 30-July 2, 2010. Proceedings / edited by Abderrahim Elmoataz, Olivier Lezoray, Fathallah Nouboud, Driss Mammass, Jean Meunier. por Elmoataz, Abderrahim [editor.] \| Lezoray, Olivier [editor.] \| Nouboud, Fathallah [editor.] \| Mammass, Driss [editor.] \| Meunier, Jean [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6134Origen: 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: TA1637 -1638.
		Theory and Practice of Model Transformations [recurso electrónico] : Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / edited by Laurence Tratt, Martin Gogolla. por Tratt, Laurence [editor.] \| Gogolla, Martin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6142Origen: 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.758.
		Information Processing in Computer-Assisted Interventions [recurso electrónico] : First International Conference, IPCAI 2010, Geneva, Switzerland, June 23, 2010. Proceedings / edited by Nassir Navab, Pierre Jannin. por Navab, Nassir [editor.] \| Jannin, Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6135Origen: 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 .U83.
		Graphics Recognition. Achievements, Challenges, and Evolution [recurso electrónico] : 8th International Workshop, GREC 2009, La Rochelle, France, July 22-23, 2009. Selected Papers / edited by Jean-Marc Ogier, Wenyin Liu, Josep Lladós. por Ogier, Jean-Marc [editor.] \| Liu, Wenyin [editor.] \| Lladós, Josep [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6020Origen: 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 .D343.
		Time for Verification [recurso electrónico] : Essays in Memory of Amir Pnueli / edited by Zohar Manna, Doron A. Peled. por Manna, Zohar [editor.] \| Peled, Doron A [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6200Origen: 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.6 -76.66.
		Hybrid Artificial Intelligence Systems [recurso electrónico] : 5th International Conference, HAIS 2010, San Sebastián, Spain, June 23-25, 2010. Proceedings, Part I / edited by Manuel Graña Romay, Emilio Corchado, M. Teresa Garcia Sebastian. por Graña Romay, Manuel [editor.] \| Corchado, Emilio [editor.] \| Garcia Sebastian, M. Teresa [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 6076Origen: 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.

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.