Su búsqueda retornó 69 resultados.

Resultados
		Lectures on Runtime Verification [electronic resource] : Introductory and Advanced Topics / edited by Ezio Bartocci, Yliès Falcone. por Bartocci, Ezio [editor.] \| Falcone, Yliès [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10457Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke. por Bennaceur, Amel [editor.] \| Hähnle, Reiner [editor.] \| Meinke, Karl [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11026Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / edited by Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger. por German, Reinhard [editor.] \| Hielscher, Kai-Steffen [editor.] \| Krieger, Udo R [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10740Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Model and Data Engineering [electronic resource] : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez. por Abdelwahed, El Hassan [editor.] \| Bellatreche, Ladjel [editor.] \| Golfarelli, Mattéo [editor.] \| Méry, Dominique [editor.] \| Ordonez, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11163Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Modelling Foundations and Applications [electronic resource] : 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings / edited by Alfonso Pierantonio, Salvador Trujillo. por Pierantonio, Alfonso [editor.] \| Trujillo, Salvador [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10890Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] \| Muñoz, César [editor.] \| Narkawicz, Anthony [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] \| Muñoz, César [editor.] \| Narkawicz, Anthony [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		New Opportunities for Software Reuse [electronic resource] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina. por Capilla, Rafael [editor.] \| Gallina, Barbara [editor.] \| Cetina, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10826Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		New Opportunities for Software Reuse [electronic resource] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina. por Capilla, Rafael [editor.] \| Gallina, Barbara [editor.] \| Cetina, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10826Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman. por Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11229Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman. por Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11229Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman. por Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11230Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence [electronic resource] : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers / edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale. por Gorentla Venkata, Manjunath [editor.] \| Imam, Neena [editor.] \| Pophale, Swaroop [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10679Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Performance Evaluation and Benchmarking for the Analytics Era [electronic resource] : 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. por Nambiar, Raghunath [editor.] \| Poess, Meikel [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10661Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone. por Calimeri, Francesco [editor.] \| Hamlen, Kevin [editor.] \| Leone, Nicola [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone. por Calimeri, Francesco [editor.] \| Hamlen, Kevin [editor.] \| Leone, Nicola [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker. por Hooker, John [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11008Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker. por Hooker, John [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11008Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Principles of Modeling [electronic resource] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani. por Lohstroh, Marten [editor.] \| Derler, Patricia [editor.] \| Sirjani, Marjan [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10760Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Product-Focused Software Process Improvement [electronic resource] : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings / edited by Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper. por Kuhrmann, Marco [editor.] \| Schneider, Kurt [editor.] \| Pfahl, Dietmar [editor.] \| Amasaki, Sousuke [editor.] \| Ciolkowski, Marcus [editor.] \| Hebig, Regina [editor.] \| Tell, Paolo [editor.] \| Klünder, Jil [editor.] \| Küpper, Steffen [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11271Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .

		Lectures on Runtime Verification [electronic resource] : Introductory and Advanced Topics / edited by Ezio Bartocci, Yliès Falcone. por Bartocci, Ezio [editor.] \| Falcone, Yliès [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10457Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Machine Learning for Dynamic Software Analysis: Potentials and Limits [electronic resource] : International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers / edited by Amel Bennaceur, Reiner Hähnle, Karl Meinke. por Bennaceur, Amel [editor.] \| Hähnle, Reiner [editor.] \| Meinke, Karl [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11026Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Measurement, Modelling and Evaluation of Computing Systems [electronic resource] : 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings / edited by Reinhard German, Kai-Steffen Hielscher, Udo R. Krieger. por German, Reinhard [editor.] \| Hielscher, Kai-Steffen [editor.] \| Krieger, Udo R [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10740Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Model and Data Engineering [electronic resource] : 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings / edited by El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez. por Abdelwahed, El Hassan [editor.] \| Bellatreche, Ladjel [editor.] \| Golfarelli, Mattéo [editor.] \| Méry, Dominique [editor.] \| Ordonez, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11163Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Modelling Foundations and Applications [electronic resource] : 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings / edited by Alfonso Pierantonio, Salvador Trujillo. por Pierantonio, Alfonso [editor.] \| Trujillo, Salvador [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10890Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] \| Muñoz, César [editor.] \| Narkawicz, Anthony [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		NASA Formal Methods [electronic resource] : 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings / edited by Aaron Dutle, César Muñoz, Anthony Narkawicz. por Dutle, Aaron [editor.] \| Muñoz, César [editor.] \| Narkawicz, Anthony [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10811Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		New Opportunities for Software Reuse [electronic resource] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina. por Capilla, Rafael [editor.] \| Gallina, Barbara [editor.] \| Cetina, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10826Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		New Opportunities for Software Reuse [electronic resource] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina. por Capilla, Rafael [editor.] \| Gallina, Barbara [editor.] \| Cetina, Carlos [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10826Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman. por Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11229Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman. por Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11229Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		On the Move to Meaningful Internet Systems. OTM 2018 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part II / edited by Hervé Panetto, Christophe Debruyne, Henderik A. Proper, Claudio Agostino Ardagna, Dumitru Roman, Robert Meersman. por Panetto, Hervé [editor.] \| Debruyne, Christophe [editor.] \| Proper, Henderik A [editor.] \| Ardagna, Claudio Agostino [editor.] \| Roman, Dumitru [editor.] \| Meersman, Robert [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11230Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence [electronic resource] : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers / edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale. por Gorentla Venkata, Manjunath [editor.] \| Imam, Neena [editor.] \| Pophale, Swaroop [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10679Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Performance Evaluation and Benchmarking for the Analytics Era [electronic resource] : 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers / edited by Raghunath Nambiar, Meikel Poess. por Nambiar, Raghunath [editor.] \| Poess, Meikel [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10661Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone. por Calimeri, Francesco [editor.] \| Hamlen, Kevin [editor.] \| Leone, Nicola [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Practical Aspects of Declarative Languages [electronic resource] : 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings / edited by Francesco Calimeri, Kevin Hamlen, Nicola Leone. por Calimeri, Francesco [editor.] \| Hamlen, Kevin [editor.] \| Leone, Nicola [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10702Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker. por Hooker, John [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11008Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Principles and Practice of Constraint Programming [electronic resource] : 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings / edited by John Hooker. por Hooker, John [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11008Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Principles of Modeling [electronic resource] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani. por Lohstroh, Marten [editor.] \| Derler, Patricia [editor.] \| Sirjani, Marjan [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 10760Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso en línea: Libro electrónico Disponibilidad: Ítems disponibles para referencia: Biblioteca Electrónica Not for loan (1) .
		Product-Focused Software Process Improvement [electronic resource] : 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28-30, 2018, Proceedings / edited by Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper. por Kuhrmann, Marco [editor.] \| Schneider, Kurt [editor.] \| Pfahl, Dietmar [editor.] \| Amasaki, Sousuke [editor.] \| Ciolkowski, Marcus [editor.] \| Hebig, Regina [editor.] \| Tell, Paolo [editor.] \| Klünder, Jil [editor.] \| Küpper, Steffen [editor.] \| SpringerLink (Online service). Series Programming and Software Engineering ; 11271Edición: 1st ed. 2018.Origen: Springer Nature eBookTipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018Acceso 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

Series

Tópicos

Su búsqueda retornó 69 resultados.