Su búsqueda retornó 7749 resultados.

Resultados
		Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [recurso electrónico] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston. por Bernardo, Marco [editor.] \| De Nicola, Rocco [editor.] \| Hillston, Jane [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9700Origen: 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) .
		Green, Pervasive, and Cloud Computing [recurso electrónico] : 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings / edited by Xinyi Huang, Yang Xiang, Kuan-Ching Li. por Huang, Xinyi [editor.] \| Xiang, Yang [editor.] \| Li, Kuan-Ching [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9663Origen: 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) .
		Graphical Models for Security [recurso electrónico] : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim. por Kordy, Barbara [editor.] \| Ekstedt, Mathias [editor.] \| Kim, Dong Seong [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9987Origen: 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) .
		Building Dialogue POMDPs from Expert Dialogues [recurso electrónico] : An end-to-end approach / by Hamidreza Chinaei, Brahim Chaib-draa. por Chinaei, Hamidreza [author.] \| Chaib-draa, Brahim [author.] \| SpringerLink (Online service). Series SpringerBriefs in Electrical and Computer EngineeringEdició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) .
		Computational Science and Its Applications ? ICCSA 2016 [recurso electrónico] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang. por Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Misra, Sanjay [editor.] \| Rocha, Ana Maria A.C [editor.] \| Torre, Carmelo M [editor.] \| Taniar, David [editor.] \| Apduhan, Bernady O [editor.] \| Stankova, Elena [editor.] \| Wang, Shangguang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9787Origen: 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) .
		Fluid Flow and Heat Transfer in Rotating Porous Media [recurso electrónico] / by Peter Vadasz. por Vadasz, Peter [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyEdició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) .
		Loadings in Thermal Barrier Coatings of Jet Engine Turbine Blades [recurso electrónico] : An Experimental Research and Numerical Modeling / by Tomasz Sadowski, Przemys?aw Golewski. por Sadowski, Tomasz [author.] \| Golewski, Przemys?aw [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyOrigen: 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) .
		Metaheuristic Applications to Speech Enhancement [recurso electrónico] / by Prajna Kunche, K.V.V.S. Reddy. por Kunche, Prajna [author.] \| Reddy, K.V.V.S [author.] \| SpringerLink (Online service). Series SpringerBriefs in Electrical and Computer EngineeringOrigen: 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) .
		Swarm, Evolutionary, and Memetic Computing [recurso electrónico] : 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy. por Panigrahi, Bijaya Ketan [editor.] \| Suganthan, Ponnuthurai Nagaratnam [editor.] \| Das, Swagatam [editor.] \| Satapathy, Suresh Chandra [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9873Origen: 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) .
		Search Based Software Engineering [recurso electrónico] : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / edited by Federica Sarro, Kalyanmoy Deb. por Sarro, Federica [editor.] \| Deb, Kalyanmoy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9962Origen: 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) .
		Frequency Selective Surfaces based High Performance Microstrip Antenna [recurso electrónico] / by Shiv Narayan, B. Sangeetha, Rakesh Mohan Jha. por Narayan, Shiv [author.] \| Sangeetha, B [author.] \| Jha, Rakesh Mohan [author.] \| SpringerLink (Online service). Series SpringerBriefs in Electrical and Computer EngineeringEdición: 1st ed. 2016.Origen: 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) .
		Computers and Games [recurso electrónico] : 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 ? July 1, 2016, Revised Selected Papers / edited by Aske Plaat, Walter Kosters, Jaap van den Herik. por Plaat, Aske [editor.] \| Kosters, Walter [editor.] \| van den Herik, Jaap [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10068Origen: 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) .
		Tackling Society's Grand Challenges with Design Science [recurso electrónico] : 11th International Conference, DESRIST 2016, St. John?s, NL, Canada, May 23-25, 2016, Proceedings / edited by Jeffrey Parsons, Tuure Tuunanen, John Venable, Brian Donnellan, Markus Helfert, Jim Kenneally. por Parsons, Jeffrey [editor.] \| Tuunanen, Tuure [editor.] \| Venable, John [editor.] \| Donnellan, Brian [editor.] \| Helfert, Markus [editor.] \| Kenneally, Jim [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9661Origen: 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) .
		Database Systems for Advanced Applications [recurso electrónico] : 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II / edited by Shamkant B. Navathe, Weili Wu, Shashi Shekhar, Xiaoyong Du, Sean X. Wang, Hui Xiong. por Navathe, Shamkant B [editor.] \| Wu, Weili [editor.] \| Shekhar, Shashi [editor.] \| Du, Xiaoyong [editor.] \| Wang, Sean X [editor.] \| Xiong, Hui [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9643Origen: 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) .
		Knowledge Engineering and Knowledge Management [recurso electrónico] : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings / edited by Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali. por Blomqvist, Eva [editor.] \| Ciancarini, Paolo [editor.] \| Poggi, Francesco [editor.] \| Vitali, Fabio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10024Origen: 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) .
		Mathematical and Engineering Methods in Computer Science [recurso electrónico] : 10th International Doctoral Workshop, MEMICS 2015, Tel?, Czech Republic, October 23?25, 2015, Revised Selected Papers / edited by Jan Kofro?, Tomá? Vojnar. por Kofro?, Jan [editor.] \| Vojnar, Tomá? [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9548Edició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) .
		Tools and Algorithms for the Construction and Analysis of Systems [recurso electrónico] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin. por Chechik, Marsha [editor.] \| Raskin, Jean-François [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9636Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Deductive Software Verification ? The KeY Book [recurso electrónico] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. por Ahrendt, Wolfgang [editor.] \| Beckert, Bernhard [editor.] \| Bubel, Richard [editor.] \| Hähnle, Reiner [editor.] \| Schmitt, Peter H [editor.] \| Ulbrich, Mattias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10001Origen: 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) .
		Multiagent System Technologies [recurso electrónico] : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / edited by Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt. por Klusch, Matthias [editor.] \| Unland, Rainer [editor.] \| Shehory, Onn [editor.] \| Pokahr, Alexander [editor.] \| Ahrndt, Sebastian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9872Origen: 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) .
		NASA Formal Methods [recurso electrónico] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk. por Rayadurgam, Sanjai [editor.] \| Tkachuk, Oksana [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9690Origen: 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) .

		Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems [recurso electrónico] : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures / edited by Marco Bernardo, Rocco De Nicola, Jane Hillston. por Bernardo, Marco [editor.] \| De Nicola, Rocco [editor.] \| Hillston, Jane [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9700Origen: 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) .
		Green, Pervasive, and Cloud Computing [recurso electrónico] : 11th International Conference, GPC 2016, Xi'an, China, May 6-8, 2016. Proceedings / edited by Xinyi Huang, Yang Xiang, Kuan-Ching Li. por Huang, Xinyi [editor.] \| Xiang, Yang [editor.] \| Li, Kuan-Ching [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9663Origen: 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) .
		Graphical Models for Security [recurso electrónico] : Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers / edited by Barbara Kordy, Mathias Ekstedt, Dong Seong Kim. por Kordy, Barbara [editor.] \| Ekstedt, Mathias [editor.] \| Kim, Dong Seong [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9987Origen: 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) .
		Building Dialogue POMDPs from Expert Dialogues [recurso electrónico] : An end-to-end approach / by Hamidreza Chinaei, Brahim Chaib-draa. por Chinaei, Hamidreza [author.] \| Chaib-draa, Brahim [author.] \| SpringerLink (Online service). Series SpringerBriefs in Electrical and Computer EngineeringEdició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) .
		Computational Science and Its Applications ? ICCSA 2016 [recurso electrónico] : 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II / edited by Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Ana Maria A.C. Rocha, Carmelo M. Torre, David Taniar, Bernady O. Apduhan, Elena Stankova, Shangguang Wang. por Gervasi, Osvaldo [editor.] \| Murgante, Beniamino [editor.] \| Misra, Sanjay [editor.] \| Rocha, Ana Maria A.C [editor.] \| Torre, Carmelo M [editor.] \| Taniar, David [editor.] \| Apduhan, Bernady O [editor.] \| Stankova, Elena [editor.] \| Wang, Shangguang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9787Origen: 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) .
		Fluid Flow and Heat Transfer in Rotating Porous Media [recurso electrónico] / by Peter Vadasz. por Vadasz, Peter [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyEdició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) .
		Loadings in Thermal Barrier Coatings of Jet Engine Turbine Blades [recurso electrónico] : An Experimental Research and Numerical Modeling / by Tomasz Sadowski, Przemys?aw Golewski. por Sadowski, Tomasz [author.] \| Golewski, Przemys?aw [author.] \| SpringerLink (Online service). Series SpringerBriefs in Applied Sciences and TechnologyOrigen: 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) .
		Metaheuristic Applications to Speech Enhancement [recurso electrónico] / by Prajna Kunche, K.V.V.S. Reddy. por Kunche, Prajna [author.] \| Reddy, K.V.V.S [author.] \| SpringerLink (Online service). Series SpringerBriefs in Electrical and Computer EngineeringOrigen: 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) .
		Swarm, Evolutionary, and Memetic Computing [recurso electrónico] : 6th International Conference, SEMCCO 2015, Hyderabad, India, December 18-19, 2015, Revised Selected Papers / edited by Bijaya Ketan Panigrahi, Ponnuthurai Nagaratnam Suganthan, Swagatam Das, Suresh Chandra Satapathy. por Panigrahi, Bijaya Ketan [editor.] \| Suganthan, Ponnuthurai Nagaratnam [editor.] \| Das, Swagatam [editor.] \| Satapathy, Suresh Chandra [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9873Origen: 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) .
		Search Based Software Engineering [recurso electrónico] : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / edited by Federica Sarro, Kalyanmoy Deb. por Sarro, Federica [editor.] \| Deb, Kalyanmoy [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9962Origen: 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) .
		Frequency Selective Surfaces based High Performance Microstrip Antenna [recurso electrónico] / by Shiv Narayan, B. Sangeetha, Rakesh Mohan Jha. por Narayan, Shiv [author.] \| Sangeetha, B [author.] \| Jha, Rakesh Mohan [author.] \| SpringerLink (Online service). Series SpringerBriefs in Electrical and Computer EngineeringEdición: 1st ed. 2016.Origen: 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) .
		Computers and Games [recurso electrónico] : 9th International Conference, CG 2016, Leiden, The Netherlands, June 29 ? July 1, 2016, Revised Selected Papers / edited by Aske Plaat, Walter Kosters, Jaap van den Herik. por Plaat, Aske [editor.] \| Kosters, Walter [editor.] \| van den Herik, Jaap [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10068Origen: 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) .
		Tackling Society's Grand Challenges with Design Science [recurso electrónico] : 11th International Conference, DESRIST 2016, St. John?s, NL, Canada, May 23-25, 2016, Proceedings / edited by Jeffrey Parsons, Tuure Tuunanen, John Venable, Brian Donnellan, Markus Helfert, Jim Kenneally. por Parsons, Jeffrey [editor.] \| Tuunanen, Tuure [editor.] \| Venable, John [editor.] \| Donnellan, Brian [editor.] \| Helfert, Markus [editor.] \| Kenneally, Jim [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9661Origen: 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) .
		Database Systems for Advanced Applications [recurso electrónico] : 21st International Conference, DASFAA 2016, Dallas, TX, USA, April 16-19, 2016, Proceedings, Part II / edited by Shamkant B. Navathe, Weili Wu, Shashi Shekhar, Xiaoyong Du, Sean X. Wang, Hui Xiong. por Navathe, Shamkant B [editor.] \| Wu, Weili [editor.] \| Shekhar, Shashi [editor.] \| Du, Xiaoyong [editor.] \| Wang, Sean X [editor.] \| Xiong, Hui [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9643Origen: 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) .
		Knowledge Engineering and Knowledge Management [recurso electrónico] : 20th International Conference, EKAW 2016, Bologna, Italy, November 19-23, 2016, Proceedings / edited by Eva Blomqvist, Paolo Ciancarini, Francesco Poggi, Fabio Vitali. por Blomqvist, Eva [editor.] \| Ciancarini, Paolo [editor.] \| Poggi, Francesco [editor.] \| Vitali, Fabio [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10024Origen: 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) .
		Mathematical and Engineering Methods in Computer Science [recurso electrónico] : 10th International Doctoral Workshop, MEMICS 2015, Tel?, Czech Republic, October 23?25, 2015, Revised Selected Papers / edited by Jan Kofro?, Tomá? Vojnar. por Kofro?, Jan [editor.] \| Vojnar, Tomá? [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9548Edició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) .
		Tools and Algorithms for the Construction and Analysis of Systems [recurso electrónico] : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin. por Chechik, Marsha [editor.] \| Raskin, Jean-François [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9636Origen: Springer eBooksTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Deductive Software Verification ? The KeY Book [recurso electrónico] : From Theory to Practice / edited by Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich. por Ahrendt, Wolfgang [editor.] \| Beckert, Bernhard [editor.] \| Bubel, Richard [editor.] \| Hähnle, Reiner [editor.] \| Schmitt, Peter H [editor.] \| Ulbrich, Mattias [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10001Origen: 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) .
		Multiagent System Technologies [recurso electrónico] : 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings / edited by Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt. por Klusch, Matthias [editor.] \| Unland, Rainer [editor.] \| Shehory, Onn [editor.] \| Pokahr, Alexander [editor.] \| Ahrndt, Sebastian [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9872Origen: 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) .
		NASA Formal Methods [recurso electrónico] : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk. por Rayadurgam, Sanjai [editor.] \| Tkachuk, Oksana [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9690Origen: 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

Títulos

Su búsqueda retornó 7749 resultados.