Gösterilen 21 - 30 sonuçlar arası kayıtlar. 34 sonuç. Aranan kelime '"Formal methods (Computer science)."', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 21

    Formal aspects of security and trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal aspects of security and trust 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
  2. 22

    Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal concept analysis 9th International Conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011. Proceedings
  3. 23

    Formal grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
  4. 24

    Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Formal methods and software engineering 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
  5. 25

    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

    Yayımlandı Springer eBooks. (2011)
    Available for University of the Philippine Diliman via Springerlink. Click here to access
    Electronic Resource

    Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings
  6. 26

    Specification of software systems Yazar: Alagar, Vangalur S. 1940-

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Specification of software systems
  7. 27

    Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers

    Baskı/Yayın Bilgisi 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Web services and formal methods 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010: revised selected papers
  8. 28

    Teamwork in multi-agent systems a formal approach Yazar: Dunin-Kȩplicz, Barbara

    Baskı/Yayın Bilgisi 2010
    Kitap

    Teamwork in multi-agent systems a formal approach
  9. 29

    Teamwork in multi-agent systems a formal approach Yazar: Dunin-Kȩplicz, Barbara, Verbrugge, Rineke

    Baskı/Yayın Bilgisi 2010
    Available for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access
    Also available remotely for University of the Philippines Diliman College of Engineering via IEEE Xplore. Click here to access thru EZproxy
    Electronic Resource

    Teamwork in multi-agent systems a formal approach
  10. 30

    Process algebra for parallel and distributed processing

    Baskı/Yayın Bilgisi 2009
    Kitap

    Process algebra for parallel and distributed processing

Arama Araçları: