Arama Sonuçları Calculus. - Daraltılmış: Logic design.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCalculus.$0026qf$003dSUBJECT$002509Konu$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300?dt=list2024-12-26T01:32:43ZPattern Calculus Computing with Functions and Structuresent://SD_ILS/0/SD_ILS:1892152024-12-26T01:32:43Z2024-12-26T01:32:43ZYazar Jay, Barry. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89185-7">http://dx.doi.org/10.1007/978-3-540-89185-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Abstract Computing Machines A Lambda Calculus Perspectiveent://SD_ILS/0/SD_ILS:1813602024-12-26T01:32:43Z2024-12-26T01:32:43ZYazar Kluge, W. author. Brauer, W. editor. Rozenberg, G. editor. Salomaa, A. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/b138965">http://dx.doi.org/10.1007/b138965</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>A Modular Calculus for the Average Cost of Data Structuringent://SD_ILS/0/SD_ILS:1670502024-12-26T01:32:43Z2024-12-26T01:32:43ZYazar Schellekens, Michel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-73384-5">http://dx.doi.org/10.1007/978-0-387-73384-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 17-21. 2007, Advanced Lecturesent://SD_ILS/0/SD_ILS:1873212024-12-26T01:32:43Z2024-12-26T01:32:43ZYazar George, Chris W. editor. Liu, Zhiming. editor. Woodcock, Jim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74964-6">http://dx.doi.org/10.1007/978-3-540-74964-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:1870582024-12-26T01:32:43Z2024-12-26T01:32:43ZYazar Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>