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. 
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ı: 
adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing
2. 
Designing with blends : conceptual foundations of human-computer interaction and software engineering için kapak resmi
Designing with blends : conceptual foundations of human-computer interaction and software engineering
Designing with blends : conceptual foundations of human-computer interaction and software engineering
Yazar 
Imaz, Manuel, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267285
Format: 
Electronic Resources
Alıntı: 
Designing with blends : conceptual foundations of human-computer interaction and software
3. 
Neural network learning and expert systems için kapak resmi
Neural network learning and expert systems
Neural network learning and expert systems
Yazar 
Gallant, Stephen I., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267393
Format: 
Electronic Resources
Alıntı: 
report preparation. Even differential equations are entered in ordinary mathematical notation. Users need
4. 
Arguments that count : physics, computing, and missile defense, 1949-2012 için kapak resmi
Arguments that count : physics, computing, and missile defense, 1949-2012
Arguments that count : physics, computing, and missile defense, 1949-2012
Yazar 
Slayton, Rebecca, 1974-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6642238
Format: 
Electronic Resources
Alıntı: 
Software engineering -- Political aspects -- United States -- History.
Tümünü Seç
4 sonuç bulundu Arama sonuçlarına abone ol
Arama Sonuçlarını Sınırlandır
Yazar
Format
Dil
Basım Yılı
Konu
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