yr 〜
yr

Search results 15

Theory and applications of models of computation : 15th annual conference, TAMC 2019 : Kitakyushu, Japan, April 13-16, 2019 : proceedings : Apr 2019, Kitakyushu, Japan. (Lecture Notes in Computer Science ; 11436)

Theory and applications of models of computation : 15th annual conference, TAMC 2019 : Kitakyushu, Japan, April 13-16, 2019 : proceedings : Apr 2019, Kitakyushu, Japan. (Lecture Notes in Computer Science ; 11436)
Paper図書
Springer[2019]<M17-21-285>
National Diet Library
  • DDC004.0151

Cellular automata and discrete complex systems : 20th international workshop, AUTOMATA 2014 : Himeji, Japan, July 7-9, 2014 : revised selected papers : Jul 2014, Himeji, Japan. (Lecture Notes in Computer Science ; 8996)

Cellular automata and discrete complex systems : 20th international workshop, AUTOMATA 2014 : Himeji, Japan, July 7-9, 2014 : revised selected papers : Jul 2014, Himeji, Japan. (Lecture Notes in Computer Science ; 8996)
Paper図書
Springer[2015]<M17-19-362>
National Diet Library
  • DDC004.0151

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 16th international workshop, APPROX 2013 and 17th international workshop, RANDOM 2013 : Berkeley, CA, USA, August 21-23, 2013 : proceedings : 16th international workshop on approximation algorithms for combinatorial optimization problems : 17th international workshop on randomization and computation : Approx+Random 2013 conference : Aug 2013, Berkeley, CA. (Lecture Notes in Computer Science ; 8096)

Approximation, randomization, and combinatorial optimization : algorithms and techniques : 16th international workshop, APPROX 2013 and 17th international workshop, RANDOM 2013 : Berkeley, CA, USA, August 21-23, 2013 : proceedings : 16th international workshop on approximation algorithms for combinatorial optimization problems : 17th international workshop on randomization and computation : Approx+Random 2013 conference : Aug 2013, Berkeley, CA. (Lecture Notes in Computer Science ; 8096)
Paper図書
Springerc2013.<M17-14-604>
National Diet Library
  • DDC004.0151

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)

Intelligent computer mathematics : MKM, Calculemus, DML, and systems and projects 2013 : held as part of CICM 2013 : Bath, UK, July 8-12, 2013 : proceedings : 12th international conference on mathematical knowledge management : 20th symposium on integration of symbolic computation and mechanized reasoning : 6th workshop/conference on digital mathematics libraries : Jul 2013, Bath, UK. (Lecture Notes in Computer Science ; 7961. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-552>
National Diet Library
  • DDC004.0151

Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7892)

Formal techniques for distributed systems : joint IFIP WG 6.1 international conference FMOODS/FORTE 2013 : held as part of the 8th international federated conference on distributed computing techniques, DisCoTec 2013 : Florence, Italy, June 3-5, 2013, proceedings : 33rd FORTE/15th FMOODS : international conferences formal techniques for networked and distributed systems (FORTE) and formal methods for open object-based distributed systems (FMOODS) : FORTE/FMOODS conference : Jun 2013, Florence, Italy. (Lecture Notes in Computer Science ; 7892)
Paper図書
Springerc2013.<M17-13-3340>
National Diet Library
  • DDC004.0151

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)
Paper図書
Springerc2013.<M17-14-576>
National Diet Library
  • DDC004.0151

FM 2012: formal methods : 18th international symposium : Paris, France, August 27-31, 2012 : proceedings : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7436)

FM 2012: formal methods : 18th international symposium : Paris, France, August 27-31, 2012 : proceedings : Aug 2012, Paris, France. (Lecture Notes in Computer Science ; 7436)
Paper図書
Springerc2012.<M17-13-587>
National Diet Library
  • DDC004.0151

Relational mathematics / Gunther Schmidt. (Encyclopedia of mathematics and its applications ; 132)

Relational mathematics / Gunther Schmidt. (Encyclopedia of mathematics and its applications ; 132)
Paper図書
Cambridge University Press2011.<M154-B109>
National Diet LibraryOther Libraries in Japan
  • DDC004.0151

Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011 : Warsaw, Poland, August 22-26, 2011 : proceedings : Aug 2011, Warsaw, Poland. (Lecture Notes in Computer Science ; 6907. Advanced Research in Computing and Software Science)

Mathematical foundations of computer science 2011 : 36th international symposium, MFCS 2011 : Warsaw, Poland, August 22-26, 2011 : proceedings : Aug 2011, Warsaw, Poland. (Lecture Notes in Computer Science ; 6907. Advanced Research in Computing and Software Science)
Paper図書
Springerc2011.<M17-12-443>
National Diet Library
  • DDC004.0151

Implementation and application of automata : 15th international conference, CIAA 2010 : Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers. : CIAA meeting : Aug 2010, Winnipeg, Canada. (Lecture Notes in Computer Science ; 6482)

Implementation and application of automata : 15th international conference, CIAA 2010 : Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers. : CIAA meeting : Aug 2010, Winnipeg, Canada. (Lecture Notes in Computer Science ; 6482)
Paper図書
Springerc2011.<M17-11-2109>
National Diet Library
  • DDC004.0151

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6300. Festschrift)

Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. : Aug 2010, Brno, Czech Republic. (Lecture Notes in Computer Science ; 6300. Festschrift)
Paper図書
Springerc2010.<M17-10-4407>
National Diet Library
  • DDC004.0151

Algorithms and complexity : 7th international conference, CIAC 2010 : Rome, Italy, May 26-28, 2010 : proceedings. : CIAC-2010 : May 2010, Rome, Italy. (Lecture Notes in Computer Science ; 6078)

Algorithms and complexity : 7th international conference, CIAC 2010 : Rome, Italy, May 26-28, 2010 : proceedings. : CIAC-2010 : May 2010, Rome, Italy. (Lecture Notes in Computer Science ; 6078)
Paper図書
Springerc2010.<M17-11-147>
National Diet Library
  • DDC004.0151

Rigorous methods for software construction and analysis : essays dedicated to Egon Borger on the occasion of his 60th birthday. : Dagstuhl seminar 06191 : May 2006, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 5115. Festschrift)

Rigorous methods for software construction and analysis : essays dedicated to Egon Borger on the occasion of his 60th birthday. : Dagstuhl seminar 06191 : May 2006, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 5115. Festschrift)
Paper図書
Springerc2009.<M17-10-2775>
National Diet Library
  • DDC004.0151

Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. : Apr 2006, Tel Aviv, Israel. (Lecture Notes in Computer Science ; 4800. Festschrift)

Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. : Apr 2006, Tel Aviv, Israel. (Lecture Notes in Computer Science ; 4800. Festschrift)
Paper図書
Springerc2008.<M17-09-1703>
National Diet Library
  • DDC004.0151

Computer mathematics : proceedings of the sixth Asian symposium (ASCM 2003) : Beijing, China 17-19 April 2003. : Apr 2003, Beijing, China. (Lecture Notes Series on Computing ; 10)

Computer mathematics : proceedings of the sixth Asian symposium (ASCM 2003) : Beijing, China 17-19 April 2003. : Apr 2003, Beijing, China. (Lecture Notes Series on Computing ; 10)
Paper図書
World Scientificc2003.<M17-04-348>
National Diet Library
  • DDC004.0151

Reached to the end of result.