|
|
| 1. |
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 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 Naoki Kobayashi, James Worrell. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XVI, 280 p. 44 illus., 24 illus. in color.), ISBN 978-3-031-57228-9
(Lecture Notes in Computer Science ; 14574)
DOI: 10.1007/978-3-031-57228-9
 Online-Ressource |
|
|
| 2. |
Foundations of Software Science and Computation Structures : 27th International Conference, FoSSaCS 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 Naoki Kobayashi, James Worrell. - 1st ed. 2024.. -
Cham: Springer Nature Switzerland, 2024.. - 1 Online-Ressource(XVI, 272 p. 37 illus., 11 illus. in color.), ISBN 978-3-031-57231-9
(Lecture Notes in Computer Science ; 14575)
DOI: 10.1007/978-3-031-57231-9
Online-Ressource |
|
|
| 3. |
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 / edited by Christel Baier, Ugo Dal Lago. -
Cham: Springer, 2018. - Online-Ressource (XV, 583 p. 75 illus, online resource), ISBN 978-3-319-89366-2
(Lecture Notes in Computer Science ; 10803)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 10803)
DOI: 10.1007/978-3-319-89366-2
Online-Ressource |
|
|
| 4. |
Fundamental Approaches to Software Engineering : 19th International Conference, FASE 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 Perdita Stevens, Andrzej Wąsowski. - 1st ed. 2016. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIII, 436 p. 127 illus, online resource), ISBN 978-3-662-49665-7
(Lecture Notes in Computer Science ; 9633)
(Springer eBook Collection : Computer Science)
(Theoretical Computer Science and General Issues ; 9633)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-662-49665-7
Online-Ressource |
|
|
| 5. |
Foundations of Software Science and Computation Structures : 24th International Conference, FOSSACS 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. -
[Erscheinungsort nicht ermittelbar]: Springer Nature, 2021. - 1 Online-Ressource (574 p.), ISBN 978-3-030-71995-1
(Lecture Notes in Computer Science; Theoretical Computer Science and General Issues)
Online-Ressource |
|
|
| 6. |
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 |
|
|
| 7. |
Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. -
Cham: Springer Nature, 2023. - 1 Online-Ressource (562 p.), ISBN 978-3-031-30829-1
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 8. |
Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings / edited by Orna Kupferman, Pawel Sobocinski. - 1st ed. 2023.. -
Cham: Springer Nature Switzerland, 2023.. - 1 Online-Ressource(XIV, 562 p. 187 illus., 97 illus. in color.), ISBN 978-3-031-30829-1
(Lecture Notes in Computer Science ; 13992)
DOI: 10.1007/978-3-031-30829-1
Online-Ressource |
|
|
| 9. |
Programming Languages and Systems : 25th European Symposium on Programming, ESOP 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 Peter Thiemann. - 1st ed. 2016. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XIII, 806 p. 32 illus, online resource), ISBN 978-3-662-49498-1
(Lecture Notes in Computer Science ; 9632)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9632)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-662-49498-1
Online-Ressource |
|
|
| 10. |
Model Checking Software : 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings / edited by Dragan Bošnački, Anton Wijs. -
Cham: Springer, 2016. - Online-Ressource (XVI, 245 p. 75 illus, online resource), ISBN 978-3-319-32582-8
(Lecture Notes in Computer Science ; 9641)
(Theoretical Computer Science and General Issues ; 9641)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-32582-8
Online-Ressource |
|
|
| 11. |
Coalgebraic Methods in Computer Science : 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo. -
Cham: Springer, 2016. - Online-Ressource (IX, 235 p. 5 illus, online resource), ISBN 978-3-319-40370-0
(Lecture Notes in Computer Science ; 9608)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9608)
DOI: 10.1007/978-3-319-40370-0
Online-Ressource |
|
|
| 12. |
Principles of Security and Trust : 5th International Conference, POST 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 Frank Piessens, Luca Viganò. - 1st ed. 2016. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (X, 277 p. 69 illus. in color, online resource), ISBN 978-3-662-49635-0
(Lecture Notes in Computer Science ; 9635)
(Springer eBook Collection : Computer Science)
(Security and Cryptology ; 9635)
(SpringerLink : Bücher)
DOI: 10.1007/978-3-662-49635-0
Online-Ressource |
|
|
| 13. |
Foundations of Software Science and Computation Structures : 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. - 1st ed. 2022.. -
Cham: Springer International Publishing, 2022.. - 1 Online-Ressource(XVI, 471 p. 69 illus.), ISBN 978-3-030-99253-8
(Lecture Notes in Computer Science ; 13242)
DOI: 10.1007/978-3-030-99253-8
Online-Ressource |
|
|
| 14. |
Foundations of Software Science and Computation Structures : 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. -
Cham: Springer Nature, 2022. - 1 Online-Ressource (471 p.), ISBN 978-3-030-99253-8
(Lecture Notes in Computer Science)
Online-Ressource |
|
|
| 15. |
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))
(Theoretical Computer Science and General Issues ; 11424)
(Springer eBooks : Computer Science)
DOI: 10.1007/978-3-030-16722-6
Online-Ressource |
|
|
| 16. |
Rewriting Logic and Its Applications : 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Dorel Lucanu. -
Cham: Springer, 2016. - Online-Ressource (XV, 185 p. 28 illus, online resource), ISBN 978-3-319-44802-2
(Lecture Notes in Computer Science ; 9942)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9942)
DOI: 10.1007/978-3-319-44802-2
Online-Ressource |
|
|
| 17. |
Fundamental Approaches to Software Engineering : 21st International Conference, FASE 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 Alessandra Russo, Andy Schürr. -
Cham: Springer, 2018. - Online-Ressource (XII, 357 p. 116 illus, online resource), ISBN 978-3-319-89363-1
(Lecture Notes in Computer Science ; 10802)
(Theoretical Computer Science and General Issues ; 10802)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-89363-1
Online-Ressource |
|
|
| 18. |
SOFSEM 2016: Theory and Practice of Computer Science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings / edited by Rūsiņš Mārtiņš Freivalds, Gregor Engels, Barbara Catania. - 1st ed. 2016. -
Berlin, Heidelberg: Springer, 2016. - Online-Ressource (XV, 630 p. 150 illus. in color, online resource), ISBN 978-3-662-49192-8
(Lecture Notes in Computer Science ; 9587)
(Theoretical Computer Science and General Issues ; 9587)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-662-49192-8
Online-Ressource |
|
|
| 19. |
Software Engineering and Formal Methods : 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings / edited by Rocco De Nicola, Eva Kühn. -
Cham: Springer, 2016. - Online-Ressource (XV, 419 p. 86 illus, online resource), ISBN 978-3-319-41591-8
(Lecture Notes in Computer Science ; 9763)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9763)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-41591-8
Online-Ressource |
|
|
| 20. |
Computer Science – Theory and Applications : 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings / edited by Alexander S. Kulikov, Gerhard J. Woeginger. -
Cham: Springer, 2016. - Online-Ressource (XXI, 425 p. 49 illus, online resource), ISBN 978-3-319-34171-2
(Lecture Notes in Computer Science ; 9691)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9691)
DOI: 10.1007/978-3-319-34171-2
Online-Ressource |
|
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
