Su búsqueda retornó 5913 resultados.

Resultados
		Intelligent Computing Theories and Application [recurso electrónico] : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo. por Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9772Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Probability Logics [recurso electrónico] : Probability-Based Formalization of Uncertain Reasoning / by Zoran Ognjanovi?, Miodrag Ra?kovi?, Zoran Markovi?. por Ognjanovi?, Zoran [author.] \| Ra?kovi?, Miodrag [author.] \| Markovi?, Zoran [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Decision Diagrams for Optimization [recurso electrónico] / by David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker. por Bergman, David [author.] \| Cire, Andre A [author.] \| van Hoeve, Willem-Jan [author.] \| Hooker, John [author.] \| SpringerLink (Online service). Series Artificial Intelligence: Foundations, Theory, and AlgorithmsOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Rule Technologies. Research, Tools, and Applications [recurso electrónico] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman. por Alferes, Jose Julio [editor.] \| Bertossi, Leopoldo [editor.] \| Governatori, Guido [editor.] \| Fodor, Paul [editor.] \| Roman, Dumitru [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9718Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Digital Synaptic Neural Substrate [recurso electrónico] : A New Approach to Computational Creativity / by Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi. por Iqbal, Azlan [author.] \| Guid, Matej [author.] \| Colton, Simon [author.] \| Krivec, Jana [author.] \| Azman, Shazril [author.] \| Haghighi, Boshra [author.] \| SpringerLink (Online service). Series SpringerBriefs in Cognitive Computation ; 3Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Machine Translation [recurso electrónico] : 12th China Workshop, CWMT 2016, Urumqi, China, August 25?26, 2016, Revised Selected Papers / edited by Muyun Yang, Shujie Liu. por Yang, Muyun [editor.] \| Liu, Shujie [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 668Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Integrated Uncertainty in Knowledge Modelling and Decision Making [recurso electrónico] : 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings / edited by Van-Nam Huynh, Masahiro Inuiguchi, Bac Le, Bao Nguyen Le, Thierry Denoeux. por Huynh, Van-Nam [editor.] \| Inuiguchi, Masahiro [editor.] \| Le, Bac [editor.] \| Le, Bao Nguyen [editor.] \| Denoeux, Thierry [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9978Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Intelligent Systems Technologies and Applications [recurso electrónico] : Volume 2 / edited by Stefano Berretti, Sabu M. Thampi, Soura Dasgupta. por Berretti, Stefano [editor.] \| Thampi, Sabu M [editor.] \| Dasgupta, Soura [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 385Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		ICT Innovations 2015 [recurso electrónico] : Emerging Technologies for Better Living / edited by Suzana Loshkovska, Saso Koceski. por Loshkovska, Suzana [editor.] \| Koceski, Saso [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 399Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Semantic Web [recurso electrónico] : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 ? June 2, 2016, Revised Selected Papers / edited by Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladeni?, Sören Auer, Christoph Lange. por Sack, Harald [editor.] \| Rizzo, Giuseppe [editor.] \| Steinmetz, Nadine [editor.] \| Mladeni?, Dunja [editor.] \| Auer, Sören [editor.] \| Lange, Christoph [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9989Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Human-Computer Interaction. Interaction Platforms and Techniques [recurso electrónico] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part II / edited by Masaaki Kurosu. por Kurosu, Masaaki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9732Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Recommender Systems [recurso electrónico] : The Textbook / by Charu C. Aggarwal. por Aggarwal, Charu C [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Culture, Technology, Communication. Common World, Different Futures [recurso electrónico] : 10th IFIP WG 13.8 International Conference, CaTaC 2016, London, UK, June 15-17, 2016, Revised Selected Papers / edited by José Abdelnour-Nocera, Michele Strano, Charles Ess, Maja Van der Velden, Herbert Hrachovec. por Abdelnour-Nocera, José [editor.] \| Strano, Michele [editor.] \| Ess, Charles [editor.] \| Van der Velden, Maja [editor.] \| Hrachovec, Herbert [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 490Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [recurso electrónico] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9953Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Brain-Inspired Computing [recurso electrónico] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / edited by Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov. por Amunts, Katrin [editor.] \| Grandinetti, Lucio [editor.] \| Lippert, Thomas [editor.] \| Petkov, Nicolai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10087Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Geographic Information Science [recurso electrónico] : 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / edited by Jennifer A. Miller, David O'Sullivan, Nancy Wiegand. por Miller, Jennifer A [editor.] \| O'Sullivan, David [editor.] \| Wiegand, Nancy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9927Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Case-Based Reasoning Research and Development [recurso electrónico] : 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings / edited by Ashok Goel, M Belén Díaz-Agudo, Thomas Roth-Berghofer. por Goel, Ashok [editor.] \| Díaz-Agudo, M Belén [editor.] \| Roth-Berghofer, Thomas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9969Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Linguistic Linked Open Data [recurso electrónico] : 12th EUROLAN 2015 Summer School and RUMOUR 2015 Workshop, Sibiu, Romania, July 13-25, 2015, Revised Selected Papers / edited by Diana Trandab??, Daniela Gîfu. por Trandab??, Diana [editor.] \| Gîfu, Daniela [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 588Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		DNA Computing and Molecular Programming [recurso electrónico] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / edited by Yannick Rondelez, Damien Woods. por Rondelez, Yannick [editor.] \| Woods, Damien [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9818Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Big Data Optimization: Recent Developments and Challenges [recurso electrónico] / edited by Ali Emrouznejad. por Emrouznejad, Ali [editor.] \| SpringerLink (Online service). Series Studies in Big Data ; 18Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

		Intelligent Computing Theories and Application [recurso electrónico] : 12th International Conference, ICIC 2016, Lanzhou, China, August 2-5, 2016, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo. por Huang, De-Shuang [editor.] \| Jo, Kang-Hyun [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9772Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Probability Logics [recurso electrónico] : Probability-Based Formalization of Uncertain Reasoning / by Zoran Ognjanovi?, Miodrag Ra?kovi?, Zoran Markovi?. por Ognjanovi?, Zoran [author.] \| Ra?kovi?, Miodrag [author.] \| Markovi?, Zoran [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Decision Diagrams for Optimization [recurso electrónico] / by David Bergman, Andre A. Cire, Willem-Jan van Hoeve, John Hooker. por Bergman, David [author.] \| Cire, Andre A [author.] \| van Hoeve, Willem-Jan [author.] \| Hooker, John [author.] \| SpringerLink (Online service). Series Artificial Intelligence: Foundations, Theory, and AlgorithmsOrigen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Rule Technologies. Research, Tools, and Applications [recurso electrónico] : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings / edited by Jose Julio Alferes, Leopoldo Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman. por Alferes, Jose Julio [editor.] \| Bertossi, Leopoldo [editor.] \| Governatori, Guido [editor.] \| Fodor, Paul [editor.] \| Roman, Dumitru [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9718Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Digital Synaptic Neural Substrate [recurso electrónico] : A New Approach to Computational Creativity / by Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi. por Iqbal, Azlan [author.] \| Guid, Matej [author.] \| Colton, Simon [author.] \| Krivec, Jana [author.] \| Azman, Shazril [author.] \| Haghighi, Boshra [author.] \| SpringerLink (Online service). Series SpringerBriefs in Cognitive Computation ; 3Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Machine Translation [recurso electrónico] : 12th China Workshop, CWMT 2016, Urumqi, China, August 25?26, 2016, Revised Selected Papers / edited by Muyun Yang, Shujie Liu. por Yang, Muyun [editor.] \| Liu, Shujie [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 668Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Singapore : Springer Singapore : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Integrated Uncertainty in Knowledge Modelling and Decision Making [recurso electrónico] : 5th International Symposium, IUKM 2016, Da Nang, Vietnam, November 30- December 2, 2016, Proceedings / edited by Van-Nam Huynh, Masahiro Inuiguchi, Bac Le, Bao Nguyen Le, Thierry Denoeux. por Huynh, Van-Nam [editor.] \| Inuiguchi, Masahiro [editor.] \| Le, Bac [editor.] \| Le, Bao Nguyen [editor.] \| Denoeux, Thierry [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9978Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Intelligent Systems Technologies and Applications [recurso electrónico] : Volume 2 / edited by Stefano Berretti, Sabu M. Thampi, Soura Dasgupta. por Berretti, Stefano [editor.] \| Thampi, Sabu M [editor.] \| Dasgupta, Soura [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 385Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		ICT Innovations 2015 [recurso electrónico] : Emerging Technologies for Better Living / edited by Suzana Loshkovska, Saso Koceski. por Loshkovska, Suzana [editor.] \| Koceski, Saso [editor.] \| SpringerLink (Online service). Series Advances in Intelligent Systems and Computing ; 399Edición: 1st ed. 2016.Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		The Semantic Web [recurso electrónico] : ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29 ? June 2, 2016, Revised Selected Papers / edited by Harald Sack, Giuseppe Rizzo, Nadine Steinmetz, Dunja Mladeni?, Sören Auer, Christoph Lange. por Sack, Harald [editor.] \| Rizzo, Giuseppe [editor.] \| Steinmetz, Nadine [editor.] \| Mladeni?, Dunja [editor.] \| Auer, Sören [editor.] \| Lange, Christoph [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9989Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Human-Computer Interaction. Interaction Platforms and Techniques [recurso electrónico] : 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part II / edited by Masaaki Kurosu. por Kurosu, Masaaki [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9732Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Recommender Systems [recurso electrónico] : The Textbook / by Charu C. Aggarwal. por Aggarwal, Charu C [author.] \| SpringerLink (Online service). Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Culture, Technology, Communication. Common World, Different Futures [recurso electrónico] : 10th IFIP WG 13.8 International Conference, CaTaC 2016, London, UK, June 15-17, 2016, Revised Selected Papers / edited by José Abdelnour-Nocera, Michele Strano, Charles Ess, Maja Van der Velden, Herbert Hrachovec. por Abdelnour-Nocera, José [editor.] \| Strano, Michele [editor.] \| Ess, Charles [editor.] \| Van der Velden, Maja [editor.] \| Hrachovec, Herbert [editor.] \| SpringerLink (Online service). Series IFIP Advances in Information and Communication Technology ; 490Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [recurso electrónico] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9953Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Brain-Inspired Computing [recurso electrónico] : Second International Workshop, BrainComp 2015, Cetraro, Italy, July 6-10, 2015, Revised Selected Papers / edited by Katrin Amunts, Lucio Grandinetti, Thomas Lippert, Nicolai Petkov. por Amunts, Katrin [editor.] \| Grandinetti, Lucio [editor.] \| Lippert, Thomas [editor.] \| Petkov, Nicolai [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10087Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Geographic Information Science [recurso electrónico] : 9th International Conference, GIScience 2016, Montreal, QC, Canada, September 27-30, 2016, Proceedings / edited by Jennifer A. Miller, David O'Sullivan, Nancy Wiegand. por Miller, Jennifer A [editor.] \| O'Sullivan, David [editor.] \| Wiegand, Nancy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9927Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Case-Based Reasoning Research and Development [recurso electrónico] : 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31 - November 2, 2016, Proceedings / edited by Ashok Goel, M Belén Díaz-Agudo, Thomas Roth-Berghofer. por Goel, Ashok [editor.] \| Díaz-Agudo, M Belén [editor.] \| Roth-Berghofer, Thomas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9969Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Linguistic Linked Open Data [recurso electrónico] : 12th EUROLAN 2015 Summer School and RUMOUR 2015 Workshop, Sibiu, Romania, July 13-25, 2015, Revised Selected Papers / edited by Diana Trandab??, Daniela Gîfu. por Trandab??, Diana [editor.] \| Gîfu, Daniela [editor.] \| SpringerLink (Online service). Series Communications in Computer and Information Science ; 588Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		DNA Computing and Molecular Programming [recurso electrónico] : 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings / edited by Yannick Rondelez, Damien Woods. por Rondelez, Yannick [editor.] \| Woods, Damien [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9818Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Big Data Optimization: Recent Developments and Challenges [recurso electrónico] / edited by Ali Emrouznejad. por Emrouznejad, Ali [editor.] \| SpringerLink (Online service). Series Studies in Big Data ; 18Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Lugares

Tópicos

Su búsqueda retornó 5913 resultados.