Jump to main content

yr 〜
yr

Search results 10

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings

Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
Digital電子書籍・電子雑誌図書
2024
Available onlineNational Diet Library
  • Author HeadingDirk Beyer Cavalcanti, Ana

Theoretical aspects of computing -- ICTAC 2010 : 7th international colloquium : Natal, Rio Grande do Norte, Brazil : September 1-3, 2010 : proceedings. : Sep 2010, Natal, Brazil. (Lecture Notes in Computer Science ; 6255)

Theoretical aspects of computing -- ICTAC 2010 : 7th international colloquium : Natal, Rio Grande do Norte, Brazil : September 1-3, 2010 : proceedings. : Sep 2010, Natal, Brazil. (Lecture Notes in Computer Science ; 6255)
Paper図書
Springerc2010.<M17-10-4387>
National Diet Library
  • Author Heading...ande do Norte. Cavalcanti, Ana. University of York. ICTAC 20...

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
  • Author HeadingCavalcanti, Ana. Dams, Dennis. International ...

Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings. : Dec 2009, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 5885)

Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings. : Dec 2009, Rio de Janeiro, Brazil. (Lecture Notes in Computer Science ; 5885)
Paper図書
Springerc2009.<M17-10-1652>
National Diet Library
  • Author Heading... K. (Karin K.) Cavalcanti, Ana. International Conference on ...

Theoretical aspects of computing -- ICTAC 2006 : third international colloquium : Tunis, Tunisia, November 20-24, 2006 : proceedings. : Nov 2006, Tunis, Tunisia. (Lecture Notes in Computer Science ; 4281)

Theoretical aspects of computing -- ICTAC 2006 : third international colloquium : Tunis, Tunisia, November 20-24, 2006 : proceedings. : Nov 2006, Tunis, Tunisia. (Lecture Notes in Computer Science ; 4281)
Paper図書
Springerc2006.<M17-07-1242>
National Diet Library
  • Author Heading...rkaoui, Kamel. Cavalcanti, Ana. Cerone, Antonio. ICTAC 2006 ...

Critical systems : formal methods and automated verification : joint 22nd international workshop on Formal Methods for Industrial Critical Systems and 17th international workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings

Critical systems : formal methods and automated verification : joint 22nd international workshop on Formal Methods for Industrial Critical Systems and 17th international workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings
Paper図書
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.)Springerc2017
Other Libraries in Japan
  • Author Heading...eanu, Cristina Cavalcanti, Ana

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings

Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings
Paper図書
Karin Breitman, Ana Cavalcanti (eds.)Springerc2009
Other Libraries in Japan
  • Author HeadingICFEM Breitman, Karin Cavalcanti, Ana

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
  • Author HeadingInternational Symposium of Formal Methods Europe Cavalcanti, Ana Dams, Dennis

Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, proceedings

Theoretical Aspects of Computing - ICTAC 2006 : Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, proceedings
Paper図書
Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingICTAC Barkaoui, Kamel Cavalcanti, Ana Cerone, Antonio

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures

Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures
Paper図書
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingPernambuco Summer School on Software Engineering Cavalcanti, Ana Sampaio, Augusto Woodcock, Ji...

Reached to the end of result.

RSS