年 〜
年

検索結果 7 件

FM 2015: formal methods : 20th international symposium : Oslo, Norway, June 24-26, 2015 : proceedings : formal methods Europe : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9109)

FM 2015: formal methods : 20th international symposium : Oslo, Norway, June 24-26, 2015 : proceedings : formal methods Europe : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9109)
紙図書
Springer[2015]<M17-16-369>
国立国会図書館

Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18 : Mérida, Venezuela, March 11-15, 2012 : proceedings : LPAR workshop : Mar 2012, Mérida, Venezuela. (Lecture Notes in Computer Science ; 7180. Advanced Research in Computing and Software Science)

Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18 : Mérida, Venezuela, March 11-15, 2012 : proceedings : LPAR workshop : Mar 2012, Mérida, Venezuela. (Lecture Notes in Computer Science ; 7180. Advanced Research in Computing and Software Science)
紙図書
Springerc2012.<M17-12-2910>
国立国会図書館
  • 著者標目LPAR (Conference) (18th : 2012 : Mérida, Venezuela) Bjørner, Nikolaj. Voronkov, A. (Andreĭ), 1959-

Automated deduction -- CADE-23 : 23rd international conference on automated deduction : Wrocław, Poland, July 31-August 5, 2011 : proceedings : CADE 23 : Jul 2011, Wrocław, Poland. (Lecture Notes in Computer Science ; 6803. Lecture Notes in Artificial Intelligence)

Automated deduction -- CADE-23 : 23rd international conference on automated deduction : Wrocław, Poland, July 31-August 5, 2011 : proceedings : CADE 23 : Jul 2011, Wrocław, Poland. (Lecture Notes in Computer Science ; 6803. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2011.<M17-12-420>
国立国会図書館

2013 15th international symposium on symbolic and numeric algorithms for scientific computing : (SYNASC 2013) : Timisoara, Romania : 23-26 September 2013 : Sep 2013, Timisoara, Romania. CFP13387-PRT P3035

2013 15th international symposium on symbolic and numeric algorithms for scientific computing : (SYNASC 2013) : Timisoara, Romania : 23-26 September 2013 : Sep 2013, Timisoara, Romania. CFP13387-PRT P3035
紙図書
IEEE[2013]<M17-14-3057>
国立国会図書館

Distributed computing and Internet technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings : [pbk.]

Distributed computing and Internet technology : 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings : [pbk.]
紙図書
Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida (eds.)Springerc2016
全国の図書館
  • 著者標目...net Technology Bjørner, Nikolaj Prasad, Sanjiva Parida, Laxmi

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings
紙図書
Nikolaj Bjørner, Frank de Boer (eds.)Springerc2015
全国の図書館
  • 著者標目International Symposium of Formal Methods Europe Bjørner, Nikolaj Boer, Frank S. de

Logic for programming, artificial intelligence and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15 2012 : proceedings pbk.

Logic for programming, artificial intelligence and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15 2012 : proceedings pbk.
紙図書
Nikolaj Bjørner, Andrei VoronkovSpringerc2012
全国の図書館
  • 著者標目LPAR (Conference) (18th : 2012 : Mérida, Venezuela) Björner, Nikolaj Voronkov, Andrei

検索結果は以上です。