Resultados
|
|
|
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 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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
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 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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
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 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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
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 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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
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 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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
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 II / edited by Armin Biere, David Parker. por Series Theoretical Computer Science and General Issues ; 12079
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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 23rd International Conference, FASE 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 Heike Wehrheim, Jordi Cabot. por Series Theoretical Computer Science and General Issues ; 12076
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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
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 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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Enhanced Living Environments [electronic resource] : Algorithms, Architectures, Platforms, and Systems / edited by Ivan Ganchev, Nuno M. Garcia, Ciprian Dobre, Constandinos X. Mavromoustakis, Rossitza Goleva. por Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11369
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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
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 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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Security in Computer and Information Sciences [electronic resource] : First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers / edited by Erol Gelenbe, Paolo Campegiani, Tadeusz Czachórski, Sokratis K. Katsikas, Ioannis Komnios, Luigi Romano, Dimitrios Tzovaras. por Series Communications in Computer and Information Science ; 821
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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
Semantic Systems. The Power of AI and Knowledge Graphs [electronic resource] : 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings / edited by Maribel Acosta, Philippe Cudré-Mauroux, Maria Maleshkova, Tassilo Pellegrini, Harald Sack, York Sure-Vetter. por Series Information Systems and Applications, incl. Internet/Web, and HCI ; 11702
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
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
Cyber Security [electronic resource] : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020, Revised Selected Papers / edited by Wei Lu, Qiaoyan Wen, Yuqing Zhang, Bo Lang, Weiping Wen, Hanbing Yan, Chao Li, Li Ding, Ruiguang Li, Yu Zhou. por
- Lu, Wei [editor.]
- Wen, Qiaoyan [editor.]
- Zhang, Yuqing [editor.]
- Lang, Bo [editor.]
- Wen, Weiping [editor.]
- Yan, Hanbing [editor.]
- Li, Chao [editor.]
- Ding, Li [editor.]
- Li, Ruiguang [editor.]
- Zhou, Yu [editor.]
- SpringerLink (Online service)
Series Communications in Computer and Information Science ; 1299
Edición: 1st ed. 2020.
Tipo de material: Texto; Formato:
electrónico
disponible en línea ; Forma literaria:
No es ficción Editor: Singapore : Springer Nature Singapore : Imprint: Springer, 2020
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The Future Internet [electronic resource] : Future Internet Assembly 2011: Achievements and Technological Promises / edited by John Domingue, Alex Galis, Anastasius Gavras, Theodore Zahariadis, Dave Lambert, Frances Cleary, Petros Daras, Srdjan Krco, Henning Müller, Man-Sze Li, Hans Schaffers, Volkmar Lotz, Federico Alvarez, Burkhard Stiller, Stamatis Karnouskos, Susanna Avessta, Michael Nilsson. por
- Domingue, John [editor.]
- Galis, Alex [editor.]
- Gavras, Anastasius [editor.]
- Zahariadis, Theodore [editor.]
- Lambert, Dave [editor.]
- Cleary, Frances [editor.]
- Daras, Petros [editor.]
- Krco, Srdjan [editor.]
- Müller, Henning [editor.]
- Li, Man-Sze [editor.]
- Schaffers, Hans [editor.]
- Lotz, Volkmar [editor.]
- Alvarez, Federico [editor.]
- Stiller, Burkhard [editor.]
- Karnouskos, Stamatis [editor.]
- Avessta, Susanna [editor.]
- Nilsson, Michael [editor.]
- SpringerLink (Online service)
Series Computer Communication Networks and Telecommunications ; 6656
Edición: 1st ed. 2011.
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, 2011
En: Springer Nature eBook
Disponibilidad: No hay ítems disponibles.
|