Search Results for Models of Computation. - Narrowed by: 2011SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dModels$002bof$002bComputation.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092011$0025092011$0026te$003dILS$0026ps$003d300?2025-12-12T20:14:29ZEmbedded Systems Design Based on Formal Models of Computationent://SD_ILS/0/SD_ILS:2061132025-12-12T20:14:29Z2025-12-12T20:14:29ZAuthor Radojevic, Ivan. author. Salcic, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1594-3">http://dx.doi.org/10.1007/978-94-007-1594-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945172025-12-12T20:14:29Z2025-12-12T20:14:29ZAuthor Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1948482025-12-12T20:14:29Z2025-12-12T20:14:29ZAuthor Löwe, Benedikt. editor. Normann, Dag. editor. Soskov, Ivan. editor. Soskova, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21875-0">http://dx.doi.org/10.1007/978-3-642-21875-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling and computation in engineering : proceedings of the International Conference on Modelling and Computation in Engineering, CMCE 2010, Hong Kong, 6-7 November 2010ent://SD_ILS/0/SD_ILS:5442692025-12-12T20:14:29Z2025-12-12T20:14:29ZAuthor International Conference on Modelling and Computation in Engineering (2010 : Hong Kong, China) Zhu, Jinrong.<br/>Preferred Shelf Number TA342 .I58 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781136818240">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Introduction to contextual processing : theory and applicationsent://SD_ILS/0/SD_ILS:5466962025-12-12T20:14:29Z2025-12-12T20:14:29ZAuthor Vert, Gregory., author. Iyengar, S. S. (Sundararaja S.) Phoha, Vir V.<br/>Preferred Shelf Number QA76.5913 .V47 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439834695">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:5417042025-12-12T20:14:29Z2025-12-12T20:14:29ZAuthor Hitzler, Pascal., author. Seda, Anthony.<br/>Preferred Shelf Number QA76.63 .H58 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439829622">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>