yr 〜
yr

Search results 60

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...mal Languages. Programming Techniques. Software Engineering. Automa...

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... Interpreters. Programming Techniques. Software engineering.

Software engineering for resilient systems : third international workshop, SERENE 2011 : Geneva, Switzerland, September 29-30, 2011 : proceedings : Sep 2011, Geneva, Switzerland. (Lecture Notes in Computer Science ; 6968)

Software engineering for resilient systems : third international workshop, SERENE 2011 : Geneva, Switzerland, September 29-30, 2011 : proceedings : Sep 2011, Geneva, Switzerland. (Lecture Notes in Computer Science ; 6968)
Paper図書
Springerc2011.<M17-12-1248>
National Diet Library
  • Subject Heading...re engineering Programming Techniques

Applications of declarative programming and knowledge management : 19th international conference, INAP 2011 and 25th workshop on logic programming, WLP 2011 : Vienna, Austria, September 28-30, 2011 : revised selected papers : annual meeting of the Society of Logic Programming (GLP, Gesellschaft fur Logische Programmierung e.V.) : Sep 2011, Vienna, Austria. (Lecture Notes in Computer Science ; 7773. Lecture Notes in Artificial Intelligence)

Applications of declarative programming and knowledge management : 19th international conference, INAP 2011 and 25th workshop on logic programming, WLP 2011 : Vienna, Austria, September 28-30, 2011 : revised selected papers : annual meeting of the Society of Logic Programming (GLP, Gesellschaft fur Logische Programmierung e.V.) : Sep 2011, Vienna, Austria. (Lecture Notes in Computer Science ; 7773. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2013.<M17-14-1297>
National Diet Library
  • Subject Heading...cl. Robotics). Programming Techniques. Knowledge Management--Congre...

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 HeadingComputer Science. Programming Techniques. Programming Languages, Compi...

Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9154)

Tests and proofs : 9th international conference, TAP 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 22-24, 2015 : proceedings : software technologies: applications and foundations (STAF) federated event : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9154)
Paper図書
Springer[2015]<M17-16-412>
National Diet Library
  • Subject HeadingProgramming Techniques. Computer software--Testing--...

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...s of Programs. Programming Techniques. Artificial intelligence. Log...

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...s of Programs. Programming Techniques. Programming Languages, Compi...

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

Wireless sensor networks : 9th European conference, EWSN 2012 : Trento, Italy, February 15-17, 2012 : proceedings : Feb 2012, Trento, Italy. (Lecture Notes in Computer Science ; 7158)

Wireless sensor networks : 9th European conference, EWSN 2012 : Trento, Italy, February 15-17, 2012 : proceedings : Feb 2012, Trento, Italy. (Lecture Notes in Computer Science ; 7158)
Paper図書
Springerc2012.<M17-12-2904>
National Diet Library
  • Subject Heading...em Complexity. Programming Techniques. Information Systems Applicat...

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

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...s of Programs. Programming Techniques. Models and Principles. Progr...

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... Interpreters. Programming Techniques.

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... Interpreters. Programming Techniques. Logics and Meanings of Progr...

Programming multi-agent systems : 8th international workshop, ProMAS 2010 : Toronto, ON, Canada, May 11, 2010 : revised selected papers : AAMAS 2010 workshop : May 2010, Toronto, Canada. (Lecture Notes in Computer Science ; 6599. Lecture Notes in Artificial Intelligence)

Programming multi-agent systems : 8th international workshop, ProMAS 2010 : Toronto, ON, Canada, May 11, 2010 : revised selected papers : AAMAS 2010 workshop : May 2010, Toronto, Canada. (Lecture Notes in Computer Science ; 6599. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-58>
National Diet Library
  • Subject Heading...er simulation. Programming Techniques. Simulation and Modeling. Sof...

Beginning functional JavaScript : uncover the concepts of functional programming with EcmaScript 8 : pbk 2nd ed

Beginning functional JavaScript : uncover the concepts of functional programming with EcmaScript 8 : pbk 2nd ed
Paper図書
Anto Aravinth, Srikanth MachirajuApressc2018
Other Libraries in Japan
  • Subject Heading...eb development Programming techniques Software engineering
  • Subject Heading (ID)...eb development Programming techniques Software engineering

Reconfigurable computing: architectures, tools and applications : 8th international symposium, ARC 2012 : Hong Kong, China, March 19-23, 2012 : proceedings : 8th international symposium on applied reconfigurable computing : Mar 2012, Hong Kong, China. (Lecture Notes in Computer Science ; 7199)

Reconfigurable computing: architectures, tools and applications : 8th international symposium, ARC 2012 : Hong Kong, China, March 19-23, 2012 : proceedings : 8th international symposium on applied reconfigurable computing : Mar 2012, Hong Kong, China. (Lecture Notes in Computer Science ; 7199)
Paper図書
Springerc2012.<M17-12-2917>
National Diet Library
  • Subject Heading...tract Devices. Programming Techniques. Simulation and Modeling.

Genetic programming : 15th European conference, EuroGP 2012 : Málaga, Spain, April 11-13, 2012 : proceedings : Evo* 2012 event : Apr 2012, Málaga, Spain. (Lecture Notes in Computer Science ; 7244)

Genetic programming : 15th European conference, EuroGP 2012 : Málaga, Spain, April 11-13, 2012 : proceedings : Evo* 2012 event : Apr 2012, Málaga, Spain. (Lecture Notes in Computer Science ; 7244)
Paper図書
Springerc2012.<M17-13-91>
National Diet Library
  • Subject Heading...ioinformatics. Programming Techniques. Computation by Abstract Devi...

OpenMP in a heterogeneous world : 8th international workshop on OpenMP, IWOMP 2012 : Rome, Italy, June 11-13, 2012 : proceedings : IWOMP conference : IWOMP meetings : Jun 2012, Rome, Italy. (Lecture Notes in Computer Science ; 7312)

OpenMP in a heterogeneous world : 8th international workshop on OpenMP, IWOMP 2012 : Rome, Italy, June 11-13, 2012 : proceedings : IWOMP conference : IWOMP meetings : Jun 2012, Rome, Italy. (Lecture Notes in Computer Science ; 7312)
Paper図書
Springerc2012.<M17-13-530>
National Diet Library
  • Subject Heading... Interpreters. Programming Techniques.