Search Results for Model theory. - Narrowed by: Computer networks .SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dModel$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026ps$003d300?2026-06-16T18:05:16ZWireless Rechargeable Sensor Networks for Internet of Things Theories and Technical Paradigmsent://SD_ILS/0/SD_ILS:6061592026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor 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/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part Ient://SD_ILS/0/SD_ILS:6081602026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIent://SD_ILS/0/SD_ILS:6081612026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part IIIent://SD_ILS/0/SD_ILS:6081652026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedingsent://SD_ILS/0/SD_ILS:6088352026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94634-9">https://doi.org/10.1007/978-3-031-94634-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling of Antenna and Waveguide Devices for Wireless and Satellite Communications Systemsent://SD_ILS/0/SD_ILS:6066892026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Islamov, Islam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-79010-2">https://doi.org/10.1007/978-3-031-79010-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management 16th International Conference, DHM 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6087422026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93508-4">https://doi.org/10.1007/978-3-031-93508-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6082962026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6082972026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6083202026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Application and Theory of Petri Nets and Concurrency 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedingsent://SD_ILS/0/SD_ILS:6039182026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Kristensen, Lars Michael. editor. van der Werf, Jan Martijn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61433-0">https://doi.org/10.1007/978-3-031-61433-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6020142026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-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-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor 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/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6031452026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6031512026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:6031522026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</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-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor 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/>Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6122442026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68783-4">https://doi.org/10.1007/978-3-319-68783-4</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-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor 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/>Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maudeent://SD_ILS/0/SD_ILS:6174612026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</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-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor 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/>Web Information Systems Engineering - WISE 2017 18th International Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6183562026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Bouguettaya, Athman. editor. Gao, Yunjun. editor. Klimenko, Andrey. editor. Chen, Lu. editor. Zhang, Xiangliang. editor. (orcid)0000-0002-3574-5665<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68786-5">https://doi.org/10.1007/978-3-319-68786-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Overlapping Coalition Formation Games in Wireless Communication Networksent://SD_ILS/0/SD_ILS:6151542026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Wang, Tianyu. author. Song, Lingyang. author. Saad, Walid. author. Han, Zhu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25700-6">https://doi.org/10.1007/978-3-319-25700-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Map Framework A Formal Model of Maps as a Fundamental Data Type in Information Systemsent://SD_ILS/0/SD_ILS:6159052026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor McKenney, Mark. author. Schneider, Markus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46766-5">https://doi.org/10.1007/978-3-319-46766-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proceedings of the 4th International Conference on Computer Engineering and Networks CENet2014ent://SD_ILS/0/SD_ILS:5302442026-06-16T18:05:16Z2026-06-16T18:05:16ZAuthor Wong, W. Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11104-9">https://doi.org/10.1007/978-3-319-11104-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>