Broschiertes Buch
Softcover reprint of hardcover 1st ed. 2001
1. Dezember 2010
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-08759-2
Broschiertes Buch
9th International Conference, ITP 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings
1st ed. 2018
4. Juli 2018
Austrian Science Fund / H2020 European Research Council / Japan Science and Technology Agency / Mini
978-3-319-94820-1
eBook, PDF
13. Juli 2015
Springer / Springer International Publishing
Broschiertes Buch | 37,99 € |
eBook, PDF
15. Juli 2015
Springer / Springer International Publishing
Broschiertes Buch | 38,99 € |
eBook, PDF
11. Mai 2015
Springer / Springer International Publishing
Broschiertes Buch | 36,99 € |
Broschiertes Buch
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
1st ed. 2020
18. April 2020
Springer / Springer International Publishing / Springer, Berlin / no funding
978-3-030-45236-0
Broschiertes Buch
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 I
1st ed. 2020
18. April 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-45189-9
Broschiertes Buch
21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26¿29, 2023, Proceedings
1st ed. 2023
23. November 2023
Springer / Springer Nature Singapore / Springer, Berlin
978-981-99-8310-0
Broschiertes Buch
11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
1st ed. 2018
18. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-96811-7
Broschiertes Buch
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
1st ed. 2019
9. Februar 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-13650-5
Broschiertes Buch
6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
2014
28. Oktober 2014
Springer / Springer International Publishing / Springer, Berlin
86383446,978-3-319-12153-6
Broschiertes Buch
9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
2014
9. Januar 2015
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-45916-4
Broschiertes Buch
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
1st ed. 2015
2. Dezember 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-25422-7
Broschiertes Buch
Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings
1st ed. 2016
6. Oktober 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-47676-6
Broschiertes Buch
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
1st ed. 2019
4. April 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-16721-9
Ähnlichkeitssuche: Fact®Finder von OMIKRON