Search Results for Construction. - Narrowed by: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dConstruction.$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?2026-05-18T02:20:54ZTools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part Ient://SD_ILS/0/SD_ILS:6159302026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54577-5">https://doi.org/10.1007/978-3-662-54577-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part IIent://SD_ILS/0/SD_ILS:6170272026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54580-5">https://doi.org/10.1007/978-3-662-54580-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4831002026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54862-8">https://doi.org/10.1007/978-3-642-54862-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1916882026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11447-2">http://dx.doi.org/10.1007/978-3-642-11447-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computationent://SD_ILS/0/SD_ILS:6088592026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88946-2">https://doi.org/10.1007/978-3-031-88946-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design and optimization for 5G wireless communicationsent://SD_ILS/0/SD_ILS:5959342026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Kim, Haesik, author.<br/>Preferred Shelf Number TK5103.25 .K56 2020<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Analog automation and digital feedback control techniquesent://SD_ILS/0/SD_ILS:5944332026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Mbihi, Jean.<br/>Preferred Shelf Number TJ213<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced techniques and technology of computer-aided feedback controlent://SD_ILS/0/SD_ILS:5945512026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Mbihi, Jean, author.<br/>Preferred Shelf Number TJ216<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959</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-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor 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-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor 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/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:6149062026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor 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/>Transactions on Large-Scale Data- and Knowledge-Centered Systems XXVI Special Issue on Data Warehousing and Knowledge Discoveryent://SD_ILS/0/SD_ILS:6173432026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Bellatreche, Ladjel. editor. Mohania, Mukesh. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49784-5">https://doi.org/10.1007/978-3-662-49784-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Handbook of algorithms for physical design automationent://SD_ILS/0/SD_ILS:5428512026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Alpert, Charles J. Mehta, Dinesh P. Sapatnekar, Sachin S., 1967-<br/>Preferred Shelf Number TK7874.55 .H36 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420013481">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Partial-update adaptive filters and adaptive signal processing design analysis and implementationent://SD_ILS/0/SD_ILS:1483012026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Doğançay, Kutluyıl.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123741967">http://www.sciencedirect.com/science/book/9780123741967</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary algorithms in molecular designent://SD_ILS/0/SD_ILS:3006712026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Clark, David E., 1966- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access John Wiley <a href="http://dx.doi.org/10.1002/9783527613168">http://dx.doi.org/10.1002/9783527613168</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Iterative methods for diffractive optical elements computationent://SD_ILS/0/SD_ILS:5401422026-05-18T02:20:54Z2026-05-18T02:20:54ZAuthor Soifer, V. A. (Viktor Aleksandrovich), author. Doskolovich, Leonid. Kotlyar, Victor.<br/>Preferred Shelf Number QC372.2 .D4 S65 1997<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482272918">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>