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
000000000000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Software specification methods için kapak resmi
      1. 
      Software specification methods
      by 
      Habrias, Henri.
      Click to View
      Format: 
      Alıntı: 
      Formal methods (Computer science)
      Formal methods applied to complex systems : implementation of the B method için kapak resmi
      2. 
      Formal methods applied to complex systems : implementation of the B method
      by 
      Boulanger, Jean-Louis, editor.
      Click to View
      Format: 
      Alıntı: 
      Formal methods (Computer science)
      Formal techniques for networked and distributed systems FORTE 2001 : IFIP TC6 WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea için kapak resmi
      3. 
      Principles of cyber-physical systems için kapak resmi
      4. 
      Principles of cyber-physical systems
      by 
      Alur, Rajeev, 1966- author.
      Click to View
      Format: 
      Alıntı: 
      Formal methods (Computer science)
      Teamwork in multi-agent systems a formal approach için kapak resmi
      5. 
      Teamwork in multi-agent systems a formal approach
      by 
      Dunin-Kȩplicz, Barbara.
      Click to View
      Format: 
      Alıntı: 
      Formal methods (Computer science)
      Communicating embedded systems software and design : formal methods için kapak resmi
      6. 
      Communicating embedded systems software and design : formal methods
      by 
      Jard, Claude.
      Click to View
      Format: 
      Alıntı: 
      Formal methods (Computer science)
      Verification techniques for system-level design için kapak resmi
      7. 
      Verification techniques for system-level design
      by 
      Fujita, Masahiro, 1956-
      Click to View
      Format: 
      Alıntı: 
      Formal methods (Computer science)
      Modeling and verification using UML statecharts a working guide to reactive system design, runtime monitoring, and execution-based model checking için kapak resmi
      8. 
      Formal method industrial use from model to the code için kapak resmi
      9. 
      Formal method industrial use from model to the code
      by 
      Boulanger, Jean-Louis.
      Click to View
      Format: 
      Alıntı: 
      Formal methods (Computer science)
      Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking için kapak resmi
      10. 
      Computers in language research 2 için kapak resmi
      11. 
      Computers in language research 2
      by 
      Sedelow, Walter A.
      Click to View
      Format: 
      Alıntı: 
      Formal methods (Computer science)
      Cafe : an industrial-strength algebraic formal method için kapak resmi
      12. 
      Cafe : an industrial-strength algebraic formal method
      by 
      Futatsugi, Kokichi.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444505569
      Format: 
      Alıntı: 
      Formal methods (Computer science) -- Congresses.