Resultados
|
|
|
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 25th International Conference, FOSSACS 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 Patricia Bouyer, Lutz Schröder. por Series Lecture Notes in Computer Science ; 13242
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.
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Computer and Information Sciences [electronic resource] : 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27-28, 2016, Proceedings / edited by Tadeusz Czachórski, Erol Gelenbe, Krzysztof Grochla, Ricardo Lent. por Series Communications in Computer and Information Science ; 659
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.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Security of Networks and Services in an All-Connected World [electronic resource] : 11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings / edited by Daphne Tuncer, Robert Koch, Rémi Badonnel, Burkhard Stiller. por Series Computer Communication Networks and Telecommunications ; 10356
Edición: 1st ed. 2017.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2017
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|