Jump to main content

yr 〜
yr

Search results 21

Formal methods for multicore programming : 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015 : Bertinoro, Italy, June 15-19, 2015 : advanced lectures : Jun 2015, Bertinoro, Italy. (Lecture Notes in Computer Science ; 9104. Tutorial)

Formal methods for multicore programming : 15th international school on formal methods for the design of computer, communication, and software systems, SFM 2015 : Bertinoro, Italy, June 15-19, 2015 : advanced lectures : Jun 2015, Bertinoro, Italy. (Lecture Notes in Computer Science ; 9104. Tutorial)
Paper図書
Springer[2015]<M17-16-366>
National Diet Library
  • Author Heading...tinoro, Italy) Bernardo, Marco. Johnsen, Einar Broch. EU FP7...

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
  • Author Heading...tinoro, Italy) Bernardo, Marco. Damiani, Ferruccio. Hähnle,...

Formal methods for dynamical systems : 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013 : Bertinoro, Italy, June 17-22, 2013 : advanced lectures : Jun 2013, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7938. Tutorial)

Formal methods for dynamical systems : 13th international school on formal methods for the design of computer, communication, and software systems, SFM 2013 : Bertinoro, Italy, June 17-22, 2013 : advanced lectures : Jun 2013, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7938. Tutorial)
Paper図書
Springerc2013.<M17-13-3386>
National Diet Library
  • Author Heading...tinoro, Italy) Bernardo, Marco.

Formal methods for model-driven engineering : 12th international school on formal methods for the design of computer, communication, and software systems, SFM 2012 : Bertinoro, Italy, June 18-23, 2012 : advanced lectures : Jun 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7320. Tutorial)

Formal methods for model-driven engineering : 12th international school on formal methods for the design of computer, communication, and software systems, SFM 2012 : Bertinoro, Italy, June 18-23, 2012 : advanced lectures : Jun 2012, Bertinoro, Italy. (Lecture Notes in Computer Science ; 7320. Tutorial)
Paper図書
Springerc2012.<M17-13-535>
National Diet Library
  • Author Heading...tinoro, Italy) Bernardo, Marco. Cortellessa, Vittorio. Piera...

Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011 : Bertinoro, Italy, June 13-18, 2011 : advanced lectures. : Jun 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6659. Tutorial)

Formal methods for eternal networked software systems : 11th international school on formal methods for the design of computer, communication and software systems, SFM 2011 : Bertinoro, Italy, June 13-18, 2011 : advanced lectures. : Jun 2011, Bertinoro, Italy. (Lecture Notes in Computer Science ; 6659. Tutorial)
Paper図書
Springerc2011.<M17-11-3208>
National Diet Library
  • Author HeadingBernardo, Marco. Issarny, Valérie. Internatio...

Formal methods for web services : 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009 : Bertinoro, Italy, June 1-6, 2009 : advanced lectures. : Jun 2009, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5569. Tutorial)

Formal methods for web services : 9th international school on formal methods for the design of computer, communication, and software systems, SFM 2009 : Bertinoro, Italy, June 1-6, 2009 : advanced lectures. : Jun 2009, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5569. Tutorial)
Paper図書
Springerc2009.<M17-10-746>
National Diet Library
  • Author HeadingBernardo, Marco. Padovani, Luca. Zavattaro, G...

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)

Formal methods for computational systems biology : 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 : Bertinoro, Italy, June 2-7, 2008 : advanced lectures. : Jun 2008, Bertinoro, Italy. (Lecture Notes in Computer Science ; 5016. Tutorial)
Paper図書
Springerc2008.<M17-08-1785>
National Diet Library
  • Author HeadingBernardo, Marco. Degano, Pierpaolo, 1950- Zav...

Formal methods for performance evaluation : 7th international school on formal methods for the design of computer, communication and software systems, SFM 2007 : Bertinoro, Italy, May 28-June 2, 2007 : advanced lectures. : May 2007, Bertinoro, Italy. (Lecture Notes in Computer Science ; 4486. Tutorial)

Formal methods for performance evaluation : 7th international school on formal methods for the design of computer, communication and software systems, SFM 2007 : Bertinoro, Italy, May 28-June 2, 2007 : advanced lectures. : May 2007, Bertinoro, Italy. (Lecture Notes in Computer Science ; 4486. Tutorial)
Paper図書
Springerc2007.<M17-07-2107>
National Diet Library
  • Author HeadingBernardo, Marco. Hillston, J. (Jane) , 1963- ...

Formal methods for hardware verification : 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006 : Bertinoro, Italy, May 22-27, 2006 : advanced lectures. : May 2006, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3965. Tutorial)

Formal methods for hardware verification : 6th international school on formal methods for the design of computer, communication, and software systems, SFM 2006 : Bertinoro, Italy, May 22-27, 2006 : advanced lectures. : May 2006, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3965. Tutorial)
Paper図書
Springerc2006.<M17-06-2256>
National Diet Library
  • Author HeadingCimatti, Alessandro. Bernardo, Marco. International School on Form...

Formal methods for software architectures : third international school on formal methods for the design of computer, communication and software systems: software architectures, SFM 2003 : Bertinoro, Italy, September 22-27, 2003 : advanced lectures. : Sep 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2804. Tutorial)

Formal methods for software architectures : third international school on formal methods for the design of computer, communication and software systems: software architectures, SFM 2003 : Bertinoro, Italy, September 22-27, 2003 : advanced lectures. : Sep 2003, Bertinoro, Italy. (Lecture Notes in Computer Science ; 2804. Tutorial)
Paper図書
Springerc2003.<M17-04-1104>
National Diet Library
  • Author HeadingBernardo, Marco. Inverardi, Paola.

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : revised lectures. : Sep 2004, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3185. Tutorial)

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : revised lectures. : Sep 2004, Bertinoro, Italy. (Lecture Notes in Computer Science ; 3185. Tutorial)
Paper図書
Springerc2004.<M17-04-3745>
National Diet Library
  • Author HeadingBernardo, Marco. Corradini, Flavio. Internati...

Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures

Formal methods for multicore programming : 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures
Paper図書
Marco Bernardo, Einar Broch Johnsen (eds.)Springerc2015
Other Libraries in Japan
  • Author Heading...ftware Systems Bernardo, Marco Johnsen, Einar Broch

A process algebraic approach to software architecture design

A process algebraic approach to software architecture design
Paper図書
Alessandro Aldini, Marco Bernardo, Flavio CorradiniSpringerc2010
Other Libraries in Japan
  • Author HeadingAldini, Alessandro Bernardo, Marco Corradini, Flavio

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures

Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures
Paper図書
Alessandro Aldini ... [et al.] (eds.)Springerc2010
Other Libraries in Japan
  • Author Heading...ni, Alessandro Bernardo, Marco Di Pierro, Alessandra Wiklick...

Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures

Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 : advanced lectures
Paper図書
Marco Bernardo, Jane Hillston (eds.)Springerc2007
Other Libraries in Japan
  • Author Heading...ftware Systems Bernardo, Marco Hillston, J. (Jane)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures
Paper図書
Marco Bernardo, Alessandro Cimatti (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingBernardo, Marco Cimatti, Alessandro Internati...

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures

Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems : SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures
Paper図書
Marco Bernardo, Alessandro Bogliolo (eds.)Springerc2005
Other Libraries in Japan
  • Author HeadingBernardo, Marco Bogliolo, Alessandro Internat...

Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : Revised lectures

Formal methods for the design of real-time systems : International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : Revised lectures
Paper図書
Marco Bernardo, Flavio Corradini (eds.)Springerc2004
Other Libraries in Japan
  • Author HeadingBernardo, Marco Corradini, Flavio Internation...

Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures
Paper図書
Marco Bernardo, Paola Inverardi (eds.)Springerc2003
Other Libraries in Japan
  • Author HeadingBernardo, Marco Inverardi, Paola Internationa...

Radamés Gnattali : integral dos choros para piano solo

Radamés Gnattali : integral dos choros para piano solo
Recording Media録音資料
CPC-UMES2011
Other Libraries in Japan
  • Author HeadingGnattali, Radamés Bernardo, Marco Antonio
RSS