Showing 1 - 8 results of 8 for search '"Science"', query time: 0.42s Refine Results
  1. 1
    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 /
    Published 2009
    Subjects: “...Formal methods (Computer science) Congresses. http://id.loc.gov/authorities/subjects/sh2008104061...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  2. 2
    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 /
    Published 2011
    Subjects: “...Formal methods (Computer science) Congresses. http://id.loc.gov/authorities/subjects/sh2008104061...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  3. 3
    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 /
    Published 2007
    Subjects: “...Formal methods (Computer science) Congresses. http://id.loc.gov/authorities/subjects/sh2008104061...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 4
    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 /
    Published 2008
    Subjects: “...Formal methods (Computer science) Congresses. http://id.loc.gov/authorities/subjects/sh2008104061...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  5. 5
    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 /
    Published 2006
    Subjects: “...Formal methods (Computer science) Congresses. http://id.loc.gov/authorities/subjects/sh2008104061...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  6. 6
    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 /
    Published 2003
    Subjects: “...Formal methods (Computer science) Congresses....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 7
    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 /
    Published 2004
    Subjects: “...Formal methods (Computer science) Congresses....”
    Connect to the full text of this electronic book
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  8. 8
    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 /
    Published 2005
    Subjects: “...Formal methods (Computer science) Congresses. http://id.loc.gov/authorities/subjects/sh2008104061...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search