Resultados
|
|
|
|
|
|
|
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings / edited by Einar Broch Johnsen, Manuel Wimmer. por Series Lecture Notes in Computer Science ; 13241
Edición: 1st ed. 2022.
Tipo de material:  Texto; Formato:
electrónico
disponible en línea  ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2022
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I / edited by Dana Fisman, Grigore Rosu. por Series Lecture Notes in Computer Science ; 13243
Edición: 1st ed. 2022.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2022
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II / edited by Dana Fisman, Grigore Rosu. por Series Lecture Notes in Computer Science ; 13244
Edición: 1st ed. 2022.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2022
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
International Cooperation for Enhancing Nuclear Safety, Security, Safeguards and Non-proliferation-60 Years of IAEA and EURATOM [electronic resource] : Proceedings of the XX Edoardo Amaldi Conference, Accademia Nazionale dei Lincei, Rome, Italy, October 9-10, 2017 / edited by Luciano Maiani, Said Abousahl, Wolfango Plastino. por Series Springer Proceedings in Physics ; 206
Edición: 1st ed. 2018.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2018
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
Cyber Security [electronic resource] : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20-21, 2021, Revised Selected Papers / edited by Wei Lu, Yuqing Zhang, Weiping Wen, Hanbing Yan, Chao Li. por Series Communications in Computer and Information Science ; 1506
Edición: 1st ed. 2022.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2022
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Agile Processes, in Software Engineering, and Extreme Programming [electronic resource] : 17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016, Proceedings / edited by Helen Sharp, Tracy Hall. por Series Lecture Notes in Business Information Processing ; 251
Edición: 1st ed. 2016.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2016
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|