Broschiertes Buch
Haskell, Logic and Automata
1st ed. 2021
20. Januar 2022
Springer / Springer International Publishing / Springer, Berlin
978-3-030-76907-9
Broschiertes Buch
2012
1. März 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-642-44065-6
| Gebundenes Buch | 82,99 € |
Gebundenes Buch
2012
30. Dezember 2011
Springer / Springer Berlin Heidelberg / Springer, Berlin
80027790,978-3-642-17335-6
Broschiertes Buch
Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Papers
1988.
26. Oktober 1988
Springer, Berlin
Broschiertes Buch
Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers
2007
22. November 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12166930,978-3-540-75333-9
Broschiertes Buch
31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-22849-3
Ähnliche Artikel
Broschiertes Buch
10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers
1st ed.
3. April 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-32694-8
Broschiertes Buch
11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25¿26, 2018, Proceedings
1st ed. 2018
29. Mai 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-92990-3
Broschiertes Buch
11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
1st ed. 2017
21. April 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-57710-4
Broschiertes Buch
Softcover reprint of the original 1st ed. 2016
16. Juni 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-82655-4
Broschiertes Buch
6th International Conference, ICORES 2017, Porto, Portugal, February 23¿25, 2017, Revised Selected Papers
1st ed. 2018
29. Juni 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-94766-2
Broschiertes Buch
5th International Conference, ICORES 2016, Rome, Italy, February 23-25, 2016, Revised Selected Papers
1st ed. 2017
15. Februar 2017
Springer / Springer International Publishing / Springer, Berlin
978-3-319-53981-2
Broschiertes Buch
Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22¿25, 2017, Revised Selected Papers
1st ed. 2018
17. Juli 2018
Springer / Springer International Publishing / Springer, Berlin
978-3-319-97135-3
Broschiertes Buch
Advanced Lectures
2002
27. Februar 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
10846385,978-3-540-43328-6
Broschiertes Buch
20th International Colloquium, Lima, Peru, December 4¿8, 2023, Proceedings
1st ed. 2023
23. November 2023
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-47962-5
Ähnlichkeitssuche: Fact®Finder von OMIKRON
