3 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ç
000DEFAULTTR
Yazdır
1. 
Current topics in computational molecular biology için kapak resmi
Current topics in computational molecular biology
Current topics in computational molecular biology
Yazar 
Zhang, Michael Q.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267403
Format: 
Electronic Resources
Alıntı: 
Molecular biology -- Mathematics.
2. 
The art of insight in science and engineering : mastering complexity için kapak resmi
The art of insight in science and engineering : mastering complexity
The art of insight in science and engineering : mastering complexity
Yazar 
Mahajan, Sanjoy, 1969-, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6940411
Format: 
Electronic Resources
Alıntı: 
The art of insight in science and engineering : mastering complexity / Mahajan, Sanjoy, 1969
3. 
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
Tümünü Seç
3 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