Jump to main content

yr 〜
yr

Search results 14

FM 2011: formal methods : 17th international symposium on formal methods : Limerick, Ireland, June 20-24, 2011 : proceedings : Jun 2011, Limerick, Ireland. (Lecture Notes in Computer Science ; 6664)

FM 2011: formal methods : 17th international symposium on formal methods : Limerick, Ireland, June 20-24, 2011 : proceedings : Jun 2011, Limerick, Ireland. (Lecture Notes in Computer Science ; 6664)
Paper図書
Springerc2011.<M17-12-19>
National Diet Library

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)

FM 2009: formal methods : second world congress : Eindhoven, the Netherlands, November 2-6, 2009 : proceedings. : 16th international symposium on formal methods : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5850)
Paper図書
Springerc2009.<M17-10-1647>
National Diet Library
  • Subject Heading...-- Congresses. System design -- Mathematics -- Congresses.

FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland. (Lecture Notes in Computer Science ; 5014)

FM 2008: formal methods : 15th international symposium on formal methods : Turku, Finland, May 26-30, 2008 : proceedings. : formal methods conferences : May 2008, Turku, Finland. (Lecture Notes in Computer Science ; 5014)
Paper図書
Springerc2008.<M17-08-1784>
National Diet Library
  • Subject Heading...-- Congresses. System design -- Mathematics -- Congresses.

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)

FM 2006: formal methods : 14th international symposium on formal methods : Hamilton, Canada, August 21-27, 2006 : proceedings. : Aug 2006, Hamilton, Canada. (Lecture Notes in Computer Science ; 4085)
Paper図書
Springerc2006.<M17-06-3028>
National Diet Library
  • Subject Heading...-- Congresses. System design -- Mathematics -- Congresses.

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)

FME 2003: formal methods : international symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings. : 12th international Formal Methods Europe symposium : Sep 2003, Pisa, Italy. (Lecture Notes in Computer Science ; 2805)
Paper図書
Springer-Verlagc2003.<M17-04-1289>
National Diet Library
  • Subject Heading...-- Congresses. System design -- Mathematics -- Congresses.

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)

FME 2002 : formal methods -- getting it right : international symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings. : Jul 2002, Copenhagen, Denmark. (Lecture Notes in Computer Science ; 2391)
Paper図書
Springer2002.<M17-03-105>
National Diet Library
  • Subject Heading...-- Congresses. System design -- Mathematics -- Congresses.

Randomized algorithms for analysis and control of uncertain systems : with applications : hardcover 2nd ed

Randomized algorithms for analysis and control of uncertain systems : with applications : hardcover 2nd ed
Paper図書
Roberto Tempo, Giuseppe Calafiore, Fabrizio DabbeneSpringerc2013
Other Libraries in Japan
  • Subject HeadingSystem design -- Mathematics Algorithms Control theory
  • Subject Heading (ID)System design -- Mathematics Algorithms Control theory

FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings

FM 2016 : formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings
Paper図書
John Fitzgerald ... [et al.] (eds.)Springerc2016
Other Libraries in Japan
  • Subject Heading... -- Congresses System design -- Mathematics -- Congresses
  • Subject Heading (ID)... -- Congresses System design -- Mathematics -- Congresses

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings

FM 2015 : formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings
Paper図書
Nikolaj Bjørner, Frank de Boer (eds.)Springerc2015
Other Libraries in Japan
  • Subject Heading... -- Congresses System design -- Mathematics -- Congresses
  • Subject Heading (ID)... -- Congresses System design -- Mathematics -- Congresses

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings

FM 2009 : formal methods : second world congress, Eindhoven, the Netherlands, November 2-6, 2009 : proceedings
Paper図書
Ana Cavalcanti, Dennis Dams (eds.)Springerc2009
Other Libraries in Japan
  • Subject Heading... -- Congresses System design -- Mathematics -- Congresses FM
  • Subject Heading (ID)... -- Congresses System design -- Mathematics -- Congresses FM

Reactive systems : modelling, specification and verification : hbk

Reactive systems : modelling, specification and verification : hbk
Paper図書
Luca Aceto ... [et al.]Cambridge University Pressc2007
Other Libraries in Japan

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings
Paper図書
Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)Springerc2008
Other Libraries in Japan
  • Subject Heading... -- Congresses System design -- Mathematics -- Congresses
  • Subject Heading (ID)... -- Congresses System design -- Mathematics -- Congresses

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Paper図書
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)Springerc2003
Other Libraries in Japan
  • Subject Heading... -- Congresses System design -- Mathematics -- Congresses
  • Subject Heading (ID)... -- Congresses System design -- Mathematics -- Congresses

Models in system design

Models in system design
Paper図書
edited by Jean-Michel Berge, Oz Levia and Jacques RouillardKluwer Academicc1997
Other Libraries in Japan

Reached to the end of result.

RSS