Arama Sonuçları - Barthe, Gilles

  • Gösterilen 1 - 3 sonuçlar arası kayıtlar. 3
Sonuçları Daraltın
  1. 1

    Programming languages and systems 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011,...

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


    Kapak Resmi
  2. 2

    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


    Kapak Resmi
  3. 3

    Security and Trust Management 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers

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


    Kapak Resmi

Arama Araçları: