Su búsqueda retornó 14 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)
		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 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)
		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)
		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)
		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)
		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)
		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)
		Internet of Things. Information Processing in an Increasingly Connected World [electronic resource] : First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers / edited by Leon Strous, Vinton G. Cerf. por Strous, Leon [editor.] Cerf, Vinton G [editor.] SpringerLink (Online service) Series IFIP Advances in Information and Communication Technology ; 548 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)
		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)
		Autonomous Control for a Reliable Internet of Services [electronic resource] : Methods, Models, Approaches, Techniques, Algorithms, and Tools / edited by Ivan Ganchev, R. D. van der Mei, Hans van den Berg. por Ganchev, Ivan [editor.] van der Mei, R. D [editor.] van den Berg, Hans [editor.] SpringerLink (Online service) Series Computer Communication Networks and Telecommunications ; 10768 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)
		Cloud-Based Benchmarking of Medical Image Analysis [electronic resource] / edited by Allan Hanbury, Henning Müller, Georg Langs. por Hanbury, Allan [editor.] Müller, Henning [editor.] Langs, Georg [editor.] SpringerLink (Online service) 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)
		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 Tuncer, Daphne [editor.] Koch, Robert [editor.] Badonnel, Rémi [editor.] Stiller, Burkhard [editor.] SpringerLink (Online service) 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 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