Jump to main content

yr 〜
yr

Search results 393

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

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

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

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

The handbook of formal methods in human-computer interaction (Human-computer interaction series)

The handbook of formal methods in human-computer interaction (Human-computer interaction series)
Paper図書
Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors.Springer[2017]<M154-B216>
National Diet LibraryOther Libraries in Japan

2015 IEEE/ACM 3rd FME workshop on formal methods in software engineering : (FormaliSE 2015) : Florence, Italy : 18 May 2015 : ICSE : May 2015, Florence, Italy.

2015 IEEE/ACM 3rd FME workshop on formal methods in software engineering : (FormaliSE 2015) : Florence, Italy : 18 May 2015 : ICSE : May 2015, Florence, Italy.
Paper図書
IEEE[2015]<M17-17-914>
National Diet Library

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

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

Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 international conference, FORTE 2019 : held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019 : Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings : Jun 2019, Kongens Lyngby, Denmark. (Lecture Notes in Computer Science ; 11535)

Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 international conference, FORTE 2019 : held as part of the 14th international federated conference on distributed computing techniques, DisCoTec 2019 : Kongens Lyngby, Denmark, June 17-21, 2019 : proceedings : Jun 2019, Kongens Lyngby, Denmark. (Lecture Notes in Computer Science ; 11535)
Paper図書
Springer[2019]<M17-21-311>
National Diet Library

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)

Software engineering and formal methods : 12th international conference, SEFM 2014 : Grenoble, France, September 1-5, 2014 : proceedings : Sep 2014, Grenoble, France. (Lecture Notes in Computer Science ; 8702)
Paper図書
Springer[2014]<M17-15-1257>
National Diet Library

Integrated formal methods : 11th international conference, IFM 2014 : Bertinoro, Italy, September 9-11, 2014 : proceedings : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8739)

Integrated formal methods : 11th international conference, IFM 2014 : Bertinoro, Italy, September 9-11, 2014 : proceedings : Sep 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8739)
Paper図書
Springer[2014]<M17-15-1364>
National Diet Library

Descriptional complexity of formal systems : 16th international workshop, DCFS 2014 : Turku, Finland, August 5-8, 2014 : proceedings : Aug 2014, Turku, Finland. (Lecture Notes in Computer Science ; 8614)

Descriptional complexity of formal systems : 16th international workshop, DCFS 2014 : Turku, Finland, August 5-8, 2014 : proceedings : Aug 2014, Turku, Finland. (Lecture Notes in Computer Science ; 8614)
Paper図書
Springer[2014]<M17-15-1479>
National Diet Library

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings

Implicit and explicit semantics integration in proof-based developments of discrete systems : communications of NII Shonan Meetings
Paper図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer[2021]<M154-D14>
National Diet LibraryOther Libraries in Japan

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

Formal aspects of component software : 10th international symposium, FACS 2013 : Nanchang, China, October 27-29, 2013 : revised selected papers : Oct 2013, Nanchang, China. (Lecture Notes in Computer Science ; 8348)

Formal aspects of component software : 10th international symposium, FACS 2013 : Nanchang, China, October 27-29, 2013 : revised selected papers : Oct 2013, Nanchang, China. (Lecture Notes in Computer Science ; 8348)
Paper図書
Springer[2014]<M17-15-714>
National Diet Library

Web services and formal methods : 10th international workshop, WS-FM 2013 : Beijing, China, August 2013 : revised selected papers : 10th international workshop on web services and formal methods: formal aspects of service-oriented and cloud computing : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8379)

Web services and formal methods : 10th international workshop, WS-FM 2013 : Beijing, China, August 2013 : revised selected papers : 10th international workshop on web services and formal methods: formal aspects of service-oriented and cloud computing : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8379)
Paper図書
Springer[2014]<M17-15-1509>
National Diet Library

Formal methods and software engineering : 16th international conference on formal engineering methods, ICFEM 2014 : Luxembourg, Luxembourg, November 3-5, 2014 : proceedings : Nov 2014, Luxembourg, Luxembourg. (Lecture Notes in Computer Science ; 8829)

Formal methods and software engineering : 16th international conference on formal engineering methods, ICFEM 2014 : Luxembourg, Luxembourg, November 3-5, 2014 : proceedings : Nov 2014, Luxembourg, Luxembourg. (Lecture Notes in Computer Science ; 8829)
Paper図書
Springer[2014]<M17-15-558>
National Diet Library

2016 formal methods in computer-aided design : (FMCAD 2016) : Mountain View, California, USA : 3-6 October 2016 : 16th conference on formal methods in computer-aided design : international conference on formal methods in computer-aided design : FMCAD 2016 graduate student forum : Oct 2016, Mountain View, CA.

2016 formal methods in computer-aided design : (FMCAD 2016) : Mountain View, California, USA : 3-6 October 2016 : 16th conference on formal methods in computer-aided design : international conference on formal methods in computer-aided design : FMCAD 2016 graduate student forum : Oct 2016, Mountain View, CA.
Paper図書
IEEE[2016]<M17-18-1876>
National Diet Library

Theory and applications of formal argumentation : second international workshop, TAFA 2013 : Beijing, China, August 3-5, 2013 : revised selected papers : IJCAI 2013 : 23rd international joint conference on artificial intelligence : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8306. Lecture Notes in Artificial Intelligence)

Theory and applications of formal argumentation : second international workshop, TAFA 2013 : Beijing, China, August 3-5, 2013 : revised selected papers : IJCAI 2013 : 23rd international joint conference on artificial intelligence : Aug 2013, Beijing, China. (Lecture Notes in Computer Science ; 8306. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2014.<M17-14-2117>
National Diet Library
  • Subject Heading...Argumentation. Formale Methode. Künstliche Intelligenz.

Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014 : Bertinoro, Italy, June 16-20, 2014 : advanced lectures : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)

Formal methods for executable software models : 14th international school on formal methods for the design of computer, communication, and software systems, SFM 2014 : Bertinoro, Italy, June 16-20, 2014 : advanced lectures : Jun 2014, Bertinoro, Italy. (Lecture Notes in Computer Science ; 8483. Tutorial)
Paper図書
Springer[2014]<M17-15-592>
National Diet Library
RSS