Fachbuch: Automatentheorie und formale Sprachen


Grundkurs Philosophie. Neun Bände eingeschweißt
50,00 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
Wolfgang Detel
Robin Celikates
Stefan Gosepath
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Detel, Wolfgang; Celikates, Robin; Gosepath, Stefan; Lutz-Bachmann, Matthias - Logik und Ethik - 30092
17. November 2023
Reclam, Ditzingen

Temporal Logic and State Systems
76,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Fred Kröger
Stephan Merz
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2008
27. März 2008
Springer / Springer Berlin Heidelberg / Springer, Berlin
10725212,978-3-540-67401-6

Parsing Techniques
204,99 €
Sofort lieferbar
Versandkostenfrei*
Dick Grune
Ceriel J.H. Jacobs
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
2nd ed.
Januar 2008
Ellis Horwood Ltd, Prentice Hall (UK) / Springer / Springer New York / Springer, Berlin
10944950,978-0-387-20248-8

Eine transdisziplinäre Einführung in die Welt der Kybernetik
37,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Sofort lieferbar
Versandkostenfrei*
E. W. Udo Küppers
  (Aktuell noch keine Bewertungen)
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

Theoretische Informatik - kurz gefasst
37,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 3-5 Tagen
Versandkostenfrei*
Uwe Schöning
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
5. Aufl.
11. März 2008
Spektrum Akademischer Verlag / Springer Spektrum
12147786,978-3-8274-1824-1

Informatik 2
29,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Friedrich L. Bauer
Gerhard Goos
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Eine einführende Übersicht
4., verb. Aufl.
14. September 1992
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-55567-4

Theoretische Informatik
32,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Klaus W. Wagner
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Eine kompakte Einführung
2., überarb. Aufl.
11. August 2003
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-01313-6

Communication Complexity and Parallel Computing
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Juraj Hromkovic
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
Neuaufl.
26. Februar 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-57459-0

Vorlesungen über Informatik
29,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Gerhard Goos
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Berechenbarkeit, formale Sprachen, Spezifikationen
1997.
12. September 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60655-0

Informatik
24,99 €
Versandfertig in 1-2 Wochen
Manfred Broy
  (Aktuell noch keine Bewertungen)
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

Automata and Languages
77,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Alexander Meduna
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Theory and Applications
2000.
17. Juli 2000
Springer / Springer London / Springer, Berlin
978-1-85233-074-3

Formale Beschreibungsverfahren der Informatik
27,99 €
inkl. MwSt. und vom Verlag festgesetzt.
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Helmut Eirund
Bernd Müller
Gerlinde Schreiber
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Ein Arbeitsbuch für die Praxis
2000.
11. Oktober 2000
Vieweg+Teubner / Vieweg+Teubner Verlag

Formal Specification
39,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Nimal Nissanke
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Techniques and Applications
2000.
27. Juli 1999
Springer / Springer London / Springer, Berlin
978-1-85233-002-6

Word Equations and Related Topics
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Habib Abdulrab / Jean-Pierre Pecuchet (eds.)
  (Aktuell noch keine Bewertungen)
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

Automata, Languages, and Programming
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Abiteboul
  (Aktuell noch keine Bewertungen)
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

Types for Proofs and Programs
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Thorsten Altenkirch / Wolfgang Naraschewski / Bernhard Reus (eds.)
  (Aktuell noch keine Bewertungen)
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

Computer Aided Verification
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
  (Aktuell noch keine Bewertungen)
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

Hybrid Systems III
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Alur
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Verification and Control
1996.
24. April 1996
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-61155-4

LATIN '95: Theoretical Informatics
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Baeza-Yates
  (Aktuell noch keine Bewertungen)
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

Languages and Compilers for Parallel Computing
79,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Banerjee
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
6th International Workshop, Portland, Oregon, USA, August 12 - 14, 1993. Proceedings
1994.
28. Januar 1994
Springer, Berlin

Temporal Logic in Specification
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Banieqbal
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Altrincham, UK, April 8-10, 1987, Proceedings
1989.
11. Oktober 1989
Springer, Berlin

MFDBS 89
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Janos Demetrovics / Bernhard Thalheim (eds.)
  (Aktuell noch keine Bewertungen)
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

Attribute Grammars and their Applications
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Pierre Deransart / Martin Jourdan (eds.)
  (Aktuell noch keine Bewertungen)
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

Programming Languages Implementation and Logic Programming
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Pierre Deransart / Bernard Lorho / Jan Maluszynski (eds.)
  (Aktuell noch keine Bewertungen)
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

Programming Language Implementation and Logic Programming
40,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Pierre Deransart / Jan Maluszynski (eds.)
  (Aktuell noch keine Bewertungen)
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