同志社大学の蔵書を検索
本学蔵書と電子資料をまとめて検索
同志社女子大学の蔵書を検索
他大学の蔵書を検索
国内の論文を検索
国立国会図書館NDLサーチを検索
同志社大学の蔵書を検索した結果です。電子書籍/電子ジャーナルは書誌詳細画面のリンクから利用できます。
検索キーワード:(書誌分類: QA267.3)
該当件数:17件
Proceedings of the third International Workshop on Graph and Model Transformations / general chairs Gabor Karsai, Gabriele Taentzer ; sponsors ACM Special Interest Group on Software Engineering, Association for Computing Machinery
print. - New York : ACM , 2008
電子書籍 <OB00750865>
A course in formal languages, automata and groups / Ian M. Chiswell
pbk. : acid-free paper,e-book. - London : Springer , 2009. - (Universitext)
電子書籍 <OB01024077>
Thirty five years of automating mathematics / edited by Fairouz D. Kamareddine
Dordrecht : Kluwer Academic , c2003. - (Applied logic series ; v. 28)
図書 <BB10061713>
Formale Logik und Grammatik / Hans Jürgen Heringer
Tübingen : M. Niemeyer , 1972. - (Germanistische Arbeitshefte ; 6)
図書 <BB00166057>
Languages and machines : an introduction to the theory of computer science / Thomas A. Sudkamp
2nd ed. - Reading, Mass. : Addison-Wesley , c1997
図書 <BB00326995>
Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.)
: set. - Berlin : Springer , c1997
図書 <BB00330341>
The language of machines : an introduction to computability and formal languages / Robert W. Floyd, Richard Beigel
New York : Computer Science Press , c1994
図書 <BB00274335>
Marcus contextual grammars / by Gheorghe Păun
Dordrecht ; Boston : Kluwer Academic Publishers , c1997. - (Studies in linguistics and philosophy ; v. 67)
図書 <BB00360290>
Regulated rewriting in formal language theory / Jürgen Dassow, Gheorghe Păun
: US,: gw. - Berlin ; New York : Springer-Verlag , c1989. - (EATCS monographs on theoretical computer science ; v. 18)
図書 <BB00118192>
LR(k) and LL(k) parsing / Seppo Sippu, Eljas Soisalon-Soininen
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1990. - (EATCS monographs on theoretical computer science ; v. 20 . Parsing theory ; v. 2)
図書 <BB00138665>
Introduction to formal grammars / M. Gross, A. Lentin ; with a preface by Noam Chomsky ; translated by M. Salkoff
Berlin ; New York : Springer-Verlag , 1970
図書 <BB00094874>
Jewels of formal language theory / Arto Salomaa
London : Pitman , 1981
図書 <BB00209202>
Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)
図書 <BB00330340>
Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)
図書 <BB00330348>
Beyond words / G. Rozenberg, A. Salomaa, (eds.)
Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)
図書 <BB00330350>
Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings / Laurent Miclet, Colin de la Higuera (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1147 . Lecture notes in artificial intelligence)
図書 <BB00320846>
The mathematical theory of L systems / Grzegorz Rozenberg, Arto Salomaa
New York : Academic Press , 1980. - (Pure and applied mathematics ; 90)
図書 <BB00052685>