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. 
Advanced research in VLSI : proceedings of the fifth MIT conference, March 1988 için kapak resmi
Advanced research in VLSI : proceedings of the fifth MIT conference, March 1988
Advanced research in VLSI : proceedings of the fifth MIT conference, March 1988
Yazar 
Allen, Jonathan, 1934-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276833
Format: 
Electronic Resources
Alıntı: 
devices.Jonathan Allen is Professor in the Department of Electrical Engineering and Computer Science and Director
2. 
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.
3. 
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
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ı: 
adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing
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