|
|
| 1. |
TACAS <25., 2019, Prag>: 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 II / edited by Tomáš Vojnar, Lijun Zhang. -
Cham: Springer, [2019]. - 1 Online-Ressource (XXIII, 413 p. 552 illus., 55 illus. in color), ISBN 978-3-030-17465-1
(Lecture notes in computer science ; 11428)
(Springer eBooks : Computer Science)
(Theoretical Computer Science and General Issues ; 11428)
DOI: 10.1007/978-3-030-17465-1
 Online-Ressource |
|
|
| 2. |
TACAS <25., 2019, Prag>: 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 / edited by Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen. -
Cham: Springer, 2019. - 1 Online-Ressource (XXVII, 258 p. 449 illus., 25 illus. in color), ISBN 978-3-030-17502-3
(Lecture notes in computer science ; 11429)
(Theoretical Computer Science and General Issues ; 11429)
(Springer eBooks : Computer Science)
DOI: 10.1007/978-3-030-17502-3
Online-Ressource |
|
|
| 3. |
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. -
[Erscheinungsort nicht ermittelbar]: Springer Nature, 2019. - 1 Online-Ressource (433 p.), ISBN 978-3-030-17462-0
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 4. |
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 II. -
[Erscheinungsort nicht ermittelbar]: Springer Nature, 2019. - 1 Online-Ressource (413 p.), ISBN 978-3-030-17465-1
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 5. |
FASE <22., 2019, Prag>: 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 / edited by Reiner Hähnle, Wil van der Aalst. -
Cham: Springer, [2019]. - 1 Online-Ressource (XIII, 446 p. 1202 illus., 85 illus. in color), ISBN 978-3-030-16722-6
(Lecture notes in computer science ; 11424 : Advanced Research in Computing and Software Science (ARCoSS))
(Springer eBooks : Computer Science)
(Theoretical Computer Science and General Issues ; 11424)
DOI: 10.1007/978-3-030-16722-6
Online-Ressource |
|
|
| 6. |
POST <8., 2019, Prag>: 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 / edited by Flemming Nielson, David Sands. -
Cham: Springer, [2019]. - 1 Online-Ressource (XI, 249 p. 2896 illus., 22 illus. in color), ISBN 978-3-030-17138-4
(Lecture notes in computer science ; 11426 : Advanced research in computing and software science (ARCoSS))
(Springer eBooks : Computer Science)
(Security and Cryptology ; 11426)
DOI: 10.1007/978-3-030-17138-4
Online-Ressource |
|
|
| 7. |
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part III / edited by Bernd Finkbeiner, Laura Kovács. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XXII, 428 p. 179 illus., 143 illus. in color.), ISBN 978-3-031-57256-2
(Lecture Notes in Computer Science ; 14572)
DOI: 10.1007/978-3-031-57256-2
Online-Ressource |
|
|
| 8. |
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I / edited by Bernd Finkbeiner, Laura Kovács. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XXVIII, 394 p. 124 illus., 82 illus. in color.), ISBN 978-3-031-57246-3
(Lecture Notes in Computer Science ; 14570)
DOI: 10.1007/978-3-031-57246-3
Online-Ressource |
|
|
| 9. |
Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II / edited by Bernd Finkbeiner, Laura Kovács. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XXI, 386 p. 143 illus., 113 illus. in color.), ISBN 978-3-031-57249-4
(Lecture Notes in Computer Science ; 14571)
DOI: 10.1007/978-3-031-57249-4
Online-Ressource |
|
|
| 10. |
Tools and Algorithms for the Construction and Analysis of Systems : 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Marsha Chechik, Jean-François Raskin. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIX, 961 p. 220 illus, online resource), ISBN 978-3-662-49674-9
(Lecture Notes in Computer Science ; 9636)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 9636)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-662-49674-9
Online-Ressource |
|
|
| 11. |
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. -
[Erscheinungsort nicht ermittelbar]: Springer Nature, 2019. - 1 Online-Ressource (258 p.), ISBN 978-3-030-17502-3
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 12. |
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I / edited by Sriram Sankaranarayanan, Natasha Sharygina. - 1st ed. 2023.. -
Cham: Springer Nature Switzerland, 2023.. - 1 Online-Ressource(XXIII, 708 p. 193 illus., 140 illus. in color.), ISBN 978-3-031-30823-9
(Lecture Notes in Computer Science ; 13993)
DOI: 10.1007/978-3-031-30823-9
Online-Ressource |
|
|
| 13. |
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II / edited by Sriram Sankaranarayanan, Natasha Sharygina. - 1st ed. 2023.. -
Cham: Springer Nature Switzerland, 2023.. - 1 Online-Ressource(XXIV, 604 p. 217 illus., 163 illus. in color.), ISBN 978-3-031-30820-8
(Lecture Notes in Computer Science ; 13994)
DOI: 10.1007/978-3-031-30820-8
Online-Ressource |
|
|
| 14. |
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. -
Cham: Springer Nature, 2023. - 1 Online-Ressource (708 p.), ISBN 978-3-031-30823-9
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 15. |
Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II. -
Cham: Springer Nature, 2023. - 1 Online-Ressource (604 p.), ISBN 978-3-031-30820-8
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 16. |
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 / edited by Dirk Beyer, Marieke Huisman. -
Cham: Springer, 2018. - Online-Ressource (XX, 429 p. 93 illus, online resource), ISBN 978-3-319-89960-2
(Lecture Notes in Computer Science ; 10805)
(Theoretical Computer Science and General Issues ; 10805)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-89960-2
Online-Ressource |
|
|
| 17. |
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 II / edited by Dirk Beyer, Marieke Huisman. -
Cham: Springer, 2018. - Online-Ressource (XX, 465 p. 92 illus, online resource), ISBN 978-3-319-89963-3
(Lecture Notes in Computer Science ; 10806)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 10806)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-319-89963-3
Online-Ressource |
|
|
| 18. |
Tools and Algorithms for the Construction and Analysis of Systems : 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. -
[Erscheinungsort nicht ermittelbar]: Springer Nature, 2021. - 1 Online-Ressource (465 p.), ISBN 978-3-030-72013-1
(Lecture Notes in Computer Science; Theoretical Computer Science and General Issues)
Online-Ressource |
|
|
| 19. |
Tools and Algorithms for the Construction and Analysis of Systems : 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. -
[Erscheinungsort nicht ermittelbar]: Springer Nature, 2021. - 1 Online-Ressource (471 p.), ISBN 978-3-030-72016-2
(Lecture Notes in Computer Science; Theoretical Computer Science and General Issues)
Online-Ressource |
|
|
| 20. |
Tools and Algorithms for the Construction and Analysis of Systems : 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. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XXI, 493 p. 140 illus.), ISBN 978-3-030-99527-0
(Springer eBook Collection)
(Lecture Notes in Computer Science ; 13244)
DOI: 10.1007/978-3-030-99527-0
Online-Ressource |
|
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
