Su búsqueda retornó 2235 resultados.

Resultados
		Information Security Theory and Practice [recurso electrónico] : 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26?27, 2016, Proceedings / edited by Sara Foresti, Javier Lopez. por Foresti, Sara [editor.] \| Lopez, Javier [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9895Origen: 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) .
		Mobile Web and Intelligent Information Systems [recurso electrónico] : 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings / edited by Muhammad Younas, Irfan Awan, Natalia Kryvinska, Christine Strauss, Do van Thanh. por Younas, Muhammad [editor.] \| Awan, Irfan [editor.] \| Kryvinska, Natalia [editor.] \| Strauss, Christine [editor.] \| Thanh, Do van [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9847Origen: 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: Foundational Techniques [recurso electrónico] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10?14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9952Origen: 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) .
		Modelling Foundations and Applications [recurso electrónico] : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / edited by Andrzej W?sowski, Henrik Lönn. por W?sowski, Andrzej [editor.] \| Lönn, Henrik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9764Origen: 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) .
		Information Security and Privacy [recurso electrónico] : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II / edited by Joseph K. Liu, Ron Steinfeld. por Liu, Joseph K [editor.] \| Steinfeld, Ron [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9723Origen: 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 Learning for Health Informatics [recurso electrónico] : State-of-the-Art and Future Challenges / edited by Andreas Holzinger. por Holzinger, Andreas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9605Origen: 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) .
		Informatics in Schools: Improvement of Informatics Knowledge and Perception [recurso electrónico] : 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings / edited by Andrej Brodnik, Françoise Tort. por Brodnik, Andrej [editor.] \| Tort, Françoise [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9973Origen: 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) .
		Software Technologies: Applications and Foundations [recurso electrónico] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer. por Milazzo, Paolo [editor.] \| Varró, Dániel [editor.] \| Wimmer, Manuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9946Origen: 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) .
		Runtime Verification [recurso electrónico] : 16th International Conference, RV 2016, Madrid, Spain, September 23?30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez. por Falcone, Yliès [editor.] \| Sánchez, César [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10012Origen: 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) .
		Transactions on Computational Collective Intelligence XXI [recurso electrónico] : Special Issue on Keyword Search and Big Data / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Paulo Rupino da Cunha. por Nguyen, Ngoc Thanh [editor.] \| Kowalczyk, Ryszard [editor.] \| Rupino da Cunha, Paulo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9630Edición: 1st ed. 2016.Origen: 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) .
		Perspectives of System Informatics [recurso electrónico] : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / edited by Manuel Mazzara, Andrei Voronkov. por Mazzara, Manuel [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9609Origen: 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) .
		Scalable Uncertainty Management [recurso electrónico] : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / edited by Steven Schockaert, Pierre Senellart. por Schockaert, Steven [editor.] \| Senellart, Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9858Origen: 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) .
		Pursuit of the Universal [recurso electrónico] : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings / edited by Arnold Beckmann, Laurent Bienvenu, Nata?a Jonoska. por Beckmann, Arnold [editor.] \| Bienvenu, Laurent [editor.] \| Jonoska, Nata?a [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9709Origen: 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-Centered and Error-Resilient Systems Development [recurso electrónico] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis. por Bogdan, Cristian [editor.] \| Gulliksen, Jan [editor.] \| Sauer, Stefan [editor.] \| Forbrig, Peter [editor.] \| Winckler, Marco [editor.] \| Johnson, Chris [editor.] \| Palanque, Philippe [editor.] \| Bernhaupt, Regina [editor.] \| Kis, Filip [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9856Origen: 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) .
		Testing Software and Systems [recurso electrónico] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / edited by Franz Wotawa, Mihai Nica, Natalia Kushik. por Wotawa, Franz [editor.] \| Nica, Mihai [editor.] \| Kushik, Natalia [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9976Origen: 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) .
		Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [recurso electrónico] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4?6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort. por Remke, Anne [editor.] \| Haverkort, Boudewijn R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9629Edició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) .
		Network and Parallel Computing [recurso electrónico] : 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / edited by Guang R. Gao, Depei Qian, Xinbo Gao, Barbara Chapman, Wenguang Chen. por Gao, Guang R [editor.] \| Qian, Depei [editor.] \| Gao, Xinbo [editor.] \| Chapman, Barbara [editor.] \| Chen, Wenguang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9966Origen: 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 ? ISWC 2016 [recurso electrónico] : 15th International Semantic Web Conference, Kobe, Japan, October 17?21, 2016, Proceedings, Part I / edited by Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil. por Groth, Paul [editor.] \| Simperl, Elena [editor.] \| Gray, Alasdair [editor.] \| Sabou, Marta [editor.] \| Krötzsch, Markus [editor.] \| Lecue, Freddy [editor.] \| Flöck, Fabian [editor.] \| Gil, Yolanda [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9981Origen: 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) .
		High Performance Computing [recurso electrónico] : ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19?23, 2016, Revised Selected Papers / edited by Michela Taufer, Bernd Mohr, Julian M. Kunkel. por Taufer, Michela [editor.] \| Mohr, Bernd [editor.] \| Kunkel, Julian M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9945Origen: 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) .
		Genetic Programming [recurso electrónico] : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / edited by Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim. por Heywood, Malcolm I [editor.] \| McDermott, James [editor.] \| Castelli, Mauro [editor.] \| Costa, Ernesto [editor.] \| Sim, Kevin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9594Edició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) .

		Information Security Theory and Practice [recurso electrónico] : 10th IFIP WG 11.2 International Conference, WISTP 2016, Heraklion, Crete, Greece, September 26?27, 2016, Proceedings / edited by Sara Foresti, Javier Lopez. por Foresti, Sara [editor.] \| Lopez, Javier [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9895Origen: 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) .
		Mobile Web and Intelligent Information Systems [recurso electrónico] : 13th International Conference, MobiWIS 2016, Vienna, Austria, August 22-24, 2016, Proceedings / edited by Muhammad Younas, Irfan Awan, Natalia Kryvinska, Christine Strauss, Do van Thanh. por Younas, Muhammad [editor.] \| Awan, Irfan [editor.] \| Kryvinska, Natalia [editor.] \| Strauss, Christine [editor.] \| Thanh, Do van [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9847Origen: 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: Foundational Techniques [recurso electrónico] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10?14, 2016, Proceedings, Part I / edited by Tiziana Margaria, Bernhard Steffen. por Margaria, Tiziana [editor.] \| Steffen, Bernhard [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9952Origen: 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) .
		Modelling Foundations and Applications [recurso electrónico] : 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings / edited by Andrzej W?sowski, Henrik Lönn. por W?sowski, Andrzej [editor.] \| Lönn, Henrik [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9764Origen: 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) .
		Information Security and Privacy [recurso electrónico] : 21st Australasian Conference, ACISP 2016, Melbourne, VIC, Australia, July 4-6, 2016, Proceedings, Part II / edited by Joseph K. Liu, Ron Steinfeld. por Liu, Joseph K [editor.] \| Steinfeld, Ron [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9723Origen: 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 Learning for Health Informatics [recurso electrónico] : State-of-the-Art and Future Challenges / edited by Andreas Holzinger. por Holzinger, Andreas [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9605Origen: 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) .
		Informatics in Schools: Improvement of Informatics Knowledge and Perception [recurso electrónico] : 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Münster, Germany, October 13-15, 2016, Proceedings / edited by Andrej Brodnik, Françoise Tort. por Brodnik, Andrej [editor.] \| Tort, Françoise [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9973Origen: 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) .
		Software Technologies: Applications and Foundations [recurso electrónico] : STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers / edited by Paolo Milazzo, Dániel Varró, Manuel Wimmer. por Milazzo, Paolo [editor.] \| Varró, Dániel [editor.] \| Wimmer, Manuel [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9946Origen: 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) .
		Runtime Verification [recurso electrónico] : 16th International Conference, RV 2016, Madrid, Spain, September 23?30, 2016, Proceedings / edited by Yliès Falcone, César Sánchez. por Falcone, Yliès [editor.] \| Sánchez, César [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 10012Origen: 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) .
		Transactions on Computational Collective Intelligence XXI [recurso electrónico] : Special Issue on Keyword Search and Big Data / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Paulo Rupino da Cunha. por Nguyen, Ngoc Thanh [editor.] \| Kowalczyk, Ryszard [editor.] \| Rupino da Cunha, Paulo [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9630Edición: 1st ed. 2016.Origen: 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) .
		Perspectives of System Informatics [recurso electrónico] : 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers / edited by Manuel Mazzara, Andrei Voronkov. por Mazzara, Manuel [editor.] \| Voronkov, Andrei [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9609Origen: 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) .
		Scalable Uncertainty Management [recurso electrónico] : 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings / edited by Steven Schockaert, Pierre Senellart. por Schockaert, Steven [editor.] \| Senellart, Pierre [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9858Origen: 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) .
		Pursuit of the Universal [recurso electrónico] : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings / edited by Arnold Beckmann, Laurent Bienvenu, Nata?a Jonoska. por Beckmann, Arnold [editor.] \| Bienvenu, Laurent [editor.] \| Jonoska, Nata?a [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9709Origen: 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-Centered and Error-Resilient Systems Development [recurso electrónico] : IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings / edited by Cristian Bogdan, Jan Gulliksen, Stefan Sauer, Peter Forbrig, Marco Winckler, Chris Johnson, Philippe Palanque, Regina Bernhaupt, Filip Kis. por Bogdan, Cristian [editor.] \| Gulliksen, Jan [editor.] \| Sauer, Stefan [editor.] \| Forbrig, Peter [editor.] \| Winckler, Marco [editor.] \| Johnson, Chris [editor.] \| Palanque, Philippe [editor.] \| Bernhaupt, Regina [editor.] \| Kis, Filip [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9856Origen: 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) .
		Testing Software and Systems [recurso electrónico] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / edited by Franz Wotawa, Mihai Nica, Natalia Kushik. por Wotawa, Franz [editor.] \| Nica, Mihai [editor.] \| Kushik, Natalia [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9976Origen: 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) .
		Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [recurso electrónico] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4?6, 2016, Proceedings / edited by Anne Remke, Boudewijn R. Haverkort. por Remke, Anne [editor.] \| Haverkort, Boudewijn R [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9629Edició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) .
		Network and Parallel Computing [recurso electrónico] : 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings / edited by Guang R. Gao, Depei Qian, Xinbo Gao, Barbara Chapman, Wenguang Chen. por Gao, Guang R [editor.] \| Qian, Depei [editor.] \| Gao, Xinbo [editor.] \| Chapman, Barbara [editor.] \| Chen, Wenguang [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9966Origen: 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 ? ISWC 2016 [recurso electrónico] : 15th International Semantic Web Conference, Kobe, Japan, October 17?21, 2016, Proceedings, Part I / edited by Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil. por Groth, Paul [editor.] \| Simperl, Elena [editor.] \| Gray, Alasdair [editor.] \| Sabou, Marta [editor.] \| Krötzsch, Markus [editor.] \| Lecue, Freddy [editor.] \| Flöck, Fabian [editor.] \| Gil, Yolanda [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9981Origen: 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) .
		High Performance Computing [recurso electrónico] : ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19?23, 2016, Revised Selected Papers / edited by Michela Taufer, Bernd Mohr, Julian M. Kunkel. por Taufer, Michela [editor.] \| Mohr, Bernd [editor.] \| Kunkel, Julian M [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9945Origen: 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) .
		Genetic Programming [recurso electrónico] : 19th European Conference, EuroGP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / edited by Malcolm I. Heywood, James McDermott, Mauro Castelli, Ernesto Costa, Kevin Sim. por Heywood, Malcolm I [editor.] \| McDermott, James [editor.] \| Castelli, Mauro [editor.] \| Costa, Ernesto [editor.] \| Sim, Kevin [editor.] \| SpringerLink (Online service). Series Lecture Notes in Computer Science ; 9594Edició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) .

Refinar su búsqueda

Disponibilidad

Autores

Colecciones

Bibliotecas depositarias

Tipos de ítem

Ubicaciones

Series

Tópicos

Su búsqueda retornó 2235 resultados.