116 sonuç bulundu Arama sonuçlarına abone ol
Tümünü Seç
Liste görünümüne geç
Küçük resim görünümüne geç
000000000000DEFAULTTR
Yazdır
1. 
Concrete Semantics With Isabelle/HOL için kapak resmi
Concrete Semantics With Isabelle/HOL
Concrete Semantics With Isabelle/HOL
Yazar 
Nipkow, Tobias. author.
http://dx.doi.org/10.1007/978-3-319-10542-0
Format: 
Electronic Resources
Alıntı: 
Programming languages (Electronic computers).
2. 
Formal Languages and Compilation için kapak resmi
Formal Languages and Compilation
Formal Languages and Compilation
Yazar 
Crespi Reghizzi, Stefano. author.
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Electronic Resources
Alıntı: 
Programming languages (Electronic computers).
Tümünü Seç
116 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(116)
Duan, Zhenhua. editor.
(3)
Liu, Shaoying. editor.
(3)
Margaria, Tiziana. editor.
(3)
Ábrahám, Erika. editor.
(3)
Format
Dil
English
(116)
Basım Yılı
Konu
Programming Languages, Compilers, Interpreters.
(112)
Mathematical logic.
(110)
Programming languages (Electronic computers).
(110)
Software engineering.
(103)
Computer logic.
(102)
Materyal Türü
Lokasyon
Kütüphane

TED Üniversitesi

Ziya Gökalp Caddesi No.48 06420, Kolej Çankaya Ankara Tel: +90 312 585 0083

Powered by Informascope