本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Springer[2015]<M17-16-504>
国立国会図書館
  • 件名Software Engineering/Programming and Operating Systems. Computer software--Verificat...

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)
紙図書
Springer[2015]<M17-15-2721>
国立国会図書館
  • 件名... Applications. Software Engineering/Programming and Operating Systems. Computing Methodologies. Inf...

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)
紙図書
Springerc2012.<M17-13-65>
国立国会図書館
  • 件名... Logic design. Software Engineering/Programming and Operating Systems. 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)
紙図書
Springerc2012.<M17-13-58>
国立国会図書館
  • 件名... 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)
紙図書
Springerc2011.<M17-12-2880>
国立国会図書館
  • 件名...gs of Programs Software Engineering/Programming and Operating Systems Programming Techniques

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)
紙図書
Springerc2011.<M17-12-1881>
国立国会図書館
  • 件名...tion Networks. Software Engineering/Programming and Operating Systems. Models and Principles. Progr...

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)
紙図書
Springerc2011.<M17-12-1330>
国立国会図書館
  • 件名..., Interpreters Software Engineering/Programming and Operating Systems

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)
紙図書
Springerc2011.<M17-12-1253>
国立国会図書館
  • 件名...lem Complexity Software Engineering/Programming and Operating Systems

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)
紙図書
Springerc2012.<M17-12-2135>
国立国会図書館
  • 件名...Bioinformatics Software Engineering/Programming and Operating Systems

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)
紙図書
Springerc2012.<M17-12-2899>
国立国会図書館
  • 件名... of Computing. Software Engineering/Programming and Operating Systems. Algorithm Analysis and Probl...

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)
紙図書
Springerc2009.<X>
国立国会図書館
  • 件名...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)
紙図書
Springerc2012.<M17-13-82>
国立国会図書館
  • 件名...s of Programs. Software Engineering/Programming and Operating Systems. Programming Techniques.

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

Exploring C++20 : the programmer's introduction to C++ : pbk 3rd ed
紙図書
Ray LischnerApressc2020
全国の図書館
  • 件名...t-codes/I14037 Software Engineering/Programming and Operating Systems. https://scigraph.springernat...
  • 件名（識別子）...t-codes/I14037 Software Engineering/Programming and Operating Systems. https://scigraph.springernat...

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

Exploring C++20 : The Programmer's Introduction to C+ 3rd edition
記録メディア電子資料
Lischner, RayApress2020
全国の図書館
  • 件名...t-codes/I14037 Software Engineering/Programming and Operating Systems. https://scigraph.springernat...
  • 件名（識別子）...t-codes/I14037 Software Engineering/Programming and Operating Systems. https://scigraph.springernat...

検索結果は以上です。

RSS