Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Materyal Türü
Dil
Yayın Yılı
-
Konu
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
5 sonuç bulundu Arama sonuçlarına abone ol
00000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      by 
      Nijenhuis, Albert.
      Format: 
      Alıntı: 
      Canbinatorial analysis Applications of computer systems Programs
      by 
      Clarke, David (David K.)
      Format: 
      Alıntı: 
      Groundwater -- Computer programs.
      by 
      McReynolds, Tom.
      Format: 
      Alıntı: 
      -photorealistic techniques, and many others. * Code fragments are used in the book, and full blown example programs for
      by 
      Rich, Charles, 1951-
      Format: 
      Alıntı: 
      : Introduction to Program Verification; Chapter 5: Mechanical proofs about computer programs; Publisher Summary
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page