本文に飛ぶ

年 〜
年

検索結果 247 件

Reversible world of cellular automata : fantastic phenomena and computing in artificial reversible universe (WSPC book series in unconventional computing ; volume 4)

Reversible world of cellular automata : fantastic phenomena and computing in artificial reversible universe (WSPC book series in unconventional computing ; volume 4)
紙図書
Kenichi MoritaWorld Scientific[2025]<M121-D85>
国立国会図書館

Cellular automata : 13th international conference on cellular automata for research and industry, ACRI 2018 : Como, Italy, September 17-21, 2018 : proceedings : Sep 2018, Como, Italy. (Lecture Notes in Computer Science ; 11115)

Cellular automata : 13th international conference on cellular automata for research and industry, ACRI 2018 : Como, Italy, September 17-21, 2018 : proceedings : Sep 2018, Como, Italy. (Lecture Notes in Computer Science ; 11115)
紙図書
Springer[2018]<M17-20-849>
国立国会図書館
  • 件名Cellular automata--Congresses. Cellular automata.

Cellular automata : a volume in the encyclopedia of complexity and systems science, Second edition (Encyclopedia of complexity and systems science series) (Springer reference)

Cellular automata : a volume in the encyclopedia of complexity and systems science, Second edition (Encyclopedia of complexity and systems science series) (Springer reference)
紙図書
Andrew Adamatzky, editor.Springer[2018]<M121-D3>
国立国会図書館
  • 要約等...d asynchronous automata. Topics added to the second ed...
  • 内容細目...cs of Cellular Automata.
  • 件名Cellular automata--Encyclopedias. Cellular automata.

半群、形式言語および計算理論の研究

半群、形式言語および計算理論の研究
紙図書
今岡, 輝男, 島根大学1997-1999<Y151-H09440017>
国立国会図書館

Cellular automata : 11th international conference on cellular automata for research and industry, ACRI 2014 : Krakow, Poland, September 22-25, 2014 : proceedings : Sep 2014, Krakow, Poland. (Lecture Notes in Computer Science ; 8751)

Cellular automata : 11th international conference on cellular automata for research and industry, ACRI 2014 : Krakow, Poland, September 22-25, 2014 : proceedings : Sep 2014, Krakow, Poland. (Lecture Notes in Computer Science ; 8751)
紙図書
Springer[2014]<M17-15-1365>
国立国会図書館
  • 件名Cellular automata--Congresses. Cellular automata.

Cellular automata and discrete complex systems : 21st IFIP WG 1.5 international workshop, AUTOMATA 2015 : Turku, Finland, June 8-10, 2015 : proceeding : IFIP working conference : Jun 2015, Truku, Finland. (Lecture Notes in Computer Science ; 9099)

Cellular automata and discrete complex systems : 21st IFIP WG 1.5 international workshop, AUTOMATA 2015 : Turku, Finland, June 8-10, 2015 : proceeding : IFIP working conference : Jun 2015, Truku, Finland. (Lecture Notes in Computer Science ; 9099)
紙図書
Springer[2015]<M17-16-370>
国立国会図書館
  • 件名...sses. Cellular automata. Computer science--Mathematics...

Implementation and application of automata : 18th international conference, CIAA 2013 : Halifax, NS, Canada, July 16-19, 2013 : proceedings : Jul 2013, Halifax, Canada. (Lecture Notes in Computer Science ; 7982)

Implementation and application of automata : 18th international conference, CIAA 2013 : Halifax, NS, Canada, July 16-19, 2013 : proceedings : Jul 2013, Halifax, Canada. (Lecture Notes in Computer Science ; 7982)
紙図書
Springerc2013.<M17-14-564>
国立国会図書館

Implementation and application of automata : 16th international conference, CIAA 2011 : Blois, France, July 13-16, 2011 : proceedings : CIAA meeting : Jul 2011, Blois, France. (Lecture Notes in Computer Science ; 6807)

Implementation and application of automata : 16th international conference, CIAA 2011 : Blois, France, July 13-16, 2011 : proceedings : CIAA meeting : Jul 2011, Blois, France. (Lecture Notes in Computer Science ; 6807)
紙図書
Springerc2011.<M17-12-47>
国立国会図書館

Formal modeling and analysis of timed systems : 12th international conference, FORMATS 2014 : Florence, Italy, September 8-10, 2014 : proceedings : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8711)

Formal modeling and analysis of timed systems : 12th international conference, FORMATS 2014 : Florence, Italy, September 8-10, 2014 : proceedings : Sep 2014, Florence, Italy. (Lecture Notes in Computer Science ; 8711)
紙図書
Springer[2014]<M17-15-1260>
国立国会図書館
  • 件名...ysis. Temporal automata.

Formal modeling and analysis of timed systems : 13th international conference, FORMATS 2015 : Madrid, Spain, September 2-4, 2015 : proceedings : Sep 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9268)

Formal modeling and analysis of timed systems : 13th international conference, FORMATS 2015 : Madrid, Spain, September 2-4, 2015 : proceedings : Sep 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9268)
紙図書
Springer[2015]<M17-16-597>
国立国会図書館
  • 件名...ysis. Temporal automata.

Cellular automata and discrete complex systems : 19th international workshop, AUTOMATA 2013 : Gießen, Germany, September 17-19, 2013 : proceedings : Sep 2013, Gießen, Germany. (Lecture Notes in Computer Science ; 8155)

Cellular automata and discrete complex systems : 19th international workshop, AUTOMATA 2013 : Gießen, Germany, September 17-19, 2013 : proceedings : Sep 2013, Gießen, Germany. (Lecture Notes in Computer Science ; 8155)
紙図書
Springerc2013.<M17-14-766>
国立国会図書館

Innovations in intelligent machines. 2 Intelligent paradigms and applications (Studies in computational intelligence ; v. 376)

Innovations in intelligent machines. 2 Intelligent paradigms and applications (Studies in computational intelligence ; v. 376)
紙図書
Toyohide Watanabe and Lakhmi C. Jain (eds.).Springerc2012.<M121-B103>
国立国会図書館
  • 件名Conscious automata. Artificial intelligence--Tech...

Cellular automata : 8th international conference on cellular automata for research and industry, ACRI 2008 : Yokohama, Japan, September 23-26, 2008 : proceedings. : 2nd international workshop on crowds and cellular automata C&CA 2008 : Sep 2008, Yokohama, Japan. (Lecture Notes in Computer Science ; 5191)

Cellular automata : 8th international conference on cellular automata for research and industry, ACRI 2008 : Yokohama, Japan, September 23-26, 2008 : proceedings. : 2nd international workshop on crowds and cellular automata C&CA 2008 : Sep 2008, Yokohama, Japan. (Lecture Notes in Computer Science ; 5191)
紙図書
Springerc2008.<M17-08-2138>
国立国会図書館

Genesis machines : the new science of biocomputing / Martyn Amos.

Genesis machines : the new science of biocomputing / Martyn Amos.
紙図書
Atlantic2006.<M121-B42>
国立国会図書館
  • 件名Bionics. Conscious automata.

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007 : Salzburg, Austria, October 3-5, 2007 : proceedings. : 5th international conference on formal modelling and analysis of timed systems : Oct 2007, Salzburg, Austria. (Lecture Notes in Computer Science ; 4763)

Formal modeling and analysis of timed systems : 5th international conference, FORMATS 2007 : Salzburg, Austria, October 3-5, 2007 : proceedings. : 5th international conference on formal modelling and analysis of timed systems : Oct 2007, Salzburg, Austria. (Lecture Notes in Computer Science ; 4763)
紙図書
Springerc2007.<M17-08-731>
国立国会図書館

Cellular automata : 7th international conference on cellular automata for research and industry, ACRI 2006 : Perpignan, France, September 20-23, 2006 : proceedings. : 1st international workshop on crowds and cellular automata : C&CA workshop : Sep 2006, Perpignan, France. (Lecture Notes in Computer Science ; 4173)

Cellular automata : 7th international conference on cellular automata for research and industry, ACRI 2006 : Perpignan, France, September 20-23, 2006 : proceedings. : 1st international workshop on crowds and cellular automata : C&CA workshop : Sep 2006, Perpignan, France. (Lecture Notes in Computer Science ; 4173)
紙図書
Springerc2006.<M17-06-3110>
国立国会図書館

Formal modeling and analysis of timed systems : 11th international conference, FORMATS 2013 : Buenos Aires, Argentina, August 29-31, 2013 : proceedings : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8053)

Formal modeling and analysis of timed systems : 11th international conference, FORMATS 2013 : Buenos Aires, Argentina, August 29-31, 2013 : proceedings : Aug 2013, Buenos Aires, Argentina. (Lecture Notes in Computer Science ; 8053)
紙図書
Springerc2013.<M17-14-580>
国立国会図書館

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011 : Aalborg, Denmark, September 21-23, 2011 : proceedings : Sep 2011, Aalborg, Denmark. (Lecture Notes in Computer Science ; 6919)

Formal modeling and analysis of timed systems : 9th international conference, FORMATS 2011 : Aalborg, Denmark, September 21-23, 2011 : proceedings : Sep 2011, Aalborg, Denmark. (Lecture Notes in Computer Science ; 6919)
紙図書
Springerc2011.<M17-12-1225>
国立国会図書館

Implementation and application of automata : 11th international conference, CIAA 2006 : Taipei, Taiwan, August 21-23, 2006 : proceedings. : Aug 2006, Taipei, Taiwan. (Lecture Notes in Computer Science ; 4094)

Implementation and application of automata : 11th international conference, CIAA 2006 : Taipei, Taiwan, August 21-23, 2006 : proceedings. : Aug 2006, Taipei, Taiwan. (Lecture Notes in Computer Science ; 4094)
紙図書
Springerc2006.<M17-06-3033>
国立国会図書館
  • 件名Machine theory -- Congresses. Automata.

Implementation and application of automata : 10th international conference, CIAA 2005 : Sophia Antipolis, France, June 27-29, 2005 : revised selected papers. : Jun 2005, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 3845)

Implementation and application of automata : 10th international conference, CIAA 2005 : Sophia Antipolis, France, June 27-29, 2005 : revised selected papers. : Jun 2005, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 3845)
紙図書
Springerc2006.<M17-06-941>
国立国会図書館
  • 件名Machine theory -- Congresses. Automata.
RSS