Search Results for Software engineering. - Narrowed by: MIT Press, publisher. - Computer programming. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSoftware$002bengineering.$0026qf$003dAUTHOR$002509Yazar$002509MIT$002bPress$00252C$002bpublisher.$002509MIT$002bPress$00252C$002bpublisher.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ic$003dtrue$0026ps$003d300? 2024-08-08T13:40:15Z Press on : principles of interaction programming ent://SD_ILS/0/SD_ILS:14517 2024-08-08T13:40:15Z 2024-08-08T13:40:15Z 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/> The computer boys take over : computers, programmers, and the politics of technical expertise ent://SD_ILS/0/SD_ILS:14650 2024-08-08T13:40:15Z 2024-08-08T13:40:15Z 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/> Automatic algorithm recognition and replacement : a new approach to program optimization ent://SD_ILS/0/SD_ILS:14584 2024-08-08T13:40:15Z 2024-08-08T13:40:15Z 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/> A small matter of programming : perspectives on end user computing ent://SD_ILS/0/SD_ILS:14588 2024-08-08T13:40:15Z 2024-08-08T13:40:15Z 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/> Generating language-based environments ent://SD_ILS/0/SD_ILS:14496 2024-08-08T13:40:15Z 2024-08-08T13:40:15Z 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/> Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant ent://SD_ILS/0/SD_ILS:14866 2024-08-08T13:40:15Z 2024-08-08T13:40:15Z 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/>