Su búsqueda retornó 27 resultados.

Resultados
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. por Beyer, Dirk [editor.] Huisman, Marieke [editor.] Kordon, Fabrice [editor.] Steffen, Bernhard [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11429 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)
		Paul Lorenzen -- Mathematician and Logician [electronic resource] / edited by Gerhard Heinzmann, Gereon Wolters. por Heinzmann, Gerhard [editor.] Wolters, Gereon [editor.] SpringerLink (Online service) Series Logic, Epistemology, and the Unity of Science ; 51 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)
		Computer Aided Verification [electronic resource] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I / edited by Alexandra Silva, K. Rustan M. Leino. por Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12759 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)
		Computer Aided Verification [electronic resource] : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II / edited by Isil Dillig, Serdar Tasiran. por Dillig, Isil [editor.] Tasiran, Serdar [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11562 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)
		Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSACS 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 Jean Goubault-Larrecq, Barbara König. por Goubault-Larrecq, Jean [editor.] König, Barbara [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12077 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] : 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II / edited by Alexandra Silva, K. Rustan M. Leino. por Silva, Alexandra [editor.] Leino, K. Rustan M [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12760 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. Listas: Perspectiva de genero. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Automated Deduction - CADE 28 [electronic resource] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings / edited by André Platzer, Geoff Sutcliffe. por Platzer, André [editor.] Sutcliffe, Geoff [editor.] SpringerLink (Online service) Series Lecture Notes in Artificial Intelligence ; 12699 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] : 25th International Conference, TACAS 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, Part II / edited by Tomáš Vojnar, Lijun Zhang. por Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11428 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)
		Variant Construction from Theoretical Foundation to Applications [electronic resource] / edited by Jeffrey Zheng. por Zheng, Jeffrey [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: Singapore : Springer Nature Singapore : 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)
		Knowledge Graphs and Big Data Processing [electronic resource] / edited by Valentina Janev, Damien Graux, Hajira Jabeen, Emanuel Sallinger. por Janev, Valentina [editor.] Graux, Damien [editor.] Jabeen, Hajira [editor.] Sallinger, Emanuel [editor.] SpringerLink (Online service) Series Information Systems and Applications, incl. Internet/Web, and HCI ; 12072 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)
		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)
		High-Performance Modelling and Simulation for Big Data Applications [electronic resource] : Selected Results of the COST Action IC1406 cHiPSet / edited by Joanna Kołodziej, Horacio González-Vélez. por Kołodziej, Joanna [editor.] González-Vélez, Horacio [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11400 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] : 30th European Symposium on Programming, ESOP 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 Nobuko Yoshida. por Yoshida, Nobuko [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12648 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)
		Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10982 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)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 25th International Conference, TACAS 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, Part I / edited by Tomáš Vojnar, Lijun Zhang. por Vojnar, Tomáš [editor.] Zhang, Lijun [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 11427 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)
		Foundations of Software Science and Computation Structures [electronic resource] : 21st International Conference, FOSSACS 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 Christel Baier, Ugo Dal Lago. por Baier, Christel [editor.] Dal Lago, Ugo [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10803 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)
		Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I / edited by Hana Chockler, Georg Weissenbacher. por Chockler, Hana [editor.] Weissenbacher, Georg [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10981 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)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I / edited by Dirk Beyer, Marieke Huisman. por Beyer, Dirk [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10805 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)
		Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman. por Beyer, Dirk [editor.] Huisman, Marieke [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10806 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)
		Concepts in Action [electronic resource] : Representation, Learning, and Application / edited by Lucas Bechberger, Kai-Uwe Kühnberger, Mingya Liu. por Bechberger, Lucas [editor.] Kühnberger, Kai-Uwe [editor.] Liu, Mingya [editor.] SpringerLink (Online service) Series Language, Cognition, and Mind ; 9 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)
		Reversible Computation: Extending Horizons of Computing [electronic resource] : Selected Results of the COST Action IC1405 / edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira. por Ulidowski, Irek [editor.] Lanese, Ivan [editor.] Schultz, Ulrik Pagh [editor.] Ferreira, Carla [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 12070 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)
		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)
		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)
		Supercomputing Frontiers [electronic resource] : 4th Asian Conference, SCFA 2018, Singapore, March 26-29, 2018, Proceedings / edited by Rio Yokota, Weigang Wu. por Yokota, Rio [editor.] Wu, Weigang [editor.] SpringerLink (Online service) Series Theoretical Computer Science and General Issues ; 10776 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)
		Nuel Belnap on Indeterminism and Free Action [electronic resource] / edited by Thomas Müller. por Müller, Thomas [editor.] SpringerLink (Online service) Series Outstanding Contributions to Logic ; 2 Edición: 1st ed. 2014. Tipo de material: Texto; Formato: electrónico disponible en línea ; Forma literaria: No es ficción Editor: Cham : Springer International Publishing : Imprint: Springer, 2014 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)
		Advances in Proof-Theoretic Semantics [electronic resource] / edited by Thomas Piecha, Peter Schroeder-Heister. por Piecha, Thomas [editor.] Schroeder-Heister, Peter [editor.] SpringerLink (Online service) Series Trends in Logic, Studia Logica Library ; 43 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 Recursos en línea: Haga clic para acceso en línea Disponibilidad: No hay ítems disponibles. Ingresar para agregar etiquetas Agregar al carrito (remover)
		Fading Foundations [electronic resource] : Probability and the Regress Problem / by David Atkinson, Jeanne Peijnenburg. por Atkinson, David [author.] Peijnenburg, Jeanne [author.] SpringerLink (Online service) Series Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 383 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 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ó 27 resultados.