Search Results for programmation. - Narrowed by: 1991
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dprogrammation.$0026qf$003dPUBDATE$002509Publication$002bDate$0025091991$0025091991$0026ic$003dtrue$0026ps$003d300?
2025-12-13T19:26:36Z
An introduction to programming with specifications a mathematical approach
ent://SD_ILS/0/SD_ILS:257756
2025-12-13T19:26:36Z
2025-12-13T19:26:36Z
Author Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124276208">http://www.sciencedirect.com/science/book/9780124276208</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial intelligence and mathematical theory of computation papers in honor of John McCarthy
ent://SD_ILS/0/SD_ILS:257886
2025-12-13T19:26:36Z
2025-12-13T19:26:36Z
Author McCarthy, John, 1927-2011. Lifschitz, Vladimir.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124500105">http://www.sciencedirect.com/science/book/9780124500105</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data-parallel programming on MIMD computers
ent://SD_ILS/0/SD_ILS:220231
2025-12-13T19:26:36Z
2025-12-13T19:26:36Z
Author Hatcher, Philip J. Quinn, Michael J. (Michael Jay)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267471">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267471</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Warren's abstract machine a tutorial reconstruction
ent://SD_ILS/0/SD_ILS:220144
2025-12-13T19:26:36Z
2025-12-13T19:26:36Z
Author Aït-Kaci, Hassan, 1954-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Basic category theory for computer scientists
ent://SD_ILS/0/SD_ILS:220245
2025-12-13T19:26:36Z
2025-12-13T19:26:36Z
Author Pierce, Benjamin C.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267469</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lazy functional languages abstract interpretation and compilation
ent://SD_ILS/0/SD_ILS:220106
2025-12-13T19:26:36Z
2025-12-13T19:26:36Z
Author Burn, Geoffrey.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267234</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>