Switching and finite automata theory

Switching and finite automata theory

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Kohavi, Zvi (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New Delhi McGraw-Hill c1988
Έκδοση:	2nd ed.
Θέματα:	AUTOMATA FINITE AUTOMATA MATHEMATICS Υπολογιστική

Παρόμοια τεκμήρια

Theory of finite automata With an introduction to formal languages
ανά: Carroll, John, κ.ά.
Έκδοση: (1989)

Modern cellular automata Theory and applications
ανά: Duff, M. J. B., κ.ά.
Έκδοση: (1984)

Algebraic and structural automata theory
Έκδοση: (1991)

Automata, Languages and Programming Proceedings of the 16th International Colloquim Stresa, Italy, July 11-15, 1989
Έκδοση: (1989)

Automata, languages and programming Proceedings 13th International Cologuium. Rennes, France, July 15-19, 1986
Έκδοση: (1986)

Introduction to automata theory, languages, and computation
ανά: Hopcroft, John E., κ.ά.
Έκδοση: (1979)

Theory of computation formal languages, automata, and complexity
ανά: Brookshear, J. Glenn
Έκδοση: (1989)

Automata theory:distributed models Dagstuhl-Seminar-Report; 54 11.01.-15.01.93(9302)

Elements of the Theory of Computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1998)

Elements of the theory of computation
ανά: Lewis, Harry R., κ.ά.
Έκδοση: (1981)

Automata, Languages and Programming Proceedings of the 27th International Colloquium, ICALP 2000 Geneva, Switzerland, July 2000
Έκδοση: (2000)

Automata, Languages and Programming Proceedings of the 26th International Colloquium, ICALP'99 Prague, Czech Republic, July 1999
Έκδοση: (1999)

Automata, Languages and Programming Proceedings of the 23rd International Colloquim ICALP'96 Paderborn, Germany, July 6-12, 1996
Έκδοση: (1996)

Automata, Languages and Programming 22nd International Colloquium, ICALP 95 Szeged, Hungary, July 10-14, 1995 Proceedings
Έκδοση: (1995)

Automata theory and applications in logic and complexity Dagstuhl-Seminar-Report; 5 14.-18.1.1991(9103)

Cornerstones of Undecidability
ανά: Rozenberg, Grzegorz, κ.ά.
Έκδοση: (1994)

Automata theory:infinite computations Dagstuhl-Seminar-Report; 28 6.-10.1.92(9202)

Γλώσσες και Υπολογισμοί
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

NP-πληρότητα
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Διαδραστικό test στις Μηχανές Turing
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Γλώσσες και Γραμματικές Χωρίς Συμφραζόμενα
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Δημιουργία ΝΠΑ στο JFLAP
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Διαδραστικό test στα Αυτόματα Στοίβας και στις Γλώσσες που Δεν είναι Χωρίς Συμφραζόμενα
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Διαδραστικό test στις Γραμματικές και τις Γλώσσες Χωρίς Συμφραζόμενα
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Υπολογιστική Πολυπλοκότητα
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Ελαχιστοποίηση και Μη Κανονικές Γλώσσες
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Διαδραστικό test στην Κλειστότητα Καν. Γλωσσών & τις Μη Κανονικές Γλώσσες
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Διαδραστικό test στις Κανονικές Γλώσσες και τα Πεπερασμένα Αυτόματα
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Αυτόματα Στοίβας και Γλώσσες που δεν είναι Χωρίς Συμφραζόμενα
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Επιλυσιμότητα και Μη Επιλυσιμότητα
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Υπολογίσιμες Συναρτήσεις
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Μηχανές Turing
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Κανονικές Γλώσσες και Πεπερασμένα Αυτόματα
ανά: Katsaros, Panagiotis, κ.ά.
Έκδοση: (2016)

Θεωρία υπολογισμού και εφαρμογές
ανά: Κατσαρός, Παναγιώτης, κ.ά.
Έκδοση: (2016)

An introduction to practical formal methods using temporal logic /
ανά: Fisher, Michael, 1962-
Έκδοση: (2011)

Σχεδιασμός και υλοποίηση εφαρμογής με γραφικό περιβάλλον για μετατροπή NFA σε DFA
ανά: Παπασταύρου, Χριστίνα
Έκδοση: (2023)

Οικοδόμηση της έννοιας των “Πεπερασμένων Αυτομάτων” από μαθητές δημοτικού : μια μελέτη περίπτωσης με το ρομπότ Thymio ΙΙ
ανά: Θεοδωροπούλου, Ιωάννα
Έκδοση: (2022)

Knowledge needs and information extraction : towards an artificial consciousness /
ανά: Turenne, Nicolas
Έκδοση: (2013)

Automata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidth
ανά: Καλαντζή, Λαμπρινή, κ.ά.
Έκδοση: (2011)

Proceedings of the Workshop on Applications of Tree Automata Techniques in Natural Language Processing
Έκδοση: (2012)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών