Suchergebnis

Cover von Cloud-Based Benchmarking of Medical Image Analysis
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2017.
Verlag: Cham :, Springer International Publishing :
Mediengruppe: eBook
Cover von Principles of Security and Trust
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 /
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2018.
Verlag: Cham :, Springer International Publishing :
Reihe: Security and Cryptology ;; 10804
Mediengruppe: eBook
Cover von Security of Networks and Services in an All-Connected World
11th IFIP WG 6.6 International Conference on Autonomous Infrastructure, Management, and Security, AIMS 2017, Zurich, Switzerland, July 10-13, 2017, Proceedings /
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2017.
Verlag: Cham :, Springer International Publishing :
Reihe: Computer Communication Networks and Telecommunications ;; 10356
Mediengruppe: eBook
Cover von Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III /
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2019.
Verlag: Cham :, Springer International Publishing :
Reihe: Theoretical Computer Science and General Issues ;; 11429
Mediengruppe: eBook
Cover von Tools and Algorithms for the Construction and Analysis of Systems
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 /
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2018.
Verlag: Cham :, Springer International Publishing :
Reihe: Theoretical Computer Science and General Issues ;; 10805
Mediengruppe: eBook
Cover von Tools and Algorithms for the Construction and Analysis of Systems
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 /
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2019.
Verlag: Cham :, Springer International Publishing :
Reihe: Theoretical Computer Science and General Issues ;; 11427
Mediengruppe: eBook
Cover von Foundations of Software Science and Computation Structures
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 /
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2018.
Verlag: Cham :, Springer International Publishing :
Reihe: Theoretical Computer Science and General Issues ;; 10803
Mediengruppe: eBook
Cover von Principles of Security and Trust
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 /
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2019.
Verlag: Cham :, Springer International Publishing :
Reihe: Security and Cryptology ;; 11426
Mediengruppe: eBook
Cover von Computer Aided Verification
31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2019.
Verlag: Cham :, Springer International Publishing :
Reihe: Theoretical Computer Science and General Issues ;; 11562
Mediengruppe: eBook
Cover von Fundamental Approaches to Software Engineering
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 /
0 Bewertungen
Suche nach diesem Verfasser
Medienkennzeichen: OA
Jahr: 2019.
Verlag: Cham :, Springer International Publishing :
Reihe: Theoretical Computer Science and General Issues ;; 11424
Mediengruppe: eBook
OPEN V 11.1.0.0