Search ResultsElektronik Kaynaklar
Arama Sonuçlarını Sınırlandır
Yazar
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ç
Eylem Seç
3 sonuç bulundu Arama sonuçlarına abone ol
000DEFAULTTR
Yazdır
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
    Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
      Rudiments of [mu]-calculus için kapak resmi
      1. 
      Rudiments of [mu]-calculus
      by 
      Arnold, A. (André), 1945-
      ScienceDirect https://www.sciencedirect.com/science/book/9780444506207
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=146
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/146
      Format: 
      Alıntı: 
      Rudiments of [mu]-calculus / Arnold, A. (André), 1945-
      Computability, complexity, and languages : fundamentals of theoretical computer science için kapak resmi
      2. 
      Computability, complexity, and languages : fundamentals of theoretical computer science
      by 
      Davis, Martin, 1928-
      ScienceDirect http://www.sciencedirect.com/science/book/9780122063800
      Format: 
      Alıntı: 
      . Closure Properties; PART 3: LOGIC; CHAPTER 11. Propositional Calculus; 1. Formulas and Assignments; 2
      Handbook of process algebra için kapak resmi
      3. 
      Handbook of process algebra
      by 
      Bergstra, J. A.
      ScienceDirect https://www.sciencedirect.com/science/book/9780444828309
      Format: 
      Alıntı: 
      -State Processes. A symbolic approach to value-passing processes (Ingolfsdottir, Lin). An introduction to the pi-calculus