Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
Materyal Türü
Dil
Yayın Yılı
-
Konu
Electronic books.
(14)
Formal methods (Computer science)
(12)
Artificial intelligence.
(3)
Computer software -- Development.
(3)
Artificial Intelligence (incl. Robotics).
(2)
Kütüphane
Lokasyon
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
16 sonuç bulundu Arama sonuçlarına abone ol
0000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Verification techniques for system-level design için kapak resmi
      13. 
      Verification techniques for system-level design
      by 
      Fujita, Masahiro, 1956-
      ScienceDirect https://www.sciencedirect.com/science/book/9780123706164
      Format: 
      Alıntı: 
      Formal methods (Computer science)
      Real-life Applications with Membrane Computing için kapak resmi
      14. 
      Real-life Applications with Membrane Computing
      by 
      Zhang, Gexiang. author.
      http://dx.doi.org/10.1007/978-3-319-55989-6
      Format: 
      Alıntı: 
      -to-date guide for all researchers, PhDs and undergraduate students in the fields of computer science
      Current Trends on Knowledge-Based Systems için kapak resmi
      15. 
      Current Trends on Knowledge-Based Systems
      by 
      Alor-Hernández, Giner. editor.
      http://dx.doi.org/10.1007/978-3-319-51905-0
      Format: 
      Alıntı: 
      from various disciplines within Computer Science, including Knowledge Engineering, Natural Language
      Computability, complexity, logic için kapak resmi
      16. 
      Computability, complexity, logic
      by 
      Börger, E. (Egon), 1946-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444874061
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128
      Format: 
      Alıntı: 
      knowledge of computer science and particularly of complexity theory. It is both a textbook for introductory