4 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ç
0000DEFAULTTR
Yazdır
1. 
Concepts, techniques, and models of computer programming için kapak resmi
Concepts, techniques, and models of computer programming
Concepts, techniques, and models of computer programming
Yazar 
Van-Roy, Peter, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353
Format: 
Electronic Resources
Alıntı: 
Concepts, techniques, and models of computer programming / Van-Roy, Peter, author.
2. 
Generating language-based environments için kapak resmi
Generating language-based environments
Generating language-based environments
Yazar 
Reps, Thomas W., (Thomas William) author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325
Format: 
Electronic Resources
Alıntı: 
Programming languages (Electronic computers) -- Semantics.
3. 
A small matter of programming : perspectives on end user computing için kapak resmi
A small matter of programming : perspectives on end user computing
A small matter of programming : perspectives on end user computing
Yazar 
Nardi, Bonnie A., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418
Format: 
Electronic Resources
Alıntı: 
A small matter of programming : perspectives on end user computing / Nardi, Bonnie A., author.
4. 
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant için kapak resmi
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant
Yazar 
Chlipala, Adam, 1981-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486
Format: 
Electronic Resources
Alıntı: 
Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
Tümünü Seç
4 sonuç bulundu Arama sonuçlarına abone ol

TED Üniversitesi

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

Powered by Informascope