7 sonuç bulundu
Tümünü Seç
0000000DEFAULTTR
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.
Yazar
Schneidewind, Norman, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6168884
Format:
Electronic Resources
Alıntı:
Computer, network, software, and hardware engineering with applications / Schneidewind, Norman
Yazar
Abran, Alain, 1949- author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7111424
Format:
Electronic Resources
Alıntı:
Software project estimation : the fundamentals for providng high quality information to decision
Yazar
Zomaya, Albert Y.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7043957
Format:
Electronic Resources
Alıntı:
Software approaches 370 -- 13.4 Using Nonvolatile Memory and Solid-State Disks 371 -- 13.5 Conclusions 372
7 sonuç bulundu
Arama Sonuçlarını Sınırlandır
Daraltılmış: