Showing 1 - 11 results of 11 for search '"Science"', query time: 0.47s Refine Results
  1. 1
    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....”
    Conference Proceeding Book
  2. 2
    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....”
    Connect to the full text of this electronic book
    Conference Proceeding Book
  3. 3
    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....”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  4. 4
    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
  5. 5
    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
  6. 6
    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
  7. 7
    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
  8. 8
    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
  9. 9
    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
  10. 10
    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
  11. 11
    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