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 edition 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 € |
Broschiertes Buch
Proceedings of the International Workshop On-Surface Synthesis, San Sebastián, 27-30 June 2016
Softcover reprint of the original 1st edition 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 edition 2018
11. April 2018
Austrian Science Fund / Belgian Federal Science Policy Office / FP7 Ideas: European Research Council
978-3-319-75809-1
| eBook, PDF | 113,95 € |
Ähnliche Artikel
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 edition 2018
22. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-96141-5
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 edition 2018
22. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-96144-6
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
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
1st edition 2018
10. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-94459-3
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 edition 2018
12. Juli 2018
Fondazione Bruno Kessler / Springer / Springer International Publishing / Springer, Berlin
978-3-319-95581-0
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 edition 2018
1. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-94204-9
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 edition 2019
3. April 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-17137-7
Broschiertes Buch
13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
1st ed. 2017
27. August 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-66844-4
Broschiertes Buch
17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings
1st edition 2019
2. September 2019
Springer / Springer International Publishing / Springer, Berlin
978-3-030-30445-4
Broschiertes Buch
Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
1st edition 2018
29. September 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-030-01460-5
Ähnlichkeitssuche: Fact®Finder von OMIKRON
