Search Results for Construction. - Narrowed by: Computer networks .SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dConstruction.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bnetworks$0025C2$0025A0.$002509Computer$002bnetworks$0025C2$0025A0.$0026te$003dILS$0026ps$003d300?dt=list2026-04-05T16:22:18ZTools 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-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor 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-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor 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-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor 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/>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-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor 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-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor 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-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor 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/>3rd International Congress of Electrical and Computer Engineering ICECENG 2024ent://SD_ILS/0/SD_ILS:6103172026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Seyman, Muhammet Nuri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88999-8">https://doi.org/10.1007/978-3-031-88999-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>2nd International Congress of Electrical and Computer Engineeringent://SD_ILS/0/SD_ILS:6029072026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Seyman, Muhammet Nuri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52760-9">https://doi.org/10.1007/978-3-031-52760-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applicationsent://SD_ILS/0/SD_ILS:6109222026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Tomlinson, Martin. author. Tjhai, Cen Jung. author. Ambroze, Marcel A. author. Ahmed, Mohammed. author. Jibril, Mubarak. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51103-0">https://doi.org/10.1007/978-3-319-51103-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rendezvous in Distributed Systems Theory, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:6169882026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3680-4">https://doi.org/10.1007/978-981-10-3680-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Reversible Computingent://SD_ILS/0/SD_ILS:6133092026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Morita, Kenichi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-4-431-56606-9">https://doi.org/10.1007/978-4-431-56606-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communication in Critical Embedded Systems First Workshop, WoCCES 2013, Brasília, Brazil, May, 10, 2013, Second Workshop, WoCCES 2014, Florianópolis, Brazil, May 9, 2014, Third Workshop, WoCCES 2015, Vitória, Brazil, May 22, 2015, 4th Workshop, WoCCES 2016, Salvador, Brazil, June 3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6132722026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Branco, Kalinka. editor. Pinto, Alex. editor. Pigatto, Daniel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61403-8">https://doi.org/10.1007/978-3-319-61403-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Connectomics in NeuroImaging First International Workshop, CNI 2017, Held in Conjunction with MICCAI 2017, Quebec City, QC, Canada, September 14, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6162872026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Wu, Guorong. editor. Laurienti, Paul. editor. Bonilha, Leonardo. editor. Munsell, Brent C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67159-8">https://doi.org/10.1007/978-3-319-67159-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Logic for Computingent://SD_ILS/0/SD_ILS:6177912026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Seiffertt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56839-3">https://doi.org/10.1007/978-3-319-56839-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Developing Modular-Oriented Simulation Models Using System Dynamics Librariesent://SD_ILS/0/SD_ILS:6177122026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Karl, Christian K. author. Ibbs, William. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33169-0">https://doi.org/10.1007/978-3-319-33169-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:6149062026-04-05T16:22:18Z2026-04-05T16:22:18ZAuthor Göbel, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-11765-8">https://doi.org/10.1007/978-3-658-11765-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>