Fachbuch: Automatentheorie und formale Sprachen
Broschiertes Buch
Detel, Wolfgang; Celikates, Robin; Gosepath, Stefan; Lutz-Bachmann, Matthias - Logik und Ethik - 30092
17. November 2023
Reclam, Ditzingen
Gebundenes Buch
2008
27. März 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
10725212,978-3-540-67401-6
Gebundenes Buch
2nd ed.
Januar 2008
Ellis Horwood Ltd, Prentice Hall (UK) / Springer / Springer New York / Springer, Berlin
10944950,978-0-387-20248-8
Broschiertes Buch
Grundlagen, Modelle, Theorien und Praxisbeispiele
1. Aufl. 2019
20. März 2019
Springer Fachmedien Wiesbaden / Springer Vieweg / Springer, Berlin
978-3-658-23724-0
Broschiertes Buch
5. Aufl.
11. März 2008
Spektrum Akademischer Verlag / Springer Spektrum
12147786,978-3-8274-1824-1
Broschiertes Buch
Eine einführende Übersicht
4., verb. Aufl.
14. September 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55567-4
Broschiertes Buch
Eine kompakte Einführung
2., überarb. Aufl.
11. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-01313-6
Gebundenes Buch
Neuaufl.
26. Februar 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57459-0
Broschiertes Buch
Berechenbarkeit, formale Sprachen, Spezifikationen
1997.
12. September 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60655-0
24,99 €
Versandfertig in 1-2 Wochen
Broschiertes Buch
Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik
2., überarb. Aufl.
15. Oktober 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-64392-0
Broschiertes Buch
Theory and Applications
2000.
17. Juli 2000
Springer / Springer London / Springer, Berlin
978-1-85233-074-3
Broschiertes Buch
Ein Arbeitsbuch für die Praxis
2000.
11. Oktober 2000
Vieweg+Teubner / Vieweg+Teubner Verlag
Broschiertes Buch
Techniques and Applications
2000.
27. Juli 1999
Springer / Springer London / Springer, Berlin
978-1-85233-002-6
Broschiertes Buch
Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings
1993.
29. Juni 1993
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-56730-1
Broschiertes Buch
21st International Colloquium, ICALP '94, Jerusalem, Israel, July 11-14, 1994. Proceedings
1994.
15. Juni 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58201-4
Broschiertes Buch
International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
1999.
22. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704119,978-3-540-66537-3
Broschiertes Buch
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
1999.
17. Juli 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61474-6
Broschiertes Buch
Verification and Control
1996.
24. April 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61155-4
Broschiertes Buch
Second Latin American Symposium, Valparaiso, Chile, April 3 - 7, 1995. Proceedings
1995.
20. März 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-59175-7
Broschiertes Buch
6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings
1994.
28. Januar 1994
Springer, Berlin
Broschiertes Buch
Altrincham, UK, April 8-10, 1987, Proceedings
1989.
11. Oktober 1989
Springer, Berlin
Broschiertes Buch
2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrad, Hungary, June 26-30, 1989. Proceedings
2000.
30. Mai 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-51251-6
Broschiertes Buch
International Conference, Paris, France, September 19-21, 1990
1990.
7. September 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-53101-2
Broschiertes Buch
International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings
1989.
8. März 1989
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-50820-5
Broschiertes Buch
International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings
1990.
8. August 1990
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-53010-7