Formal languages, automata and numeration systems 2 /
Պահպանված է:
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Էլեկտրոնային էլ․ գիրք |
| Լեզու: | անգլերեն |
| Հրապարակվել է: |
London, England ; Hoboken, New Jersey :
ISTE : Wiley,
2014.
|
| Շարք: | Networks and telecommunications series.
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | An electronic book accessible through the World Wide Web; click to view |
| Ցուցիչներ: |
Ավելացրեք ցուցիչ
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|
Նմանատիպ նյութեր
Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
: 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)
Words, semigroups, & transductions festschrift in honor of Gabriel Thierrin /
Հրապարակվել է: (2001)
Հրապարակվել է: (2001)
Formal models, languages and applications
Հրապարակվել է: (2006)
Հրապարակվել է: (2006)
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)
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)
UML 2 semantics and applications
Հրապարակվել է: (2009)
Հրապարակվել է: (2009)
Clojure for machine learning : successfully leverage advanced machine learning techniques using the Clojure ecosystem /
: Wali, Akhil
Հրապարակվել է: (2014)
: Wali, Akhil
Հրապարակվել է: (2014)
Testamentary formalities /
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
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)
A half-century of automata theory celebration and inspiration /
Հրապարակվել է: (2001)
Հրապարակվել է: (2001)
Computers in language research
Հրապարակվել է: (1983)
Հրապարակվել է: (1983)
Formal description of Slavic languages the ninth conference proceedings of FDSL 9, Gottingen 2011 /
Հրապարակվել է: (2013)
Հրապարակվել է: (2013)
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)
Non-formal education strategies and management /
: Napitupulu, W. P.
Հրապարակվել է: (1978)
: Napitupulu, W. P.
Հրապարակվել է: (1978)
Scientific applications of language methods
Հրապարակվել է: (2011)
Հրապարակվել է: (2011)
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)
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)
Blender 2.49 scripting extend the power and flexibility of Blender with the help of Python, a high-level, easy-to-learn scripting language /
: Anders, Michel
Հրապարակվել է: (2010)
: Anders, Michel
Հրապարակվել է: (2010)