Gebundenes Buch
Grundlagen und formale Methoden
5. Aufl.
18. Juni 2021
Hanser Fachbuchverlag
553/46942
| eBook, PDF | 29,99 € | |
| Audio CD mit DVD | 39,99 € |
Audio CD mit DVD
Grundlagen und formale Methoden. Extra: E-Book inside
4., erw. Aufl.
Hanser Fachbuchverlag
553/45464
Audio CD mit DVD
Grundlagen und formale Methoden. Extra: E-Book inside
3. Aufl.
Hanser Fachbuchverlag
Broschiertes Buch
Deduktion und Algorithmen
1994.
1. Januar 1994
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-02133-9
Broschiertes Buch
Grundlagen und Anwendungen
2., überarb. u. erw. Aufl.
1. Januar 1988
Vieweg+Teubner / Vieweg+Teubner Verlag
978-3-519-12484-9
Broschiertes Buch
Grundlagen und Anwendungen
1986
1. September 1986
Vieweg & Teubner / Vieweg+Teubner Verlag
Gebundenes Buch
Grundlagen und formale Methoden. Für Bachelor geeignet
2., überarb. u. erw. Aufl.
August 2008
Hanser Fachbuchverlag
Broschiertes Buch
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings
2008
25. April 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
12265787,978-3-540-79718-0
Broschiertes Buch
2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings
1989.
6. September 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51659-0
Broschiertes Buch
9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers
1996.
5. Juni 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61377-0
Broschiertes Buch
5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
1992.
10. September 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55789-0
Broschiertes Buch
4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings
1991.
11. September 1991
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-54487-6
Ähnlichkeitssuche: Fact®Finder von OMIKRON
