yr 〜
yr

Search results 14

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)

Computer aided verification : 27th international conference, CAV 2015 : San Francisco, CA, USA, July 18-24, 2015 : proceedings : 27th international conference on computer-aided verification : Jul 2015, San Francisco, CA. (Lecture Notes in Computer Science ; 9206-9207)
Paper図書
Springer[2015]<M17-16-504>
National Diet Library
  • Subject HeadingSoftware Engineering/Programming and Operating Systems. Computer software--Verificati...

Computer science and its applications : 5th IFIP TC 5 international conference, CIIA 2015 : Saida, Algeria, May 20-21, 2015 : proceedings : May 2015, Saida, Algeria. (IFIP Advances in Information and Communication Technology ; 456)

Computer science and its applications : 5th IFIP TC 5 international conference, CIIA 2015 : Saida, Algeria, May 20-21, 2015 : proceedings : May 2015, Saida, Algeria. (IFIP Advances in Information and Communication Technology ; 456)
Paper図書
Springer[2015]<M17-15-2721>
National Diet Library
  • Subject Heading... Applications. Software Engineering/Programming and Operating Systems. Computing Methodologies. Info...

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... Logic design. Software Engineering/Programming and Operating Systems. Logics and Meanings of Progra...

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... and Modeling. Software Engineering/Programming and Operating Systems.

Formal methods for components and objects : 9th international symposium, FMCO 2010 : Graz, Austria, November 29-December 1, 2010 : revised papers : Nov 2010, Graz, Austria. (Lecture Notes in Computer Science ; 6957. State-of-the-Art Survey)

Formal methods for components and objects : 9th international symposium, FMCO 2010 : Graz, Austria, November 29-December 1, 2010 : revised papers : Nov 2010, Graz, Austria. (Lecture Notes in Computer Science ; 6957. State-of-the-Art Survey)
Paper図書
Springerc2011.<M17-12-2880>
National Diet Library

Computer architecture : ISCA 2010 international workshops : A4MMC, AMAS-BT, EAMA, WEED, WIOSCA : Saint-Malo, France, June 19-23, 2010 : revised selected papers : ACM IEEE international symposium on computer architecture : ISCA 37 : Jun 2010, Saint-Malo, France. (Lecture Notes in Computer Science ; 6161)

Computer architecture : ISCA 2010 international workshops : A4MMC, AMAS-BT, EAMA, WEED, WIOSCA : Saint-Malo, France, June 19-23, 2010 : revised selected papers : ACM IEEE international symposium on computer architecture : ISCA 37 : Jun 2010, Saint-Malo, France. (Lecture Notes in Computer Science ; 6161)
Paper図書
Springerc2011.<M17-12-1881>
National Diet Library
  • Subject Heading...tion Networks. Software Engineering/Programming and Operating Systems. Models and Principles. Progra...

Network and parallel computing : 8th IFIP international conference, NPC 2011 : Changsha, China, October 21-23, 2011 : proceedings : Oct 2011, Changsha, China. (Lecture Notes in Computer Science ; 6985)

Network and parallel computing : 8th IFIP international conference, NPC 2011 : Changsha, China, October 21-23, 2011 : proceedings : Oct 2011, Changsha, China. (Lecture Notes in Computer Science ; 6985)
Paper図書
Springerc2011.<M17-12-1253>
National Diet Library

Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 6996)

Automated technology for verification and analysis : 9th international symposium, ATVA 2011 : Taipei, Taiwan, October 11-14, 2011 : proceedings : ATVA conferences : Oct 2011, Taipei, Taiwan. (Lecture Notes in Computer Science ; 6996)
Paper図書
Springerc2011.<M17-12-1330>
National Diet Library

Membrane computing : 12th international conference, CMC 2011 : Fontainebleau, France, August 23-26, 2011 : revised selected papers : CMC12 : Aug 2011, Fontainebleau, France. (Lecture Notes in Computer Science ; 7184)

Membrane computing : 12th international conference, CMC 2011 : Fontainebleau, France, August 23-26, 2011 : revised selected papers : CMC12 : Aug 2011, Fontainebleau, France. (Lecture Notes in Computer Science ; 7184)
Paper図書
Springerc2012.<M17-12-2135>
National Diet Library

Applied parallel and scientific computing : 10th international conference, PARA 2010 : Reykjavík, Iceland, June 6-9, 2010 : revised selected papers : 10th Nordic conference on applied parallel computing, Para 2010: state of the art in scientific and parallel computing : Para meetings : Jun 2010, Reykjavík, Iceland. (Lecture Notes in Computer Science ; 7133-7134)

Applied parallel and scientific computing : 10th international conference, PARA 2010 : Reykjavík, Iceland, June 6-9, 2010 : revised selected papers : 10th Nordic conference on applied parallel computing, Para 2010: state of the art in scientific and parallel computing : Para meetings : Jun 2010, Reykjavík, Iceland. (Lecture Notes in Computer Science ; 7133-7134)
Paper図書
Springerc2012.<M17-12-2899>
National Diet Library
  • Subject Heading... of Computing. Software Engineering/Programming and Operating Systems. Algorithm Analysis and Proble...

Transactions on aspect-oriented software development V / Awais Rashid, Harold Ossher (eds.). (Lecture notes in computer science ; 5490 ; Journal subline)

Transactions on aspect-oriented software development V / Awais Rashid, Harold Ossher (eds.). (Lecture notes in computer science ; 5490 ; Journal subline)
Paper図書
Springerc2009.<X>
National Diet Library
  • Subject Heading...e Engineering. Software Engineering/Programming and Operating Systems. Electronic books.

NASA formal methods : 4th international symposium, NFM 2012 : Norfolk, VA, USA, April 3-5, 2012 : proceedings : Apr 2012, Norfolk, VA. (Lecture Notes in Computer Science ; 7226)

NASA formal methods : 4th international symposium, NFM 2012 : Norfolk, VA, USA, April 3-5, 2012 : proceedings : Apr 2012, Norfolk, VA. (Lecture Notes in Computer Science ; 7226)
Paper図書
Springerc2012.<M17-13-82>
National Diet Library
  • Subject Heading...s of Programs. Software Engineering/Programming and Operating Systems. Programming Techniques.

Exploring C++20 : The Programmer's Introduction to C+ 3rd edition

Exploring C++20 : The Programmer's Introduction to C+ 3rd edition
Recording Media電子資料
Lischner, RayApress2020
Other Libraries in Japan
  • Subject Heading...t-codes/I14037 Software Engineering/Programming and Operating Systems. https://scigraph.springernatu...
  • Subject Heading (ID)...t-codes/I14037 Software Engineering/Programming and Operating Systems. https://scigraph.springernatu...

Exploring C++20 : the programmer's introduction to C++ : pbk 3rd ed

Exploring C++20 : the programmer's introduction to C++ : pbk 3rd ed
Paper図書
Ray LischnerApressc2020
Other Libraries in Japan
  • Subject Heading...t-codes/I14037 Software Engineering/Programming and Operating Systems. https://scigraph.springernatu...
  • Subject Heading (ID)...t-codes/I14037 Software Engineering/Programming and Operating Systems. https://scigraph.springernatu...

Reached to the end of result.