yr 〜
yr

Search results 64

Programming languages : 19th Brazilian symposium SBLP 2015 : Belo Horizonte, Brazil, September 24-25, 2015 : proceedings : Sep 2015, Belo Horizonte, Brazil. (Lecture Notes in Computer Science ; 9325)

Programming languages : 19th Brazilian symposium SBLP 2015 : Belo Horizonte, Brazil, September 24-25, 2015 : proceedings : Sep 2015, Belo Horizonte, Brazil. (Lecture Notes in Computer Science ; 9325)
Paper図書
Springer[2015]<M17-16-638>
National Diet Library
  • Subject Heading...puter Science. Programming Languages, Compilers, Interpreters.

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)
Paper図書
Springer[2015]<M17-16-796>
National Diet Library
  • Subject Heading...cl. Robotics). Programming Languages, Compilers, Interpreters. Programming Techniques. Soft...

Advanced parallel processing technologies : 11th international symposium, APPT 2015 : Jinan, China, August 20-21, 2015 : proceedings : Aug 2015, Jinan, China. (Lecture Notes in Computer Science ; 9231)

Advanced parallel processing technologies : 11th international symposium, APPT 2015 : Jinan, China, August 20-21, 2015 : proceedings : Aug 2015, Jinan, China. (Lecture Notes in Computer Science ; 9231)
Paper図書
Springer[2015]<M17-16-520>
National Diet Library
  • Subject Heading...tion Networks. Programming Languages, Compilers, Interpreters. Parallel processing (Electro...

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)
Paper図書
Springer[2015]<M17-16-411>
National Diet Library
  • Subject Heading...s of Programs. Programming Languages, Compilers, Interpreters. Computer Communication Netwo...

Ada 2012 reference manual : language and standard libraries : International Standard ISO/IEC 8652/2012 (E) Third edition. (Lecture notes in computer science ; 8339)

Ada 2012 reference manual : language and standard libraries : International Standard ISO/IEC 8652/2012 (E) Third edition. (Lecture notes in computer science ; 8339)
Paper図書
S. Tucker Taft [and five others] (eds.).Springer[2012]<X>
National Diet Library
  • Subject Heading...ng Techniques. Programming Languages, Compilers, Interpreters. Operating Systems. Software ...

Giants of computing : a compendium of select, pivotal pioneers

Giants of computing : a compendium of select, pivotal pioneers
Paper図書
Gerard O'Regan.Springer[2013]<M154-B180>
National Diet Library
  • Subject Heading...cl. Robotics). Programming Languages, Compilers, Interpreters. Computer science. Computer s...

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...ng Techniques. Programming Languages, Compilers, Interpreters. Mathematical Logic and Forma...

OpenMP: heterogenous execution and data movements : 11th international workshop on OpenMP, IWOMP 2015 : Aachen, Germany, October 1-2, 2015 : proceedings : IWOMP meetings : Oct 2015, Aachen, Germany. (Lecture Notes in Computer Science ; 9342)

OpenMP: heterogenous execution and data movements : 11th international workshop on OpenMP, IWOMP 2015 : Aachen, Germany, October 1-2, 2015 : proceedings : IWOMP meetings : Oct 2015, Aachen, Germany. (Lecture Notes in Computer Science ; 9342)
Paper図書
Springer[2015]<M17-16-768>
National Diet Library
  • Subject Heading...Architectures. Programming Languages, Compilers, Interpreters. System Performance and Evalu...

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)
Paper図書
Springerc2012.<M17-13-556>
National Diet Library
  • Subject Heading...ation Systems. Programming Languages, Compilers, Interpreters. Logics and Meanings of Progr...

OpenMP in the era of low power devices and accelerators : 9th international workshop on OpenMP, IWOMP 2013 : Canberra, ACT, Australia, September 16-18, 2013 : proceedings : IWOMP meetings : Sep 2013, Canberra, Australia. (Lecture Notes in Computer Science ; 8122)

OpenMP in the era of low power devices and accelerators : 9th international workshop on OpenMP, IWOMP 2013 : Canberra, ACT, Australia, September 16-18, 2013 : proceedings : IWOMP meetings : Sep 2013, Canberra, Australia. (Lecture Notes in Computer Science ; 8122)
Paper図書
Springerc2013.<M17-14-747>
National Diet Library
  • Subject Heading...nd Evaluation. Programming Languages, Compilers, Interpreters. Programming Techniques.

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...uter software. Programming Languages, Compilers, Interpreters. Programming Techniques. Math...

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...s of Programs. Programming Languages, Compilers, Interpreters. Computation by Abstract Devi...

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)
Paper図書
Springer[2015]<M17-16-813>
National Diet Library
  • Subject Heading...s of Programs. Programming Languages, Compilers, Interpreters. Mathematical Logic and Forma...

Foundations of software science and computational structures : 15th international conference, FOSSACS 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 ; 7213. Advanced Research in Computing and Software Science)

Foundations of software science and computational structures : 15th international conference, FOSSACS 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 ; 7213. Advanced Research in Computing and Software Science)
Paper図書
Springerc2012.<M17-13-76>
National Diet Library
  • Subject Heading...s of Programs. Programming Languages, Compilers, Interpreters.

Fundamentals of software engineering : 4th IPM international conference, FSEN 2011 : Tehran, Iran, April 20-22, 2011 : revised selected papers : Apr 2011, Tehran, Iran. (Lecture Notes in Computer Science ; 7141)

Fundamentals of software engineering : 4th IPM international conference, FSEN 2011 : Tehran, Iran, April 20-22, 2011 : revised selected papers : Apr 2011, Tehran, Iran. (Lecture Notes in Computer Science ; 7141)
Paper図書
Springerc2012.<M17-13-65>
National Diet Library
  • Subject Heading...nd Principles. Programming Languages, Compilers, Interpreters.

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012 : Philadelphia, PA, USA, January 28-29, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7152)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012 : Philadelphia, PA, USA, January 28-29, 2012 : proceedings : Jan 2012, Philadelphia, PA. (Lecture Notes in Computer Science ; 7152)
Paper図書
Springerc2012.<M17-12-2132>
National Diet Library
  • Subject Heading...s of Programs. Programming Languages, Compilers, Interpreters. Programming Techniques. Math...

Generic and indexed programming : international spring school, SSGIP 2010 : Oxford, UK, March 22-26, 2010 : revised lectures : Mar 2010, Oxford, UK. (Lecture Notes in Computer Science ; 7470. Tutorial)

Generic and indexed programming : international spring school, SSGIP 2010 : Oxford, UK, March 22-26, 2010 : revised lectures : Mar 2010, Oxford, UK. (Lecture Notes in Computer Science ; 7470. Tutorial)
Paper図書
Springerc2012.<M17-13-636>
National Diet Library
  • Subject Heading... Logic design. Programming Languages, Compilers, Interpreters. Programming Techniques. Logi...

Formal aspects of component software : 9th international symposium, FACS 2012 : Mountain View, CA, USA, September 12-14, 2012 : revised selected papers : Sep 2012, Mountain View, CA. (Lecture Notes in Computer Science ; 7684)

Formal aspects of component software : 9th international symposium, FACS 2012 : Mountain View, CA, USA, September 12-14, 2012 : revised selected papers : Sep 2012, Mountain View, CA. (Lecture Notes in Computer Science ; 7684)
Paper図書
Springerc2013.<M17-13-1623>
National Diet Library
  • Subject Heading...s of Programs. Programming Languages, Compilers, Interpreters. Programming Techniques.

Conceptual modelling and its theoretical foundations : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday (Lecture notes in computer science ; 7260. Festschrift)

Conceptual modelling and its theoretical foundations : essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday (Lecture notes in computer science ; 7260. Festschrift)
Paper図書
Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe (eds.).Springerc2012.<X>
National Diet Library
  • Subject Heading...cl. Robotics). Programming Languages, Compilers, Interpreters.

Software language engineering : 4th international conference, SLE 2011 : Braga, Portugal, July 3-4, 2011 : revised selected papers : Jul 2011, Braga, Portugal. (Lecture Notes in Computer Science ; 6940)

Software language engineering : 4th international conference, SLE 2011 : Braga, Portugal, July 3-4, 2011 : revised selected papers : Jul 2011, Braga, Portugal. (Lecture Notes in Computer Science ; 6940)
Paper図書
Springerc2012.<M17-13-60>
National Diet Library
  • Subject Heading... Logic design. Programming Languages, Compilers, Interpreters. Logics and Meanings of Progr...