本文に飛ぶ

年 〜
年

検索結果 75 件

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 : 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 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>
国立国会図書館

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>
国立国会図書館

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>
国立国会図書館
  • 件名Cellular automata -- Congresses.

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>
国立国会図書館
  • 件名...sses. Temporal automata -- Congresses. Formal methods......-- Congresses. Automata -- Congresses.

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>
国立国会図書館
  • 件名Cellular automata -- Congresses.

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>
国立国会図書館

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

Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012 : London, UK, September 18-20, 2012 : proceedings : Sep 2012, London, UK. (Lecture Notes in Computer Science ; 7595)

Formal modeling and analysis of timed systems : 10th international conference, FORMATS 2012 : London, UK, September 18-20, 2012 : proceedings : Sep 2012, London, UK. (Lecture Notes in Computer Science ; 7595)
紙図書
Springerc2012.<M17-13-827>
国立国会図書館

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010 : Klosterneuburg, Austria, September 8-10, 2010 : proceedings. : Sep 2010, Klosterneuburg, Austria. (Lecture Notes in Computer Science ; 6246)

Formal modeling and analysis of timed systems : 8th international conference, FORMATS 2010 : Klosterneuburg, Austria, September 8-10, 2010 : proceedings. : Sep 2010, Klosterneuburg, Austria. (Lecture Notes in Computer Science ; 6246)
紙図書
Springerc2010.<M17-10-4360>
国立国会図書館
  • 件名...sses. Temporal automata -- Congresses. Formal methods (Computer scie...

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005 : Uppsala, Sweden, September 26-28, 2005 : proceedings. : 3rd international conference on formal modelling and analysis of timed systems : Sep 2005, Uppsala, Sweden. (Lecture Notes in Computer Science ; 3829)

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005 : Uppsala, Sweden, September 26-28, 2005 : proceedings. : 3rd international conference on formal modelling and analysis of timed systems : Sep 2005, Uppsala, Sweden. (Lecture Notes in Computer Science ; 3829)
紙図書
Springerc2005.<M17-06-912>
国立国会図書館
  • 件名...sses. Temporal automata -- Congresses. Formal methods......-- Congresses. Automata -- Congresses.

Cellular automata : 6th international conference on cellular automata for research and industry, ACRI 2004 : Amsterdam, the Netherlands, October 25-27, 2004 : proceedings. : Oct 2004, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 3305)

Cellular automata : 6th international conference on cellular automata for research and industry, ACRI 2004 : Amsterdam, the Netherlands, October 25-27, 2004 : proceedings. : Oct 2004, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 3305)
紙図書
Springerc2004.<M17-05-898>
国立国会図書館
  • 件名Cellular automata -- Congresses.

New constructions in cellular automata. : Dec 1998, Santa Fe, NM. (Santa Fe Institute Studies in the Sciences of Complexity Proceedings Volume)

New constructions in cellular automata. : Dec 1998, Santa Fe, NM. (Santa Fe Institute Studies in the Sciences of Complexity Proceedings Volume)
紙図書
Oxford University Pressc2003.<M17-03-1523>
国立国会図書館
  • 件名Cellular automata -- Congresses.

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>
国立国会図書館

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003 : Marseille, France, September 6-7, 2003 : revised papers. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2791)

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003 : Marseille, France, September 6-7, 2003 : revised papers. : Sep 2003, Marseille, France. (Lecture Notes in Computer Science ; 2791)
紙図書
Springerc2004.<M17-04-2997>
国立国会図書館
  • 件名...sses. Temporal automata -- Congresses. Formal methods......-- Congresses. Automata -- Congresses.

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008 : Saint Malo, France, September 15-17, 2008 : proceedings. : 6th international conference on formal modelling and analysis of timed systems : Sep 2008, Saint Malo, France. (Lecture Notes in Computer Science ; 5215)

Formal modeling and analysis of timed systems : 6th international conference, FORMATS 2008 : Saint Malo, France, September 15-17, 2008 : proceedings. : 6th international conference on formal modelling and analysis of timed systems : Sep 2008, Saint Malo, France. (Lecture Notes in Computer Science ; 5215)
紙図書
Springerc2008.<M17-08-2242>
国立国会図書館
  • 件名...sses. Temporal automata -- Congresses. Formal methods (Computer scie...

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>
国立国会図書館

Cellular automata : 5th international conference on cellular automata for research and industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002 : proceedings. : Oct 2002, Geneva, Switzerland. (Lecture Notes in Computer Science ; 2493)

Cellular automata : 5th international conference on cellular automata for research and industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002 : proceedings. : Oct 2002, Geneva, Switzerland. (Lecture Notes in Computer Science ; 2493)
紙図書
Springer2002.<M17-03-191>
国立国会図書館
  • 件名Cellular automata -- Congresses.
RSS