Search Results for Model theory. - Narrowed by: Computer engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dModel$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bengineering.$002509Computer$002bengineering.$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-21T14:19:24ZModel Order Reduction: Theory, Research Aspects and Applicationsent://SD_ILS/0/SD_ILS:1882592026-03-21T14:19:24Z2026-03-21T14:19:24ZAuthor Schilders, Wilhelmus H. A. editor. Vorst, Henk A. editor. Rommes, Joost. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Wireless Rechargeable Sensor Networks for Internet of Things Theories and Technical Paradigmsent://SD_ILS/0/SD_ILS:6061592026-03-21T14:19:24Z2026-03-21T14:19:24ZAuthor Lin, Chi. author. (orcid)0000-0002-0302-5102 Sun, Yu. author. (orcid)0000-0002-2823-8251 Yang, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Petri Nets and Other Models of Concurrency XVIIent://SD_ILS/0/SD_ILS:6023262026-03-21T14:19:24Z2026-03-21T14:19:24ZAuthor Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of International Conference on Computational Intelligence ICCI 2021ent://SD_ILS/0/SD_ILS:5273882026-03-21T14:19:24Z2026-03-21T14:19:24ZAuthor Tiwari, Ritu. editor. Pavone, Mario F. editor. Ravindranathan Nair, Ranjith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-21T14:19:24Z2026-03-21T14:19:24ZAuthor Yu, Quan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-21T14:19:24Z2026-03-21T14:19:24ZAuthor Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>