本文に飛ぶ

年 〜
年

検索結果 335 件

Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)

Programming languages and systems : 18th Asian symposium, APLAS 2020 : Fukuoka, Japan, November 30-December 2, 2020 : proceedings : Nov 2020, ------. (Lecture Notes in Computer Science ; 12470)
紙図書
Springer[2020]<M17-23-81>
国立国会図書館
  • タイトル標目LNCS sublibrary. SL 2, Programming and software engineering.

Web services--ICWS 2020 : 27th international conference : held as part of the Services Conference Federation, SCF 2020 : Honolulu, HI, USA, September 18-20, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12406)

Web services--ICWS 2020 : 27th international conference : held as part of the Services Conference Federation, SCF 2020 : Honolulu, HI, USA, September 18-20, 2020 : proceedings : Sep 2020, ------. (Lecture Notes in Computer Science ; 12406)
紙図書
Springer[2020]<M17-22-588>
国立国会図書館
  • タイトル標目...ience ; 12406. LNCS sublibrary. SL 2, Programming and software engineering.

Software reuse for dynamic systems in the cloud and beyond : 14th international conference on software reuse, ICSR 2015 : Miami, FL, USA, January 4-6, 2015 : proceedings : Jan 2015, Miami, FL. (Lecture Notes in Computer Science ; 8919)

Software reuse for dynamic systems in the cloud and beyond : 14th international conference on software reuse, ICSR 2015 : Miami, FL, USA, January 4-6, 2015 : proceedings : Jan 2015, Miami, FL. (Lecture Notes in Computer Science ; 8919)
紙図書
Springer[2015?]<M17-15-1659>
国立国会図書館
  • タイトル標目...cience ; 8919. LNCS sublibrary. SL 2, Programming and software engineering.

Requirements engineering: foundation for software quality : 21st international working conference, REFSQ 2015 : Essen, Germany, March 23-26, 2015 : proceedings : REFSQ workshop : Mar 2015, Essen, Germany. (Lecture Notes in Computer Science ; 9013)

Requirements engineering: foundation for software quality : 21st international working conference, REFSQ 2015 : Essen, Germany, March 23-26, 2015 : proceedings : REFSQ workshop : Mar 2015, Essen, Germany. (Lecture Notes in Computer Science ; 9013)
紙図書
Springer[2015]<M17-15-2011>
国立国会図書館
  • タイトル標目...cience ; 9013. LNCS sublibrary. SL 2, Programming and software engineering.

Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)

Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)
紙図書
Springer[2016]<M17-19-540>
国立国会図書館全国の図書館
  • タイトル標目...009. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering.

Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings : CBSoft 2014 : 5th Brazilian conference on software: theory and practice : Sep 2014, Maceió, Brazil. (Lecture Notes in Computer Science ; 8941)

Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings : CBSoft 2014 : 5th Brazilian conference on software: theory and practice : Sep 2014, Maceió, Brazil. (Lecture Notes in Computer Science ; 8941)
紙図書
Springer[2015]<M17-15-1608>
国立国会図書館
  • タイトル標目...cience ; 8941. LNCS sublibrary. SL 2, Programming and software engineering.

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>
国立国会図書館
  • タイトル標目...111. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering.

Web services and formal methods : 9th international workshop, WS-FM 2012 : Tallinn, Estonia, September 6-7, 2012 : revised selected papers : Sep 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7843)

Web services and formal methods : 9th international workshop, WS-FM 2012 : Tallinn, Estonia, September 6-7, 2012 : revised selected papers : Sep 2012, Tallinn, Estonia. (Lecture Notes in Computer Science ; 7843)
紙図書
Springerc2013.<M17-13-2768>
国立国会図書館
  • タイトル標目LNCS sublibrary. SL 2, Programming and software engineering.

Performance characterization and benchmarking : traditional to big data : 6th TPC technology conference, TPCTC 2014 : Hangzhou, China, September 1-5, 2014 : revised selected papers : 6th TPC technology conference on performance evaluation and benchmarking : Sep 2014, Hangzhou, China. (Lecture Notes in Computer Science ; 8904)

Performance characterization and benchmarking : traditional to big data : 6th TPC technology conference, TPCTC 2014 : Hangzhou, China, September 1-5, 2014 : revised selected papers : 6th TPC technology conference on performance evaluation and benchmarking : Sep 2014, Hangzhou, China. (Lecture Notes in Computer Science ; 8904)
紙図書
Springer[2015]<M17-15-1997>
国立国会図書館
  • タイトル標目...cience ; 8904. LNCS sublibrary. SL 2, Programming and software engineering.

Formal aspects of component software : 11th international symposium, FACS 2014 : Bertinoro, Italy, September 10-12, 2014 : revised selected papers : 11th event FACS : FACS conference : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8997)

Formal aspects of component software : 11th international symposium, FACS 2014 : Bertinoro, Italy, September 10-12, 2014 : revised selected papers : 11th event FACS : FACS conference : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8997)
紙図書
Springer[2015]<M17-15-1615>
国立国会図書館
  • タイトル標目...cience ; 8997. LNCS sublibrary. SL 2, Programming and software engineering.

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)
紙図書
Springer[2015]<M17-16-412>
国立国会図書館
  • タイトル標目...154. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering.

Computer performance engineering : 12th European workshop, EPEW 2015 : Madrid, Spain, August 31-September 1, 2015 : proceedings : Aug 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9272)

Computer performance engineering : 12th European workshop, EPEW 2015 : Madrid, Spain, August 31-September 1, 2015 : proceedings : Aug 2015, Madrid, Spain. (Lecture Notes in Computer Science ; 9272)
紙図書
Springer[2015]<M17-16-600>
国立国会図書館
  • タイトル標目...272. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering.

Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9128)

Formal methods for industrial critical systems : 20th international workshop, FMICS 2015 : Oslo, Norway, June 22-23, 2015 : proceedings : Jun 2015, Oslo, Norway. (Lecture Notes in Computer Science ; 9128)
紙図書
Springer[2015]<M17-16-388>
国立国会図書館
  • タイトル標目...128. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering.

Search-based software engineering : 7th international symposium, SSBSE 2015 : Bergamo, Italy, September 5-7, 2015 : proceedings : Sep 2015, Bergamo, Italy. (Lecture Notes in Computer Science ; 9275)

Search-based software engineering : 7th international symposium, SSBSE 2015 : Bergamo, Italy, September 5-7, 2015 : proceedings : Sep 2015, Bergamo, Italy. (Lecture Notes in Computer Science ; 9275)
紙図書
Springer[2015]<M17-16-603>
国立国会図書館
  • タイトル標目...275. 1611-3349 LNCS sublibrary. SL 2, Programming and software engineering.

Theory and practice of model transformations : 8th international conference, ICMT 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-21, 2015 : proceedings : STAF federated event : 8th international conference on model transformation : STAF 2015 (software technologies: applications and foundations) conference : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9152)

Theory and practice of model transformations : 8th international conference, ICMT 2015 : held as part of STAF 2015 : L'Aquila, Italy, July 20-21, 2015 : proceedings : STAF federated event : 8th international conference on model transformation : STAF 2015 (software technologies: applications and foundations) conference : Jul 2015, L'Aquila, Italy. (Lecture Notes in Computer Science ; 9152)
紙図書
Springer[2015]<M17-16-409>
国立国会図書館
  • タイトル標目...152. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering.

Software engineering and formal methods : SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS : Grenoble, France, September 1-2, 2014 : revised selected papers : 12th international conference on software engineering and formal methods : SEFM workshop : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8938)

Software engineering and formal methods : SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS : Grenoble, France, September 1-2, 2014 : revised selected papers : 12th international conference on software engineering and formal methods : SEFM workshop : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8938)
紙図書
Springer[2015]<M17-15-1607>
国立国会図書館
  • タイトル標目...cience ; 8938. LNCS sublibrary. SL 2, Programming and software engineering.

Tests and proofs : 7th international conference, TAP 2013 : Budapest, Hungary, June 16-20, 2013 : proceedings : software technologies: applications and foundations (STAF) federated event : Jun 2013, Budapest, Hungary. (Lecture Notes in Computer Science ; 7942)

Tests and proofs : 7th international conference, TAP 2013 : Budapest, Hungary, June 16-20, 2013 : proceedings : software technologies: applications and foundations (STAF) federated event : Jun 2013, Budapest, Hungary. (Lecture Notes in Computer Science ; 7942)
紙図書
Springerc2013.<M17-13-3387>
国立国会図書館
  • タイトル標目LNCS sublibrary. SL 2, Programming and software engineering.

Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)

Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings : Sep 2015, York, UK. (Lecture Notes in Computer Science ; 9276)
紙図書
Springer[2015]<M17-16-604>
国立国会図書館
  • タイトル標目...276. 0302-9743 LNCS sublibrary. SL 2, Programming and software engineering.

Mathematical and engineering methods in computer science : 9th international doctoral workshop, MEMICS 2014 : Telč, Czech Republic, October 17-19, 2014 : revised selected papers : Oct 2014, Telč, Czech Republic. (Lecture Notes in Computer Science ; 8934)

Mathematical and engineering methods in computer science : 9th international doctoral workshop, MEMICS 2014 : Telč, Czech Republic, October 17-19, 2014 : revised selected papers : Oct 2014, Telč, Czech Republic. (Lecture Notes in Computer Science ; 8934)
紙図書
Springer[2014]<M17-15-1606>
国立国会図書館
  • タイトル標目...cience ; 8934. LNCS sublibrary. SL 2, Programming and software engineering.

Model-based methodologies for pervasive and embedded software : 8th international workshop, MOMPES 2012 : Essen, Germany, September 4, 2012 : revised papers : Sep 2012, Essen, Germany. (Lecture Notes in Computer Science ; 7706)

Model-based methodologies for pervasive and embedded software : 8th international workshop, MOMPES 2012 : Essen, Germany, September 4, 2012 : revised papers : Sep 2012, Essen, Germany. (Lecture Notes in Computer Science ; 7706)
紙図書
Springerc2013.<M17-13-2738>
国立国会図書館
  • タイトル標目LNCS sublibrary. SL 2, Programming and software engineering.
RSS