国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1980年代
(9)
1990年代
(31)
2000年代
(26)
2010年代
(4)
2020年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(67)
雑誌
新聞
和古書・漢籍
博士論文
(4)
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
(1)
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
(5)
紙
(67)
マイクロ
記録メディア
すべて解除
件名
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 72 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)
Rewriting and typed lambda calculi : joint international conference, RTA-TLCA 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 14-17, 2014 : proceedings : federated logic conference (FLoC) : 25th international conference on rewriting techniques and applications (RTA) : 12th international conference on typed lambda calculus and applications (TLCA 2014) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8560. Advanced Research in Computing and Software Science)
紙
図書
Springer
[2014]
<M17-15-1249>
国立国会図書館
項書換えのための合成可能な合流性基準
項書換えのための合成可能な合流性基準
デジタル
博士論文
障害者向け資料あり
新谷, 喜楽
2023-09
国立国会図書館
Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007 : Kassel, Germany, October 10-12, 2007 : revised selected and invited papers. : AGTIVE 2007 symposium on "applications of graph transformation with industrial relevance" : Oct 2007, Kassel, Germany. (Lecture Notes in Computer Science ; 5088)
Applications of graph transformations with industrial relevance : third international symposium, AGTIVE 2007 : Kassel, Germany, October 10-12, 2007 : revised selected and invited papers. : AGTIVE 2007 symposium on "applications of graph transformation with industrial relevance" : Oct 2007, Kassel, Germany. (Lecture Notes in Computer Science ; 5088)
紙
図書
Springer
c2008.
<M17-09-1029>
国立国会図書館
半群、形式言語および計算理論の研究
半群、形式言語および計算理論の研究
紙
図書
今岡, 輝男, 島根大学
1997-1999
<Y151-H09440017>
国立国会図書館
Rewriting techniques and applications : 19th international conference, RTA 2008 : Hagenberg, Austria, July 15-17, 2008 : proceedings. : Jul 2008, Hagenberg, Austria. (Lecture Notes in Computer Science ; 5117)
Rewriting techniques and applications : 19th international conference, RTA 2008 : Hagenberg, Austria, July 15-17, 2008 : proceedings. : Jul 2008, Hagenberg, Austria. (Lecture Notes in Computer Science ; 5117)
紙
図書
Springer
c2008.
<M17-08-2231>
国立国会図書館
Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4533)
Term rewriting and applications : 18th international conference, RTA 2007 : Paris, France, June 26-28, 2007 : proceedings. : 18th international conference on rewriting techniques and applications : federated conference on rewriting, deduction, and programming (RDP) : Jun 2007, Paris, France. (Lecture Notes in Computer Science ; 4533)
紙
図書
Springer
c2007.
<M17-07-2341>
国立国会図書館
Substitutions in dynamics, arithmetics, and combinatorics / N. Pytheas Fogg ; editors, V. Berthé ... [et al.]. (Lecture notes in mathematics ; 1794)
Substitutions in dynamics, arithmetics, and combinatorics / N. Pytheas Fogg ; editors, V. Berthé ... [et al.]. (Lecture notes in mathematics ; 1794)
紙
図書
Springer
c2002.
<MA41-B1>
国立国会図書館
Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)
Concurrency, graphs and models : essays dedicated to Ugo Montanari on the occasion of his 65th birthday. : Jun 2008, Pisa, Italy. (Lecture Notes in Computer Science ; 5065. Festschrift)
紙
図書
Springer
c2008.
<M17-09-1163>
国立国会図書館
Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. : 17th international conference on rewriting techniques and applications : 4th federated logic conference (FLoC) : RTA workshop : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4098)
Term rewriting and applications : 17th international conference, RTA 2006 : Seattle, WA, USA, August 12-14, 2006 : proceedings. : 17th international conference on rewriting techniques and applications : 4th federated logic conference (FLoC) : RTA workshop : Aug 2006, Seattle, WA. (Lecture Notes in Computer Science ; 4098)
紙
図書
Springer
c2006.
<M17-06-3104>
国立国会図書館
Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003 : Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers. : international AGTIVE 2003 workshop and symposium : Sep 2003, Charlottesville, VA. (Lecture Notes in Computer Science ; 3062)
Applications of graph transformations with industrial relevance : second international workshop, AGTIVE 2003 : Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers. : international AGTIVE 2003 workshop and symposium : Sep 2003, Charlottesville, VA. (Lecture Notes in Computer Science ; 3062)
紙
図書
Springer
c2004.
<M17-04-3184>
国立国会図書館
Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5595)
Rewriting techniques and applications : 20th international conference, RTA 2009 : Brasilia, Brazil, June 29-July 1, 2009 : proceedings. : 5th international conference on rewriting, deduction, and programming (RDP 2009) : Jun 2009, Brasilia, Brazil. (Lecture Notes in Computer Science ; 5595)
紙
図書
Springer
c2009.
<M17-10-755>
国立国会図書館
Rewriting techniques and applications : 15th international conference, RTA 2004 : Aachen, Germany, June 3-5, 2004 : proceedings. : Jun 2004, Aachen, Germany. (Lecture Notes in Computer Science ; 3091)
Rewriting techniques and applications : 15th international conference, RTA 2004 : Aachen, Germany, June 3-5, 2004 : proceedings. : Jun 2004, Aachen, Germany. (Lecture Notes in Computer Science ; 3091)
紙
図書
Springer
c2004.
<M17-04-3213>
国立国会図書館
Rewriting techniques and applications : 14th international conference, RTA 2003 : Valencia, Spain, June 9-11, 2003 : proceedings. : Jun 2003, Valencia, Spain. (Lecture Notes in Computer Science ; 2706)
Rewriting techniques and applications : 14th international conference, RTA 2003 : Valencia, Spain, June 9-11, 2003 : proceedings. : Jun 2003, Valencia, Spain. (Lecture Notes in Computer Science ; 2706)
紙
図書
Springer
c2003.
<M17-04-542>
国立国会図書館
Rewriting techniques and applications : 12th international conference, RTA 2001 : Utrecht, the Netherlands, May 22-24, 2001 : proceedings. : May 2001, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 2051)
Rewriting techniques and applications : 12th international conference, RTA 2001 : Utrecht, the Netherlands, May 22-24, 2001 : proceedings. : May 2001, Utrecht, the Netherlands. (Lecture Notes in Computer Science ; 2051)
紙
図書
Springer
2001.
<M17-03-4644>
国立国会図書館
項書換えのための合成可能な合流性基準
項書換えのための合成可能な合流性基準
デジタル
博士論文
新谷, 喜楽
2023-09
インターネットで読める
全国の図書館
Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.). (Lecture notes in computer science)
Conditional term rewriting systems / Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992, proceedings ; M. Rusinowitch, J.L. Rémy (eds.). (Lecture notes in computer science)
紙
図書
Springer-Verlag
c1993.
<M15-A8637>
国立国会図書館
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, eds. (Lecture notes in computer science)
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [sic], France, May 17-21, 1993 : advanced course / Hubert Comon, Jean-Pierre Jouannaud, eds. (Lecture notes in computer science)
紙
図書
Springer Verlag
c1995.
<M15-A9646>
国立国会図書館
Efficient graph rewriting and its implementation / Heiko Dörr. (Lecture notes in computer science)
Efficient graph rewriting and its implementation / Heiko Dörr. (Lecture notes in computer science)
紙
図書
Springer-Verlag
c1995.
<M159-A163>
国立国会図書館
Application of graph rewriting to natural language processing hbk.
Application of graph rewriting to natural language processing hbk.
紙
図書
Guillaume Bonfante, Bruno Guillaume, Guy Perrier
Wiley-ISTE
2018
全国の図書館
Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.). (Lecture notes in computer science)
Conditional and typed rewriting systems : 2nd international CTRS workshop, Montreal, Canada, June 11-14, 1990 : proceedings / S. Kaplan, M. Okada (eds.). (Lecture notes in computer science)
紙
図書
Springer-Verlag
c1991.
<M15-A7738>
国立国会図書館
もっと見る(21件目~)
書誌情報を一括出力