Broschiertes Buch
Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of his 60th Birthday
2007
22. Juni 2007
Springer / Springer Berlin Heidelberg / Springer, Berlin
12078622,978-3-540-73146-7
| eBook, PDF | 40,95 € |
Broschiertes Buch
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings
1997.
24. Juni 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10637443,978-3-540-64675-4
Ähnliche Artikel
Broschiertes Buch
International Workshop, TYPES '95, Torino, Italy, June 5 - 8, 1995 Selected Papers
1996.
2. Oktober 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61780-8
Broschiertes Buch
18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
2005
8. August 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11541868,978-3-540-28372-0
Broschiertes Buch
International Workshop TYPES '94, Bastad, Sweden, June 6-10, 1994. Selected Papers
1995.
18. Oktober 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60579-9
Broschiertes Buch
5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings
1997.
13. August 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-63385-3
Broschiertes Buch
Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
2003
28. April 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-14031-3
Broschiertes Buch
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
2006
8. August 2006
Springer / Springer Berlin Heidelberg / Springer, Berlin
11817963,978-3-540-37406-0
Broschiertes Buch
1995.
13. Dezember 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60615-4
Broschiertes Buch
6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings
2003
27. Mai 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-40332-6
Broschiertes Buch
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
1998.
18. März 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10632045,978-3-540-64356-2
Broschiertes Buch
14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
2001
22. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42525-0
Ähnlichkeitssuche: Fact®Finder von OMIKRON
