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