Jump to main content

yr 〜
yr

Search results 318

Symbolic computation in software science : 10th international symposium, SCSS 2024 : Tokyo, Japan, August 28-30, 2024 : proceedings : SCSS meetings : Aug 2024, Tokyo, Japan (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 : SCSS meetings : Aug 2024, Tokyo, Japan (Lecture Notes in Computer Science ; 14991. Lecture Notes in Artificial Intelligence)
Paper図書
Springer[2024]<M17-25-49>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses Computer science--Mathematics...

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)
Paper図書
Springer[2015]<M17-15-1608>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses.

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

2016 ACM/IEEE international conference on formal methods and models for system design : (MEMOCODE 2016) : Kanpur, India : 18-20 November 2016 : 14th ACM-IEEE international conference on formal methods and models for system design : Nov 2016, Kanpur, India.
Paper図書
IEEE[2016]<M17-18-456>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses. Formal methods (Computer sci...

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

NASA formal methods : 5th international symposium, NFM 2013 : Moffett Field, CA, USA, May 14-16, 2013 : proceedings : May 2013, Moffett Field, CA. (Lecture Notes in Computer Science ; 7871)
Paper図書
Springerc2013.<M17-13-2776>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses.

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

2015 ACM/IEEE international conference on formal methods and models for codesign : (MEMOCODE 2015) : Austin, Texas, USA : 21-23 September 2015 : Sep 2015, Austin, TX.
Paper図書
IEEE[2015]<M17-17-913>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses. Formal methods (Computer sci...

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

Formal methods: foundations and applications : 16th Brazilian symposium, SBMF 2013 : Brasilia, Brazil, September 29-October 4, 2013 : proceedings : Sep 2013, Brasilia, Brazil. (Lecture Notes in Computer Science ; 8195)
Paper図書
Springerc2013.<M17-14-772>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses.

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)
Paper図書
Springer[2015]<M17-15-1615>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses. Component software--Congress...

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)
Paper図書
Springer[2015]<M17-15-1607>
National Diet Library
  • Subject HeadingSoftware engineering--Congresses. Formal methods (Computer science)--Congresses.

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)
Paper図書
Springer[2015]<M17-16-604>
National Diet Library
  • Subject HeadingSoftware engineering--Congresses. Formal methods (Computer science)--Congresses.

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

FM 2014: formal methods : 19th international symposium : Singapore, May 12-16, 2014 : proceedings : FM-2014 : FM week : Singapore event : May 2014, Singapore. (Lecture Notes in Computer Science ; 8442)
Paper図書
Springer[2014]<M17-15-1351>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses. Formal methods (Computer sci...

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

Formal methods: foundations and applications : 15th Brazilian symposium, SBMF 2012 : Natal, Brazil, September 23-28, 2012 : proceedings : Sep 2012, Natal, Brazil. (Lecture Notes in Computer Science ; 7498)
Paper図書
Springerc2012.<M17-13-656>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses.

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 : 11th international conference on software engineering and formal methods : 2nd international workshop on behavioral types workshop [sic] (BEAT 2) : 3rd workshop on formal methods in the development of software : workshop on a formal methods body of knowledge for railway control and safety systems : 2nd international symposium on modelling and knowledge management for sustainable development : 2nd international workshop on behavioural types : 7th international workshop on foundations and techniques for open source software certification (OpenCert2013) : Sep 2013, Madrid, Spain. (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 : 11th international conference on software engineering and formal methods : 2nd international workshop on behavioral types workshop [sic] (BEAT 2) : 3rd workshop on formal methods in the development of software : workshop on a formal methods body of knowledge for railway control and safety systems : 2nd international symposium on modelling and knowledge management for sustainable development : 2nd international workshop on behavioural types : 7th international workshop on foundations and techniques for open source software certification (OpenCert2013) : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8368)
Paper図書
Springerc2014.<M17-14-2122>
National Diet Library
  • Subject HeadingSoftware engineering--Congresses. Formal methods (Computer science)--Congresses.

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 : 10th international conference on software engineering and formal methods : 1st international symposium on innovation and sustainability in education : 1st international symposium on modelling and knowledge management for sustainable development : 6th international workshop on foundations and techniques for open source software certification : Oct 2012, Thessaloniki, Greece. (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 : 10th international conference on software engineering and formal methods : 1st international symposium on innovation and sustainability in education : 1st international symposium on modelling and knowledge management for sustainable development : 6th international workshop on foundations and techniques for open source software certification : Oct 2012, Thessaloniki, Greece. (Lecture Notes in Computer Science ; 7991)
Paper図書
Springerc2014.<M17-14-2111>
National Diet Library
  • Subject HeadingSoftware engineering--Congresses. Formal methods (Computer science)--Congresses.

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 : Sep 2015, Oldenburg, Germany. (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 : Sep 2015, Oldenburg, Germany. (Lecture Notes in Computer Science ; 9360. Festschrift)
Paper図書
Springer[2015]<M17-16-774>
National Diet Library
  • Subject Heading...n--Congresses. Formal methods (Computer science)--Congresses.

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

2016 IEEE/ACM 4th FME workshop on formal methods in software engineering : (FormaliSE 2016) : Austin, Texas, USA : 15 May 2016 : yearly workshop on formal methods in software engineering : May 2016, Austin, TX.
Paper図書
IEEE[2016]<M17-18-457>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses. Software engineering--Congre...

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

NASA formal methods : 6th international symposium, NFM 2014 : Houston, TX, USA, April 29-May 1, 2014 : proceedings : NFM2014 : Apr 2014, Houston, TX. (Lecture Notes in Computer Science ; 8430)
Paper図書
Springer[2014]<M17-14-2795>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses. Formal methods (Computer sci...

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

2011 9th IEEE/ACM international conference on formal methods and models for codesign : (MEMOCODE 2011) : Cambridge, United Kingdom : 11-13 July 2011 : Jul 2011, Cambridge, UK.
Paper図書
IEEEc2011.<M17-12-1432>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses.

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

Integrated formal methods : 10th international conference, IFM 2013 : Turku, Finland, June 10-14, 2013 : proceedings : Jun 2013, Turku, Finland. (Lecture Notes in Computer Science ; 7940)
Paper図書
Springerc2013.<M17-13-3364>
National Diet Library
  • Subject HeadingFormal methods (Computer science)--Congresses. Software engineering--Congre...

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

Software engineering and formal methods : 11th international conference, SEFM 2013 : Madrid, Spain, September 25-27, 2013 : proceedings : Sep 2013, Madrid, Spain. (Lecture Notes in Computer Science ; 8137)
Paper図書
Springerc2013.<M17-14-705>
National Diet Library
  • Subject HeadingSoftware engineering--Congresses. Formal methods (Computer science)--Congresses.

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)
Paper図書
Springerc2013.<M17-13-2768>
National Diet Library
  • Subject HeadingWeb services--Congresses. Formal methods (Computer science)--Congresses.
RSS