Arama Sonuçları Construction. - Daraltılmış: Algorithms.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dConstruction.$0026qf$003dSUBJECT$002509Konu$002509Algorithms.$002509Algorithms.$0026ps$003d300$0026isd$003dtrue?dt=list2026-03-22T05:46:06ZTools 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-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Abrial, Jean-Raymond. editor. Glässer, Uwe. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computationent://SD_ILS/0/SD_ILS:6088592026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design and optimization for 5G wireless communicationsent://SD_ILS/0/SD_ILS:5959342026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Kim, Haesik, author.<br/>Yer Numarası TK5103.25 .K56 2020<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119494492</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analog automation and digital feedback control techniquesent://SD_ILS/0/SD_ILS:5944332026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Mbihi, Jean.<br/>Yer Numarası TJ213<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452836</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advanced techniques and technology of computer-aided feedback controlent://SD_ILS/0/SD_ILS:5945512026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Mbihi, Jean, author.<br/>Yer Numarası TJ216<br/>Elektronik Erişim <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119452959</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Error-Correction Coding and Decoding Bounds, Codes, Decoders, Analysis and Applicationsent://SD_ILS/0/SD_ILS:6109222026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Tomlinson, Martin. author. Tjhai, Cen Jung. author. Ambroze, Marcel A. author. Ahmed, Mohammed. author. Jibril, Mubarak. author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Rendezvous in Distributed Systems Theory, Algorithms and Applicationsent://SD_ILS/0/SD_ILS:6169882026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Gu, Zhaoquan. author. Wang, Yuexuan. author. Hua, Qiang-Sheng. author. Lau, Francis C.M. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Göbel, Susanne. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Hameurlain, Abdelkader. editor. Küng, Josef. editor. Wagner, Roland. editor. Bellatreche, Ladjel. editor. Mohania, Mukesh. editor.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Handbook of algorithms for physical design automationent://SD_ILS/0/SD_ILS:5428512026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Alpert, Charles J. Mehta, Dinesh P. Sapatnekar, Sachin S., 1967-<br/>Yer Numarası TK7874.55 .H36 2009<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781420013481">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>Partial-update adaptive filters and adaptive signal processing design analysis and implementationent://SD_ILS/0/SD_ILS:1483012026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Doğançay, Kutluyıl.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123741967">http://www.sciencedirect.com/science/book/9780123741967</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Evolutionary algorithms in molecular designent://SD_ILS/0/SD_ILS:3006712026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Clark, David E., 1966- Wiley InterScience (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim John Wiley <a href="http://dx.doi.org/10.1002/9783527613168">http://dx.doi.org/10.1002/9783527613168</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Iterative methods for diffractive optical elements computationent://SD_ILS/0/SD_ILS:5401422026-03-22T05:46:06Z2026-03-22T05:46:06ZYazar Soifer, V. A. (Viktor Aleksandrovich), author. Doskolovich, Leonid. Kotlyar, Victor.<br/>Yer Numarası QC372.2 .D4 S65 1997<br/>Elektronik Erişim <a href="https://www.taylorfrancis.com/books/9781482272918">Click here to view.</a><br/>Format: Kitap<br/>Durum Çevrimiçi Kütüphane~1<br/>