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 | 73,95 € |
eBook, PDF
19. März 2018
Austrian Science Fund / Belgian Federal Science Policy Office / FP7 Ideas: European Research Council
Broschiertes Buch
Proceedings of the International Workshop On-Surface Synthesis, San Sebastián, 27-30 June 2016
Softcover reprint of the original 1st ed. 2018
8. Februar 2019
Austrian Science Fund / Belgian Federal Science Policy Office / FP7 Ideas: European Research Council
978-3-030-09331-0
Gebundenes Buch
Proceedings of the International Workshop On-Surface Synthesis, San Sebastián, 27-30 June 2016
1st ed. 2018
11. April 2018
Austrian Science Fund / Belgian Federal Science Policy Office / FP7 Ideas: European Research Council
978-3-319-75809-1
Ähnliche Artikel
Broschiertes Buch
9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings
1st ed. 2018
1. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-94204-9
Broschiertes Buch
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
1st ed. 2018
10. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-94459-3
Broschiertes Buch
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
1st ed. 2019
3. April 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-17137-7
Broschiertes Buch
9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
1st ed. 2017
15. Dezember 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-72307-5
Broschiertes Buch
20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
1st ed. 2018
11. Oktober 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-02449-9
Broschiertes Buch
27th International Conference on Automated Deduction, Natal, Brazil, August 27¿30, 2019, Proceedings
1st ed. 2019
21. August 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-29435-9
Broschiertes Buch
22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
1st ed. 2018
12. Juli 2018
Fondazione Bruno Kessler / Springer / Springer International Publishing / Springer, Berlin
978-3-319-95581-0
Broschiertes Buch
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
1st ed. 2018
22. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-96141-5
Broschiertes Buch
17th International Conference, SEFM 2019, Oslo, Norway, September 18¿20, 2019, Proceedings
1st ed. 2019
2. September 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-30445-4
Broschiertes Buch
30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
1st ed. 2018
22. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-96144-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON