Kapak Resmi

QR Kod

Formal languages, automata and numeration systems 2 /

Kaydedildi:

Detaylı Bibliyografya
Yazar:	Rigo, Michel (Yazar)
Materyal Türü:	Elektronik Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	London, England ; Hoboken, New Jersey : ISTE : Wiley, 2014.
Seri Bilgileri:	Networks and telecommunications series.
Konular:	Computer programming. Formal languages. Machine theory. Electronic books.
Online Erişim:	An electronic book accessible through the World Wide Web; click to view
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Formal languages, automata and numeration systems 1 : applications to recognizability and decidability /
Yazar:: Rigo, Michel
Baskı/Yayın Bilgisi: (2014)

Automata, formal languages and algebraic systems proceedings of AFLAS 2008, Kyoto, Japan, 20-22 September 2008 /
Baskı/Yayın Bilgisi: (2010)

Algebraic theory of automata and languages
Yazar:: Itō, Masami, 1941-
Baskı/Yayın Bilgisi: (2004)

Introduction to automata theory, languages, and computation /
Yazar:: Hopcroft, John E., 1939-
Baskı/Yayın Bilgisi: (1979)

Introduction to automata theory, languages, and computation /
Yazar:: Hopcroft, John E.
Baskı/Yayın Bilgisi: (2001)

Computability, complexity, and languages : fundamentals of theoretical computer science /
Yazar:: Davis, Martin, 1928-
Baskı/Yayın Bilgisi: (1994)

Theory of automata, formal languages and computation
Yazar:: Xavier, S. P. Eugene
Baskı/Yayın Bilgisi: (2005)

Words, semigroups, & transductions festschrift in honor of Gabriel Thierrin /
Baskı/Yayın Bilgisi: (2001)

Formal models, languages and applications
Baskı/Yayın Bilgisi: (2006)

Words, languages, and combinatorics III proceedings of the international conference : Kyoto, Japan, 14-18 March 2000 /
Baskı/Yayın Bilgisi: (2003)

Elements of the theory of computation /
Yazar:: Lewis, Harry R.
Baskı/Yayın Bilgisi: (1998)

Formal methods applied to complex systems : implementation of the B method /
Baskı/Yayın Bilgisi: (2014)

Formalizing natural languages : the NooJ approach /
Yazar:: Silberztein, Max
Baskı/Yayın Bilgisi: (2016)

Formal software development from VDM to Java /
Yazar:: Charatan, Quentin
Baskı/Yayın Bilgisi: (2004)

Weighted restarting automata /
Yazar:: Wang, Qichao
Baskı/Yayın Bilgisi: (2018)

Logic and automata history and perspectives /
Baskı/Yayın Bilgisi: (2008)

Switching and finite automata theory /
Yazar:: Kohavi, Zvi
Baskı/Yayın Bilgisi: (1978)

Two-step approaches to natural language formalisms
Yazar:: Morawietz, Frank, 1968-
Baskı/Yayın Bilgisi: (2003)

Quantum cellular automata theory, experimentation and prospects /
Baskı/Yayın Bilgisi: (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 /
Baskı/Yayın Bilgisi: (2001)

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 /
Baskı/Yayın Bilgisi: (2011)

Semigroups and automata selecta, Uno Kaljulaid (1941-1999) /
Yazar:: Kaljulaid, U. (Uno)
Baskı/Yayın Bilgisi: (2006)

Testamentary formalities /
Baskı/Yayın Bilgisi: (2011)

Formal grammars in linguistics and psycholinguistics
Yazar:: Levelt, W. J. M. (Willem J. M.), 1938-
Baskı/Yayın Bilgisi: (1974)

Formal grammars in linguistics and psycholinguistics
Yazar:: Levelt, W. J. M. (Willem J. M.), 1938-
Baskı/Yayın Bilgisi: (1974)

UML 2 semantics and applications
Baskı/Yayın Bilgisi: (2009)

Computers in language research
Baskı/Yayın Bilgisi: (1983)

Clojure for machine learning : successfully leverage advanced machine learning techniques using the Clojure ecosystem /
Yazar:: Wali, Akhil
Baskı/Yayın Bilgisi: (2014)

Teamwork in multi-agent systems a formal approach /
Yazar:: Dunin-Kȩplicz, Barbara
Baskı/Yayın Bilgisi: (2010)

A half-century of automata theory celebration and inspiration /
Baskı/Yayın Bilgisi: (2001)

Formal description of Slavic languages the ninth conference proceedings of FDSL 9, Gottingen 2011 /
Baskı/Yayın Bilgisi: (2013)

Russian formalism history-doctrine /
Yazar:: Erlich, Victor, 1914-2007
Baskı/Yayın Bilgisi: (1980)

Building machine learning systems with Python
Yazar:: Richert, Willi
Baskı/Yayın Bilgisi: (2013)

Non-formal education strategies and management /
Yazar:: Napitupulu, W. P.
Baskı/Yayın Bilgisi: (1978)

Scientific applications of language methods
Baskı/Yayın Bilgisi: (2011)

Oracle JRockit the definitive guide : develop and manage robust Java applications with Oracle's high-performance Java Virtual Machine /
Yazar:: Hirt, Marcus
Baskı/Yayın Bilgisi: (2010)

Software specification methods
Baskı/Yayın Bilgisi: (2006)

Programming systems and languages.
Yazar:: Rosen, Saul
Baskı/Yayın Bilgisi: (1967)

An inductive logic programming approach to statistical relational learning
Yazar:: Kersting, Kristian
Baskı/Yayın Bilgisi: (2006)

Semigroups and formal languages proceedings of the International Conference, in honor of the 65th birthday of Donald B. McAlister, Centro de Álgebra da Universidade de Lisboa (CAUL), Portugal 12-15 July 2005, organised with special support from Centro Internacional de Matemática (CIM) /
Baskı/Yayın Bilgisi: (2007)