Arama Sonuçları Model theory. - Daraltılmış: Computer engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dModel$002btheory.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bengineering.$002509Computer$002bengineering.$0026ps$003d300?dt=list2026-03-21T05:40:26ZModel Order Reduction: Theory, Research Aspects and Applicationsent://SD_ILS/0/SD_ILS:1882592026-03-21T05:40:26Z2026-03-21T05:40:26ZYazar Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-78841-6">http://dx.doi.org/10.1007/978-3-540-78841-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Wireless Rechargeable Sensor Networks for Internet of Things Theories and Technical Paradigmsent://SD_ILS/0/SD_ILS:6061592026-03-21T05:40:26Z2026-03-21T05:40:26ZYazar Lin, Chi. author. (orcid)0000-0002-0302-5102 Sun, Yu. author. (orcid)0000-0002-2823-8251 Yang, Wei. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-97-9543-7">https://doi.org/10.1007/978-981-97-9543-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Petri Nets and Other Models of Concurrency XVIIent://SD_ILS/0/SD_ILS:6023262026-03-21T05:40:26Z2026-03-21T05:40:26ZYazar Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Proceedings of International Conference on Computational Intelligence ICCI 2021ent://SD_ILS/0/SD_ILS:5273882026-03-21T05:40:26Z2026-03-21T05:40:26ZYazar Tiwari, Ritu. editor. Pavone, Mario F. editor. Ravindranathan Nair, Ranjith. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-19-2126-1">https://doi.org/10.1007/978-981-19-2126-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Space Information Networks First International Conference, SINC 2016, Kunming, China, August 24-25, 2016. Revised Selected Papersent://SD_ILS/0/SD_ILS:6147842026-03-21T05:40:26Z2026-03-21T05:40:26ZYazar Yu, Quan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-4403-8">https://doi.org/10.1007/978-981-10-4403-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6178122026-03-21T05:40:26Z2026-03-21T05:40:26ZYazar Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>