Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | Αγγλικά |
| Έκδοση: |
London, England ; Hoboken, New Jersey :
ISTE : Wiley,
2014.
|
| Σειρά: | Networks and telecommunications series.
|
| Θέματα: | |
| Διαθέσιμο Online: | An electronic book accessible through the World Wide Web; click to view |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
Παρόμοια τεκμήρια
Formal languages, automata and numeration systems 2 /
από: Rigo, Michel
Έκδοση: (2014)
από: Rigo, Michel
Έκδοση: (2014)
Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Έκδοση: (2010)
Έκδοση: (2010)
Algebraic theory of automata and languages
από: Itō, Masami, 1941-
Έκδοση: (2004)
από: Itō, Masami, 1941-
Έκδοση: (2004)
Introduction to automata theory, languages, and computation /
από: Hopcroft, John E., 1939-
Έκδοση: (1979)
από: Hopcroft, John E., 1939-
Έκδοση: (1979)
Introduction to automata theory, languages, and computation /
από: Hopcroft, John E.
Έκδοση: (2001)
από: Hopcroft, John E.
Έκδοση: (2001)
Computability, complexity, and languages : fundamentals of theoretical computer science /
από: Davis, Martin, 1928-
Έκδοση: (1994)
από: Davis, Martin, 1928-
Έκδοση: (1994)
Theory of automata, formal languages and computation
από: Xavier, S. P. Eugene
Έκδοση: (2005)
από: Xavier, S. P. Eugene
Έκδοση: (2005)
Formal models, languages and applications
Έκδοση: (2006)
Έκδοση: (2006)
Words, semigroups, & transductions festschrift in honor of Gabriel Thierrin /
Έκδοση: (2001)
Έκδοση: (2001)
Words, languages, and combinatorics III proceedings of the international conference : Kyoto, Japan, 14-18 March 2000 /
Έκδοση: (2003)
Έκδοση: (2003)
Elements of the theory of computation /
από: Lewis, Harry R.
Έκδοση: (1998)
από: Lewis, Harry R.
Έκδοση: (1998)
Formal methods applied to complex systems : implementation of the B method /
Έκδοση: (2014)
Έκδοση: (2014)
Weighted restarting automata /
από: Wang, Qichao
Έκδοση: (2018)
από: Wang, Qichao
Έκδοση: (2018)
Formal software development from VDM to Java /
από: Charatan, Quentin
Έκδοση: (2004)
από: Charatan, Quentin
Έκδοση: (2004)
Formalizing natural languages : the NooJ approach /
από: Silberztein, Max
Έκδοση: (2016)
από: Silberztein, Max
Έκδοση: (2016)
Logic and automata history and perspectives /
Έκδοση: (2008)
Έκδοση: (2008)
Switching and finite automata theory /
από: Kohavi, Zvi
Έκδοση: (1978)
από: Kohavi, Zvi
Έκδοση: (1978)
Two-step approaches to natural language formalisms
από: Morawietz, Frank, 1968-
Έκδοση: (2003)
από: Morawietz, Frank, 1968-
Έκδοση: (2003)
Quantum cellular automata theory, experimentation and prospects /
Έκδοση: (2006)
Έκδοση: (2006)
Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea /
Έκδοση: (2001)
Έκδοση: (2001)
Semigroups and automata selecta, Uno Kaljulaid (1941-1999) /
από: Kaljulaid, U. (Uno)
Έκδοση: (2006)
από: Kaljulaid, U. (Uno)
Έκδοση: (2006)
Clojure for machine learning : successfully leverage advanced machine learning techniques using the Clojure ecosystem /
από: Wali, Akhil
Έκδοση: (2014)
από: Wali, Akhil
Έκδοση: (2014)
Testamentary formalities /
Έκδοση: (2011)
Έκδοση: (2011)
A half-century of automata theory celebration and inspiration /
Έκδοση: (2001)
Έκδοση: (2001)
Teamwork in multi-agent systems a formal approach /
από: Dunin-Kȩplicz, Barbara
Έκδοση: (2010)
από: Dunin-Kȩplicz, Barbara
Έκδοση: (2010)
Formal grammars in linguistics and psycholinguistics
από: Levelt, W. J. M. (Willem J. M.), 1938-
Έκδοση: (1974)
από: Levelt, W. J. M. (Willem J. M.), 1938-
Έκδοση: (1974)
Formal grammars in linguistics and psycholinguistics
από: Levelt, W. J. M. (Willem J. M.), 1938-
Έκδοση: (1974)
από: Levelt, W. J. M. (Willem J. M.), 1938-
Έκδοση: (1974)
Computers in language research
Έκδοση: (1983)
Έκδοση: (1983)
Formalization of grammar in Slavic languages contributions of the eighth international conference on Formal Description of Slavic Languages-- FDSL VIII 2009 : University of Potsdam, December 2-5, 2009 /
Έκδοση: (2011)
Έκδοση: (2011)
Formal description of Slavic languages the ninth conference proceedings of FDSL 9, Gottingen 2011 /
Έκδοση: (2013)
Έκδοση: (2013)
Scientific applications of language methods
Έκδοση: (2011)
Έκδοση: (2011)
Russian formalism history-doctrine /
από: Erlich, Victor, 1914-2007
Έκδοση: (1980)
από: Erlich, Victor, 1914-2007
Έκδοση: (1980)
Building machine learning systems with Python
από: Richert, Willi
Έκδοση: (2013)
από: Richert, Willi
Έκδοση: (2013)
Oracle JRockit the definitive guide : develop and manage robust Java applications with Oracle's high-performance Java Virtual Machine /
από: Hirt, Marcus
Έκδοση: (2010)
από: Hirt, Marcus
Έκδοση: (2010)
Non-formal education strategies and management /
από: Napitupulu, W. P.
Έκδοση: (1978)
από: Napitupulu, W. P.
Έκδοση: (1978)
UML 2 semantics and applications
Έκδοση: (2009)
Έκδοση: (2009)
Software specification methods
Έκδοση: (2006)
Έκδοση: (2006)
Programming systems and languages.
από: Rosen, Saul
Έκδοση: (1967)
από: Rosen, Saul
Έκδοση: (1967)
An inductive logic programming approach to statistical relational learning
από: Kersting, Kristian
Έκδοση: (2006)
από: Kersting, Kristian
Έκδοση: (2006)
Introduction to languages and the theory of computation /
από: Martin, John C.
Έκδοση: (1991)
από: Martin, John C.
Έκδοση: (1991)