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.
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
View Other Search Results
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
Arama Sonuçlarını Sınırlandır
Daraltılmış: