Gösterilen 1 - 4 sonuçlar arası kayıtlar. 4 sonuç. Aranan kelime 'Dowek, Gilles', Sorgu süresi: 0.01s Sonuçları Daraltın
  1. 1

    Proofs and algorithms an introduction to logic and computability Yazar: Dowek, Gilles

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

    Proofs and algorithms an introduction to logic and computability
  2. 2

    Introduction to the theory of programming languages Yazar: Dowek, Gilles

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

    Introduction to the theory of programming languages
  3. 3

    Principles of programming languages Yazar: Dowek, Gilles

    Baskı/Yayın Bilgisi 2009
    Kitap

    Principles of programming languages
  4. 4

    Principles of programming languages Yazar: Dowek, Gilles

    Baskı/Yayın Bilgisi 2009
    Kitap

    Principles of programming languages

Arama Araçları: