本文に飛ぶ

年 〜
年

検索結果 275 件

Symbolic computation in software science : 10th international symposium, SCSS 2024 : Tokyo, Japan, August 28-30, 2024 : proceedings (Lecture Notes in Computer Science ; 14991. Lecture Notes in Artificial Intelligence)

Symbolic computation in software science : 10th international symposium, SCSS 2024 : Tokyo, Japan, August 28-30, 2024 : proceedings (Lecture Notes in Computer Science ; 14991. Lecture Notes in Artificial Intelligence)
紙図書
Springer[2024]<M17-25-49>
国立国会図書館

Formal methods and software engineering : 25th international conference on formal engineering methods, ICFEM 2024 : Hiroshima, Japan, December 2-6, 2024 : proceedings (Lecture notes in computer science ; 15394)

Formal methods and software engineering : 25th international conference on formal engineering methods, ICFEM 2024 : Hiroshima, Japan, December 2-6, 2024 : proceedings (Lecture notes in computer science ; 15394)
紙図書
Springer[2024]<M17-25-75>
国立国会図書館

Formal methods: foundations and applications : 17th Brazilian symposium, SBMF 2014 : Maceió, AL, Brazil, September 29-October 1, 2014 : proceedings. (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. (Lecture Notes in Computer Science ; 8941)
紙図書
Springer[2015]<M17-15-1608>
国立国会図書館

2016 ACM/IEEE international conference on formal methods and models for system design : (MEMOCODE 2016) : Kanpur, India : 18-20 November 2016.

2016 ACM/IEEE international conference on formal methods and models for system design : (MEMOCODE 2016) : Kanpur, India : 18-20 November 2016.
紙図書
IEEE[2016]<M17-18-456>
国立国会図書館

NASA formal methods : 5th international symposium, NFM 2013 : Moffett Field, CA, USA, May 14-16, 2013 : proceedings. (Lecture Notes in Computer Science ; 7871)

NASA formal methods : 5th international symposium, NFM 2013 : Moffett Field, CA, USA, May 14-16, 2013 : proceedings. (Lecture Notes in Computer Science ; 7871)
紙図書
Springerc2013.<M17-13-2776>
国立国会図書館

Formal methods: foundations and applications : 16th Brazilian symposium, SBMF 2013 : Brasilia, Brazil, September 29-October 4, 2013 : proceedings. (Lecture Notes in Computer Science ; 8195)

Formal methods: foundations and applications : 16th Brazilian symposium, SBMF 2013 : Brasilia, Brazil, September 29-October 4, 2013 : proceedings. (Lecture Notes in Computer Science ; 8195)
紙図書
Springerc2013.<M17-14-772>
国立国会図書館

2015 ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2015) : Austin, Texas, USA : 21-23 September 2015.

2015 ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2015) : Austin, Texas, USA : 21-23 September 2015.
紙図書
IEEE[2015]<M17-17-913>
国立国会図書館

Formal aspects of component software : 11th international symposium, FACS 2014 : Bertinoro, Italy, September 10-12, 2014 : revised selected papers. (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. (Lecture Notes in Computer Science ; 8997)
紙図書
Springer[2015]<M17-15-1615>
国立国会図書館

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

Software engineering and formal methods : 13th international conference, SEFM 2015 : York, UK, September 7-11, 2015 : proceedings. (Lecture Notes in Computer Science ; 9276)
紙図書
Springer[2015]<M17-16-604>
国立国会図書館

Software engineering and formal methods : SEFM 2014 collocated workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS : Grenoble, France, September 1-2, 2014 : revised selected papers. (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. (Lecture Notes in Computer Science ; 8938)
紙図書
Springer[2015]<M17-15-1607>
国立国会図書館

FM 2014: formal methods : 19th international symposium : Singapore, May 12-16, 2014 : proceedings. (Lecture Notes in Computer Science ; 8442)

FM 2014: formal methods : 19th international symposium : Singapore, May 12-16, 2014 : proceedings. (Lecture Notes in Computer Science ; 8442)
紙図書
Springer[2014]<M17-15-1351>
国立国会図書館

Formal methods: foundations and applications : 15th Brazilian symposium, SBMF 2012 : Natal, Brazil, September 23-28, 2012 : proceedings. (Lecture Notes in Computer Science ; 7498)

Formal methods: foundations and applications : 15th Brazilian symposium, SBMF 2012 : Natal, Brazil, September 23-28, 2012 : proceedings. (Lecture Notes in Computer Science ; 7498)
紙図書
Springerc2012.<M17-13-656>
国立国会図書館

Software engineering and formal methods : SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert : Madrid, Spain, September 23-24, 2013 : revised selected papers. (Lecture Notes in Computer Science ; 8368)

Software engineering and formal methods : SEFM 2013 collocated workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert : Madrid, Spain, September 23-24, 2013 : revised selected papers. (Lecture Notes in Computer Science ; 8368)
紙図書
Springerc2014.<M17-14-2122>
国立国会図書館

Information technology and open source: applications for education, innovation, and sustainability : SEFM 2012 satellite events, InSuEdu, MoKMaSD, and OpenCert : Thessaloniki, Greece, October 1-2, 2012 : revised selected papers. (Lecture Notes in Computer Science ; 7991)

Information technology and open source: applications for education, innovation, and sustainability : SEFM 2012 satellite events, InSuEdu, MoKMaSD, and OpenCert : Thessaloniki, Greece, October 1-2, 2012 : revised selected papers. (Lecture Notes in Computer Science ; 7991)
紙図書
Springerc2014.<M17-14-2111>
国立国会図書館

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday : Oldenburg, Germany, September 8-9, 2015 : proceedings. (Lecture Notes in Computer Science ; 9360. Festschrift)

Correct system design : symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday : Oldenburg, Germany, September 8-9, 2015 : proceedings. (Lecture Notes in Computer Science ; 9360. Festschrift)
紙図書
Springer[2015]<M17-16-774>
国立国会図書館

2016 IEEE/ACM 4th FME workshop on formal methods in software engineering : (FormaliSE 2016) : Austin, Texas, USA : 15 May 2016.

2016 IEEE/ACM 4th FME workshop on formal methods in software engineering : (FormaliSE 2016) : Austin, Texas, USA : 15 May 2016.
紙図書
IEEE[2016]<M17-18-457>
国立国会図書館

2011 9th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2011) : Cambridge, United Kingdom : 11-13 July 2011.

2011 9th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2011) : Cambridge, United Kingdom : 11-13 July 2011.
紙図書
IEEEc2011.<M17-12-1432>
国立国会図書館

NASA formal methods : 6th international symposium, NFM 2014 : Houston, TX, USA, April 29-May 1, 2014 : proceedings. (Lecture Notes in Computer Science ; 8430)

NASA formal methods : 6th international symposium, NFM 2014 : Houston, TX, USA, April 29-May 1, 2014 : proceedings. (Lecture Notes in Computer Science ; 8430)
紙図書
Springer[2014]<M17-14-2795>
国立国会図書館

Integrated formal methods : 10th international conference, IFM 2013 : Turku, Finland, June 10-14, 2013 : proceedings. (Lecture Notes in Computer Science ; 7940)

Integrated formal methods : 10th international conference, IFM 2013 : Turku, Finland, June 10-14, 2013 : proceedings. (Lecture Notes in Computer Science ; 7940)
紙図書
Springerc2013.<M17-13-3364>
国立国会図書館

Software engineering and formal methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25-27, 2013 : proceedings. (Lecture Notes in Computer Science ; 8137)

Software engineering and formal methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25-27, 2013 : proceedings. (Lecture Notes in Computer Science ; 8137)
紙図書
Springerc2013.<M17-14-705>
国立国会図書館
RSS