年 〜
年

検索結果 389 件

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.
紙図書
IEEE[2016]<M17-18-456>
国立国会図書館
  • 件名Formal methods (Computer science)--Congresses. Formal methods (Computer science)
  • 著者標目... Conference on Formal Methods and Models for Co-Design (14t...

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.
紙図書
IEEE[2015]<M17-17-913>
国立国会図書館
  • 件名Formal methods (Computer science)--Congresses. Formal methods (Computer science)
  • 著者標目... Conference on Formal Methods and Models for Co-Design (13t...

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)
紙図書
Springer[2014]<M17-15-1351>
国立国会図書館
  • 件名Formal methods (Computer science)--Congresses. Formal methods (Computer science)
  • 著者標目International Symposium of Formal Methods Europe (19th :......kka. Sun, Jun. Formal Methods Europe.

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.
紙図書
IEEE[2016]<M17-18-457>
国立国会図書館
  • 件名Formal methods (Computer scie......g--Congresses. Formal methods (Computer science) Software e...
  • 著者標目FME Workshop on Formal Methods in Software En...... Austin, Tex.) Formal Methods Europe.

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)
紙図書
Benjamin Weyers, Judy Bowen, Alan Dix, Philippe Palanque, editors.Springer[2017]<M154-B216>
国立国会図書館全国の図書館
  • 要約等...ches for using formal methods within Human-C......he Handbook of Formal Methods in Human Compu......n facilitating formal methods into their research or practi...
  • 件名Formal methods (Computer science) Human-comp...

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.
紙図書
IEEE[2015]<M17-17-914>
国立国会図書館
  • 件名Formal methods (Computer scie......g--Congresses. Formal methods (Computer science) Software e...
  • 一般注記..., the 3th FME (Formal Methods Europe; www. f......g) Workshop on Formal Methods in Software Engineering."--Pa...
  • 著者標目FME Workshop on Formal Methods in Software Engineering (3rd ...

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)
紙図書
Springer[2014]<M17-14-2795>
国立国会図書館
  • 件名Formal methods (Computer science)--Congresses. Formal methods (Computer science) NASA NFM
  • 一般注記Papers. "The NASA Formal Methods Symposium is an annual event ...

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)
紙図書
Springer[2019]<M17-21-311>
国立国会図書館
  • 件名...g--Congresses. Formal methods (Computer scie......ed processing. Formal methods (Computer science)

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
紙図書
Yamine Ait-Ameur, Shin Nakajima, Dominique Méry, editorsSpringer[2021]<M154-D14>
国立国会図書館全国の図書館
  • 件名Formal methods (Computer science) Mathematic...

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)
紙図書
Springer[2014]<M17-15-714>
国立国会図書館
  • 件名Formal methods (Computer scie......nent software. Formal methods (Computer science)

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)
紙図書
Springer[2014]<M17-15-1509>
国立国会図書館
  • 件名Web services--Congresses. Formal methods (Computer scie......)--Congresses. Formal methods (Computer science) Web servic...

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)
紙図書
Springer[2014]<M17-15-1364>
国立国会図書館
  • 件名Formal methods (Computer scie......n--Congresses. Formal methods (Computer science) System des...
  • 著者標目... on Integrated Formal Methods (11th : 2014 : Bertinoro, Ita...

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)
紙図書
Springer[2014]<M17-15-1257>
国立国会図書館
  • 要約等...ngineering and Formal Methods, SEFM 2014, held in Grenoble,...
  • 件名...g--Congresses. Formal methods (Computer scie......)--Congresses. Formal methods (Computer science) Software e...
  • 著者標目...ngineering and Formal Methods (12th : 2014 : Grenoble, Fran...

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)
紙図書
Springer[2014]<M17-15-1479>
国立国会図書館
  • 件名Formal methods (Computer scie......mal languages. Formal methods (Computer science)

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>
国立国会図書館
  • 要約等...n Symposium on Formal Methods, SBMF 2014, he......ent and use of formal methods for the constr......h interests in formal methods to discuss the recent advance...
  • 件名Formal methods (Computer science)--Congresse...
  • 著者標目Brazilian Symposium on Formal Methods (17th : 2014 : Maceió, Brazi...

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)
紙図書
Springer[2014]<M17-15-558>
国立国会図書館
  • 件名Formal methods (Computer scie......g--Congresses. Formal methods (Computer science) Software e...

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.
紙図書
IEEE[2016]<M17-18-1876>
国立国会図書館
  • 件名Formal methods (Computer scie......n--Congresses. Formal methods (Computer science) System des...

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)
紙図書
Springerc2014.<M17-14-2117>
国立国会図書館
  • 件名Formal methods (Computer science)--Congresse...

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)
紙図書
Springer[2014]<M17-15-592>
国立国会図書館
  • 件名...t--Congresses. Formal methods (Computer scie......--Development. Formal methods (Computer science)
  • 著者標目International School on Formal Methods for the Design of Computer, C...

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)
紙図書
Springerc2013.<M17-13-2776>
国立国会図書館
  • 件名Formal methods (Computer science)--Congresse...
  • 一般注記Abstracts and papers. "The NASA Formal Methods Symposium is an annual event ...