本文に飛ぶ

年 〜
年

検索結果 6 件

Transactions on Petri nets and other models of concurrency 7. (Lecture Notes in Computer Science ; 7480. Journal Subline)

Transactions on Petri nets and other models of concurrency 7. (Lecture Notes in Computer Science ; 7480. Journal Subline)
紙図書
Springerc2013.<M17-13-2734>
国立国会図書館
  • DDC511.3/5

Application and theory of Petri nets : 33rd international conference, PETRI NETS 2012 : Hamburg, Germany, June 25-29, 2012 : proceedings. (Lecture Notes in Computer Science ; 7347)

Application and theory of Petri nets : 33rd international conference, PETRI NETS 2012 : Hamburg, Germany, June 25-29, 2012 : proceedings. (Lecture Notes in Computer Science ; 7347)
紙図書
Springerc2012.<M17-13-554>
国立国会図書館
  • DDC511.3/5

Cellular automata : 10th international conference on cellular automata for research and industry, ACRI 2012 : Santorini Island, Greece, September 24-27, 2012 : proceedings. (Lecture Notes in Computer Science ; 7495)

Cellular automata : 10th international conference on cellular automata for research and industry, ACRI 2012 : Santorini Island, Greece, September 24-27, 2012 : proceedings. (Lecture Notes in Computer Science ; 7495)
紙図書
Springerc2012.<M17-13-654>
国立国会図書館
  • DDC511.3/5

Noncommutative rational series with applications / Jean Berstel, Christophe Reutenauer. (Encyclopedia of mathematics and its applications ; 137)

Noncommutative rational series with applications / Jean Berstel, Christophe Reutenauer. (Encyclopedia of mathematics and its applications ; 137)
紙図書
Cambridge University Press2011.<M154-B104>
国立国会図書館全国の図書館
  • DDC511.3/5

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)

Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
紙図書
Cambridge University Press1996.<MA41-A95>
国立国会図書館
  • DDC511.3/5

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)

Recursive functionals / Luis E. Sanchis. (Studies in logic and the foundations of mathematics ; v. 131)
紙図書
North-Hollandc1992.<MA41-A80>
国立国会図書館
  • DDC511.3/5

検索結果は以上です。

RSS