Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Yılı
-
Konu
Electronic books.
(17)
Computer software -- Verification.
(6)
Computer software -- Verification -- Congresses.
(4)
COMPUTERS -- Computer Literacy.
(2)
COMPUTERS -- Computer Science.
(2)
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
18 sonuç bulundu Arama sonuçlarına abone ol
000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Advances in computers. Vol. 65. için kapak resmi
      13. 
      Advances in computers. Vol. 65.
      by 
      Zelkowitz, Marvin V., 1945-
      to access electronic resource
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121656
      Format: 
      Alıntı: 
      -- Chapter 2. Software model checking with SPIN by Gerard J. Holzmann -- Chapter 3. Early Cognitive Computer
      Knowledge-based systems : techniques and applications için kapak resmi
      14. 
      Knowledge-based systems : techniques and applications
      by 
      Leondes, Cornelius T.
      ScienceDirect http://www.sciencedirect.com/science/book/9780124438750
      Fulltext
      Format: 
      Alıntı: 
      Application to Robust Manfacturing Systems. -- Performance Evaluation and Tuning of UNIX Based Software
      Stability of structures : principles and applications için kapak resmi
      15. 
      Stability of structures : principles and applications
      by 
      Yoo, Chai Hong.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123851222
      Format: 
      Alıntı: 
      presentation of the development Computer programs will be made available through the senior author's web page.
      Reliability in computing : the role of interval methods in scientific computing için kapak resmi
      16. 
      Reliability in computing : the role of interval methods in scientific computing
      by 
      Moore, Ramon E.
      ScienceDirect https://www.sciencedirect.com/science/book/9780125056304
      Format: 
      Alıntı: 
      . Implementations; 4. Software Support; 5. Conclusions; References; Chapter 6. Algorithms for Verified Inclusions
      Digital forensics for legal professionals understanding digital evidence from the warrant to the courtroom için kapak resmi
      17. 
      Digital forensics for legal professionals understanding digital evidence from the warrant to the courtroom
      by 
      Daniel, Larry (Larry E.)
      ScienceDirect An electronic book accessible through the World Wide Web; click for information
      Format: 
      Alıntı: 
      . Metadata Chapter 28. Thumbnails and the Thumbnail Cache Chapter 29. Deleted Data Chapter 30. Computer Time
      Stability of structures principles and applications için kapak resmi
      18. 
      Stability of structures principles and applications
      by 
      Yoo, Chai Hong.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123851222
      Format: 
      Alıntı: 
      presentation of the development Computer programs will be made available through the senior author's web page.
      Go to:Search Results
      |
      Search Facets
      |
      Top of Page