Search ResultsElektronik Kaynaklar
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
4 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.
      Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991 için kapak resmi
      1. 
      Formal description techniques, IV : proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
      by 
      IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (4th : 1991 : Sydney, N.S.W.)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444894021
      Format: 
      Alıntı: 
      Computer programming -- Congresses.
      Formal languages, automata and numeration systems 1 : applications to recognizability and decidability için kapak resmi
      2. 
      Formal languages, automata and numeration systems 2 için kapak resmi
      3. 
      Formal languages, automata and numeration systems 2
      by 
      Rigo, Michel, author.
      Click to View
      Format: 
      Alıntı: 
      Computer programming.
      Computability, complexity, and languages : fundamentals of theoretical computer science için kapak resmi
      4. 
      Computability, complexity, and languages : fundamentals of theoretical computer science
      by 
      Davis, Martin, 1928-
      ScienceDirect http://www.sciencedirect.com/science/book/9780122063800
      Format: 
      Alıntı: 
      Computable Functions; 1. A Programming Language; 2. Some Examples of Programs; 3. Syntax; 4. Computable