Search Results for - Narrowed by: MIT Press - Computer programming. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253AMITPRESS$002509MIT$002bPress$0026qf$003dSUBJECT$002509Konu$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ps$003d300? 2024-05-18T18:49:29Z Processing : a programming handbook for visual designers and artists ent://SD_ILS/0/SD_ILS:14918 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Reas, Casey, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7008153</a><br/>Format:&#160;Electronic Resources<br/> Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant ent://SD_ILS/0/SD_ILS:14866 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Chlipala, Adam, 1981-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6712486</a><br/>Format:&#160;Electronic Resources<br/> The computer boys take over : computers, programmers, and the politics of technical expertise ent://SD_ILS/0/SD_ILS:14650 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Ensmenger, Nathan, 1972-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267480</a><br/>Format:&#160;Electronic Resources<br/> Press on : principles of interaction programming ent://SD_ILS/0/SD_ILS:14517 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Thimbleby, Harold, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267346">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267346</a><br/>Format:&#160;Electronic Resources<br/> Generating language-based environments ent://SD_ILS/0/SD_ILS:14496 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Reps, Thomas W., (Thomas William) author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325</a><br/>Format:&#160;Electronic Resources<br/> Concepts, techniques, and models of computer programming ent://SD_ILS/0/SD_ILS:14524 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Van-Roy, Peter, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267353</a><br/>Format:&#160;Electronic Resources<br/> How to design programs : an introduction to programming and computing ent://SD_ILS/0/SD_ILS:14430 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Felleisen, Matthias.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267257">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267257</a><br/>Format:&#160;Electronic Resources<br/> Automatic algorithm recognition and replacement : a new approach to program optimization ent://SD_ILS/0/SD_ILS:14584 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Metzger, Robert C., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267414">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267414</a><br/>Format:&#160;Electronic Resources<br/> Structure and interpretation of computer programs ent://SD_ILS/0/SD_ILS:14743 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Abelson, Harold, author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276830</a><br/>Format:&#160;Electronic Resources<br/> A small matter of programming : perspectives on end user computing ent://SD_ILS/0/SD_ILS:14588 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Nardi, Bonnie A., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267418</a><br/>Format:&#160;Electronic Resources<br/> Algorithm animation ent://SD_ILS/0/SD_ILS:14404 2024-05-18T18:49:29Z 2024-05-18T18:49:29Z Yazar&#160;Brown, Marc H., author.<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267231">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267231</a><br/>Format:&#160;Electronic Resources<br/>