yr 〜
yr

Search results 68

Handbook of software engineering

Handbook of software engineering
Paper図書
Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.Springer[2019]<M154-B232>
National Diet LibraryOther Libraries in Japan
  • Subject Heading...ation Systems. Mathematical Logic and Formal Languages. Systems and Data Security.

Information search, integration, and personalization : 12th international workshop, ISIP 2018 : Fukuoka, Japan, May 14-15, 2018 : revised selected papers : May 2018, Fukuoka, Japan. (Communications in Computer and Information Science ; 1040)

Information search, integration, and personalization : 12th international workshop, ISIP 2018 : Fukuoka, Japan, May 14-15, 2018 : revised selected papers : May 2018, Fukuoka, Japan. (Communications in Computer and Information Science ; 1040)
Paper図書
Springer[2019]<M17-21-667>
National Diet Library
  • Subject Heading... Intelligence. Mathematical Logic and Formal Languages. Data Mining and Knowledge Di...

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015 : Wrocław, Poland, September 21-24, 2015 : proceedings : Sep 2015, Wrocław, Poland. (Lecture Notes in Computer Science ; 9323. Lecture Notes in Artificial Intelligence)

Automated reasoning with analytic tableaux and related methods : 24th international conference, TABLEAUX 2015 : Wrocław, Poland, September 21-24, 2015 : proceedings : Sep 2015, Wrocław, Poland. (Lecture Notes in Computer Science ; 9323. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-636>
National Diet Library
  • Subject Heading...g--Congresses. Mathematical Logic and Formal Languages. Programming Techniques. Soft...

Artificial general intelligence : 8th international conference, AGI 2015 : Berlin, Germany, July 22-25, 2015 : proceedings : AGI-15 : AGI2015 : Jul 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9205. Lecture Notes in Artificial Intelligence)

Artificial general intelligence : 8th international conference, AGI 2015 : Berlin, Germany, July 22-25, 2015 : proceedings : AGI-15 : AGI2015 : Jul 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9205. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2015]<M17-16-502>
National Diet Library
  • Subject Heading...cl. Robotics). Mathematical Logic and Formal Languages. Algorithm Analysis and Probl...

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)

Principles and practice of constraint programming : 21st international conference, CP 2015 : Cork, Ireland, August 31-September 4, 2015 : proceedings : George Boole 200 : Aug 2015, Cork, Ireland. (Lecture Notes in Computer Science ; 9255)
Paper図書
Springer[2015]<M17-16-587>
National Diet Library
  • Subject Heading...)--Congresses. Mathematical Logic and Formal Languages. Mathematics of Computing. Ar...

Developments in language theory : 19th international conference, DLT 2015 : Liverpool, UK, July 27-30, 2015 : proceedings : Jul 2015, Liverpool, UK. (Lecture Notes in Computer Science ; 9168)

Developments in language theory : 19th international conference, DLT 2015 : Liverpool, UK, July 27-30, 2015 : proceedings : Jul 2015, Liverpool, UK. (Lecture Notes in Computer Science ; 9168)
Paper図書
Springer[2015]<M17-16-575>
National Diet Library
  • Subject Heading...tract Devices. Mathematical Logic and Formal Languages. Algorithm Analysis and Probl...

Reasoning web : web logic rules : 11th international summer school 2015 : Berlin, Germany, July 31-August 4, 2015 : tutorial lectures : RW 2015 : Jul 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9203. Tutorial)

Reasoning web : web logic rules : 11th international summer school 2015 : Berlin, Germany, July 31-August 4, 2015 : tutorial lectures : RW 2015 : Jul 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9203. Tutorial)
Paper図書
Springer[2015]<M17-16-501>
National Diet Library
  • Subject Heading...cl. Robotics). Mathematical Logic and Formal Languages. Information Storage and Retr...

Interactive theorem proving : 6th international conference, ITP 2015 : Nanjing, China, August 24-27, 2015 : proceedings : Aug 2015, Nanjing, China. (Lecture Notes in Computer Science ; 9236)

Interactive theorem proving : 6th international conference, ITP 2015 : Nanjing, China, August 24-27, 2015 : proceedings : Aug 2015, Nanjing, China. (Lecture Notes in Computer Science ; 9236)
Paper図書
Springer[2015]<M17-16-524>
National Diet Library
  • Subject HeadingMathematical Logic and Formal Languages. Logics and Meanings of Progr...

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)

Reliable software technologies--Ada-Europe 2015 : 20th Ada-Europe international conference on reliable software technologies : Madrid, Spain, June 22-26, 2015 : proceedings : Jun 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9111)
Paper図書
Springer[2015]<M17-16-371>
National Diet Library
  • Subject Heading...s of Programs. Mathematical Logic and Formal Languages. Computer software--Reliabili...

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)
Paper図書
Springer[2015]<M17-16-369>
National Diet Library
  • Subject Heading...e Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Progr...

Logic, language, information, and computation : 22nd international workshop, WoLLIC 2015 : Bloomington, IN, USA, July 20-23, 2015 : proceedings : Jul 2015, Bloomington, IN. (Lecture Notes in Computer Science ; 9160)

Logic, language, information, and computation : 22nd international workshop, WoLLIC 2015 : Bloomington, IN, USA, July 20-23, 2015 : proceedings : Jul 2015, Bloomington, IN. (Lecture Notes in Computer Science ; 9160)
Paper図書
Springer[2015]<M17-16-471>
National Diet Library
  • Subject HeadingMathematical Logic and Formal Languages. Artificial Intelligence (inc...

KI 2013: advances in artificial intelligence : 36th annual German conference on AI : Koblenz, Germany, September 16-20, 2013 : proceedings : Sep 2013, Koblenz, Germany. (Lecture Notes in Computer Science ; 8077. Lecture Notes in Artificial Intelligence)

KI 2013: advances in artificial intelligence : 36th annual German conference on AI : Koblenz, Germany, September 16-20, 2013 : proceedings : Sep 2013, Koblenz, Germany. (Lecture Notes in Computer Science ; 8077. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-695>
National Diet Library
  • Subject Heading...r Interaction. Mathematical Logic and Formal Languages.

Dependable software engineering : theories, tools, and applications : first international symposium, SETTA 2015 : Nanjing, China, November 4-6, 2015 : proceedings : Nov 2015, Nanjing, China. (Lecture Notes in Computer Science ; 9409)

Dependable software engineering : theories, tools, and applications : first international symposium, SETTA 2015 : Nanjing, China, November 4-6, 2015 : proceedings : Nov 2015, Nanjing, China. (Lecture Notes in Computer Science ; 9409)
Paper図書
Springer[2015]<M17-16-803>
National Diet Library
  • Subject Heading... and Modeling. Mathematical Logic and Formal Languages.

Evolving computability : 11th conference on computability in Europe, CiE 2015 : Bucharest, Romania, June 29-July 3, 2015 : proceedings : annual CiE conference : Jun 2015, Bucharest, Romania. (Lecture Notes in Computer Science ; 9136)

Evolving computability : 11th conference on computability in Europe, CiE 2015 : Bucharest, Romania, June 29-July 3, 2015 : proceedings : annual CiE conference : Jun 2015, Bucharest, Romania. (Lecture Notes in Computer Science ; 9136)
Paper図書
Springer[2015]<M17-16-394>
National Diet Library
  • Subject Heading... of Computing. Mathematical Logic and Formal Languages. Computable functions--Congre...

Logics in artificial intelligence : 14th European conference, JELIA 2014 : Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings : journées européennes sur la logique en intelligence artificielle : Sep 2014, Funchal, Portugal. (Lecture Notes in Computer Science ; 8761. Lecture Notes in Artificial Intelligence)

Logics in artificial intelligence : 14th European conference, JELIA 2014 : Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings : journées européennes sur la logique en intelligence artificielle : Sep 2014, Funchal, Portugal. (Lecture Notes in Computer Science ; 8761. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-1491>
National Diet Library
  • Subject Heading...cl. Robotics). Mathematical Logic and Formal Languages. Logics and Meanings of Progr...

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)

Automated reasoning : 7th international joint conference, IJCAR 2014 : held as part of the Vienna summer of logic, VSL 2014 : Vienna, Austria, July 19-22, 2014 : proceedings : federated logic conference (FLoC) : Jul 2014, Vienna, Austria. (Lecture Notes in Computer Science ; 8562. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2014]<M17-15-545>
National Diet Library
  • Subject HeadingMathematical Logic and Formal Languages. Logics and Meanings of Progr...

Programming languages and systems : 21st European symposium on programming, ESOP 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)

Programming languages and systems : 21st European symposium on programming, ESOP 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7211. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-74>
National Diet Library
  • Subject Heading... Interpreters. Mathematical Logic and Formal Languages.

Foundations of software science and computation structures : 16th international conference, FOSSACS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)

Foundations of software science and computation structures : 16th international conference, FOSSACS 2013 : held as part of the European joint conferences on theory and practice of software, ETAPS 2013 : Rome, Italy, March 16-24, 2013 : proceedings : Mar 2013, Rome, Italy. (Lecture Notes in Computer Science ; 7794. Advanced Research in Computing and Software Science)
Paper図書
Springerc2013.<M17-13-2121>
National Diet Library
  • Subject Heading... Logic design. Mathematical Logic and Formal Languages. Logics and Meanings of Progr...

Compiler construction : 21st international conference, CC 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7210. Advanced Research in Computing and Software Science)

Compiler construction : 21st international conference, CC 2012 : held as part of the European joint conferences on theory and practice of software, ETAPS 2012 : Tallinn, Estonia, March 24-April 1, 2012 : proceedings : Mar 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7210. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-73>
National Diet Library
  • Subject Heading...ng Techniques. Mathematical Logic and Formal Languages. Algorithm Analysis and Probl...

Descriptional complexity of formal systems : 17th international workshop, DCFS 2015 : Waterloo, ON, Canada, June 25-27, 2015 : proceedings : official event of the International Federation for Information Processing and IFIP Working Group 1.2 (Descriptional Complexity) : Jun 2015, Waterloo, Canada. (Lecture Notes in Computer Science ; 9118)

Descriptional complexity of formal systems : 17th international workshop, DCFS 2015 : Waterloo, ON, Canada, June 25-27, 2015 : proceedings : official event of the International Federation for Information Processing and IFIP Working Group 1.2 (Descriptional Complexity) : Jun 2015, Waterloo, Canada. (Lecture Notes in Computer Science ; 9118)
Paper図書
Springer[2015]<M17-16-379>
National Diet Library
  • Subject Heading...tract Devices. Mathematical Logic and Formal Languages. Logics and Meanings of Progr...