年 〜
年

検索結果 73 件

Fundamentals of software engineering : 6th international conference, FSEN 2015 : Tehran, Iran, April 22-24, 2015 : revised selected papers : 6th IPM international conference on fundamentals of software engineering : Apr 2015, Tehran, Iran. (Lecture Notes in Computer Science ; 9392)

Fundamentals of software engineering : 6th international conference, FSEN 2015 : Tehran, Iran, April 22-24, 2015 : revised selected papers : 6th IPM international conference on fundamentals of software engineering : Apr 2015, Tehran, Iran. (Lecture Notes in Computer Science ; 9392)
紙図書
Springer[2015]<M17-16-796>
国立国会図書館
  • 件名...g--Congresses. Logics and Meanings of Programs. Artificial Intelligence (incl...

Computer science--theory and applications : 10th international computer science symposium in Russia, CSR 2015 : Listvyanka, Russia, July 13-17, 2015 : proceedings : Jul 2015, Listvyanka, Russia. (Lecture Notes in Computer Science ; 9139)

Computer science--theory and applications : 10th international computer science symposium in Russia, CSR 2015 : Listvyanka, Russia, July 13-17, 2015 : proceedings : Jul 2015, Listvyanka, Russia. (Lecture Notes in Computer Science ; 9139)
紙図書
Springer[2015]<M17-16-397>
国立国会図書館
  • 件名...ric Computing. Logics and Meanings of Programs. Computer science.

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)
紙図書
Springer[2015]<M17-16-524>
国立国会図書館
  • 件名...mal Languages. Logics and Meanings of Programs. Automatic theorem proving--Co...

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)
紙図書
Springer[2015]<M17-16-371>
国立国会図書館
  • 件名...Based Systems. Logics and Meanings of Programs. Mathematical Logic and Formal...

Declarative agent languages and technologies 10 : 10th international workshop, DALT 2012 : Valencia, Spain, June 4, 2012 : revised selected papers : Jun 2012, Valencia, Spain. (Lecture Notes in Computer Science ; 7784. Lecture Notes in Artificial Intelligence)

Declarative agent languages and technologies 10 : 10th international workshop, DALT 2012 : Valencia, Spain, June 4, 2012 : revised selected papers : Jun 2012, Valencia, Spain. (Lecture Notes in Computer Science ; 7784. Lecture Notes in Artificial Intelligence)
紙図書
Springerc2013.<M17-13-2757>
国立国会図書館
  • 件名... intelligence. Logics and Meanings of Programs.

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>
国立国会図書館
  • 件名...mal Languages. Logics and Meanings of Programs. Management of Computing and I...

Modelling foundations and applications : 11th European conference, ECMFA 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-24, 2015 : proceedings : STAF federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9153)

Modelling foundations and applications : 11th European conference, ECMFA 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-24, 2015 : proceedings : STAF federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9153)
紙図書
Springer[2015]<M17-16-411>
国立国会図書館
  • 件名...e Engineering. Logics and Meanings of Programs. Programming Languages, Compil...

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)
紙図書
Springer[2015]<M17-16-803>
国立国会図書館
  • 件名...e Engineering. Logics and Meanings of Programs. Simulation and Modeling. Math...

Rule technologies: foundations, tools, and applications : 9th international symposium, RuleML 2015 : Berlin, Germany, August 2-5, 2015 : proceedings : annual international web rule symposium : 5th RuleML 2015 doctoral consortium : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9202)

Rule technologies: foundations, tools, and applications : 9th international symposium, RuleML 2015 : Berlin, Germany, August 2-5, 2015 : proceedings : annual international web rule symposium : 5th RuleML 2015 doctoral consortium : Aug 2015, Berlin, Germany. (Lecture Notes in Computer Science ; 9202)
紙図書
Springer[2015]<M17-16-498>
国立国会図書館
  • 件名...cl. Internet). Logics and Meanings of Programs. Computer Applications. Rule-b...

Transactions on Petri nets and other models of concurrency 7 : 5th international summer school "advanced course on Petri nets" : Sep 2010, Rostock, Germany. (Lecture Notes in Computer Science ; 7480. Journal Subline)

Transactions on Petri nets and other models of concurrency 7 : 5th international summer school "advanced course on Petri nets" : Sep 2010, Rostock, Germany. (Lecture Notes in Computer Science ; 7480. Journal Subline)
紙図書
Springerc2013.<M17-13-2734>
国立国会図書館
  • 件名...tract Devices. Logics and Meanings of Programs.

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)

Computer aided verification : 25th international conference, CAV 2013 : Saint Petersburg, Russia, July 13-19, 2013 : proceedings : Jul 2013, Saint Petersburg, Russia. (Lecture Notes in Computer Science ; 8044)
紙図書
Springerc2013.<M17-14-137>
国立国会図書館
  • 件名... Logic design. Logics and Meanings of Programs. Special Purpose and Applicati...

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)
紙図書
Springer[2014]<M17-15-1491>
国立国会図書館
  • 件名...mal Languages. Logics and Meanings of Programs. Programming Techniques. Artif...

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)
紙図書
Springer[2014]<M17-15-545>
国立国会図書館
  • 件名...mal Languages. Logics and Meanings of Programs. Artificial Intelligence (incl...

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>
国立国会図書館
  • 件名Logics and Meanings of Programs. Computer Applications. Comput...

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)
紙図書
Springerc2012.<M17-13-74>
国立国会図書館
  • 件名... Logic design. Logics and Meanings of Programs. Programming Techniques. Progr...

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)
紙図書
Springerc2013.<M17-13-2121>
国立国会図書館
  • 件名...mal Languages. Logics and Meanings of Programs. Programming Languages, Compil...

Modelling foundations and applications : 8th European conference, ECMFA 2012 : Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings : Jul 2012, Kgs. Lyngby, Denmark. (Lecture Notes in Computer Science ; 7349)

Modelling foundations and applications : 8th European conference, ECMFA 2012 : Kgs. Lyngby, Denmark, July 2-5, 2012 : proceedings : Jul 2012, Kgs. Lyngby, Denmark. (Lecture Notes in Computer Science ; 7349)
紙図書
Springerc2012.<M17-13-556>
国立国会図書館
  • 件名... Interpreters. Logics and Meanings of Programs. Management of Computing and I...

Hardware and software: verification and testing : 11th international Haifa verification conference, HVC 2015 : Haifa, Israel, November 17-19, 2015 : proceedings : Nov 2015, Haifa, Israel. (Lecture Notes in Computer Science ; 9434)

Hardware and software: verification and testing : 11th international Haifa verification conference, HVC 2015 : Haifa, Israel, November 17-19, 2015 : proceedings : Nov 2015, Haifa, Israel. (Lecture Notes in Computer Science ; 9434)
紙図書
Springer[2015]<M17-16-813>
国立国会図書館
  • 件名...e Engineering. Logics and Meanings of Programs. Programming Languages, Compil...

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)
紙図書
Springer[2015]<M17-16-379>
国立国会図書館
  • 件名...mal Languages. Logics and Meanings of Programs. Algorithm Analysis and Proble...

Symbolic and quantitative approaches to reasoning with uncertainty : 13th European conference, ECSQARU 2015 : Compiègne, France, July 15-17, 2015 : proceedings : biennial ECSQARU conferences : ECSQARU events : Jul 2015, Compiègne, France. (Lecture Notes in Computer Science ; 9161. Lecture Notes in Artificial Intelligence)

Symbolic and quantitative approaches to reasoning with uncertainty : 13th European conference, ECSQARU 2015 : Compiègne, France, July 15-17, 2015 : proceedings : biennial ECSQARU conferences : ECSQARU events : Jul 2015, Compiègne, France. (Lecture Notes in Computer Science ; 9161. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2015]<M17-16-472>
国立国会図書館
  • 件名...cl. Internet). Logics and Meanings of Programs. Mathematical Logic and Formal...