Su búsqueda retornó 22 resultados.

Resultados
		Programming Languages and Systems [electronic resource] : 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / edited by Luís Caires. por Caires, Luís [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11423 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I / edited by Isil Dillig, Serdar Tasiran. por Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11561 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Programming Languages and Systems [electronic resource] : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings / edited by Peter Müller. por Müller, Peter [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12075 Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I / edited by Shuvendu K. Lahiri, Chao Wang. por Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12224 Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Principles of Security and Trust [electronic resource] : 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / edited by Flemming Nielson, David Sands. por Nielson, Flemming [editor.] Sands, David [editor.] SpringerLink (Online service) Series Security and Cryptology ; 11426 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Managed Software Evolution [electronic resource] / edited by Ralf Reussner, Michael Goedicke, Wilhelm Hasselbring, Birgit Vogel-Heuser, Jan Keim, Lukas Märtin. por Reussner, Ralf [editor.] Goedicke, Michael [editor.] Hasselbring, Wilhelm [editor.] Vogel-Heuser, Birgit [editor.] Keim, Jan [editor.] Märtin, Lukas [editor.] SpringerLink (Online service) Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Computer Aided Verification [electronic resource] : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II / edited by Shuvendu K. Lahiri, Chao Wang. por Lahiri, Shuvendu K [editor.] Wang, Chao [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12225 Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Fundamental Approaches to Software Engineering [electronic resource] : 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Alessandra Russo, Andy Schürr. por Russo, Alessandra [editor.] Schürr, Andy [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10802 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Fundamental Approaches to Software Engineering [electronic resource] : 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Esther Guerra, Mariëlle Stoelinga. por Guerra, Esther [editor.] Stoelinga, Mariëlle [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12649 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I / edited by Jan Friso Groote, Kim Guldstrand Larsen. por Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12651 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II / edited by Jan Friso Groote, Kim Guldstrand Larsen. por Groote, Jan Friso [editor.] Larsen, Kim Guldstrand [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12652 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker. por Biere, Armin [editor.] Parker, David [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12078 Edición: 1st ed. 2020. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2020 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Principles of Security and Trust [electronic resource] : 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Lujo Bauer, Ralf Küsters. por Bauer, Lujo [editor.] Küsters, Ralf [editor.] SpringerLink (Online service) Series Security and Cryptology ; 10804 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Programming Languages and Systems [electronic resource] : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings / edited by Amal Ahmed. por Ahmed, Amal [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10801 Edición: 1st ed. 2018. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2018 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings / edited by Stefan Kiefer, Christine Tasson. por Kiefer, Stefan [editor.] Tasson, Christine [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12650 Edición: 1st ed. 2021. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2021 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Fundamental Approaches to Software Engineering [electronic resource] : 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings / edited by Reiner Hähnle, Wil van der Aalst. por Hähnle, Reiner [editor.] van der Aalst, Wil [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11424 Edición: 1st ed. 2019. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2019 En: Springer Nature eBook Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Sublinear Computation Paradigm [electronic resource] : Algorithmic Revolution in the Big Data Era / edited by Naoki Katoh, Yuya Higashikawa, Hiro Ito, Atsuki Nagao, Tetsuo Shibuya, Adnan Sljoka, Kazuyuki Tanaka, Yushi Uno. por Katoh, Naoki [editor.] Higashikawa, Yuya [editor.] Ito, Hiro [editor.] Nagao, Atsuki [editor.] Shibuya, Tetsuo [editor.] Sljoka, Adnan [editor.] Tanaka, Kazuyuki [editor.] Uno, Yushi [editor.] SpringerLink (Online service) 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 Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		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 Bouyer, Patricia [editor.] Schröder, Lutz [editor.] SpringerLink (Online service) 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 Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Programming Languages and Systems [electronic resource] : 31st European Symposium on Programming, ESOP 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 Ilya Sergey. por Sergey, Ilya [editor.] SpringerLink (Online service) Series Lecture Notes in Computer Science ; 13240 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 Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		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 Johnsen, Einar Broch [editor.] Wimmer, Manuel [editor.] SpringerLink (Online service) 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 Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		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 Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) 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 Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		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 Fisman, Dana [editor.] Rosu, Grigore [editor.] SpringerLink (Online service) 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 Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)

Con tecnología Koha

Refinar su búsqueda

Disponibilidad

Autores

Series

Temas

Su búsqueda retornó 22 resultados.