Arama Sonuçları Theory of Computation. - Daraltılmış: Çevrimiçi KütüphaneSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTheory$002bof$002bComputation.$0026qf$003dLIBRARY$002509K$0025C3$0025BCt$0025C3$0025BCphane$0025091$00253AONLINE$002509$0025C3$002587evrimi$0025C3$0025A7i$002bK$0025C3$0025BCt$0025C3$0025BCphane$0026ps$003d300?dt=list2024-11-23T12:04:37ZTheory of computationent://SD_ILS/0/SD_ILS:2993912024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Tourlakis, George J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://proquest.safaribooksonline.com/?fpi=9781118014783">Available by subscription from Safari Books Online</a>
Ebook Library <a href="http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606">http://public.eblib.com/EBLPublic/PublicView.do?ptiID=837606</a>
Wiley <a href="http://dx.doi.org/10.1002/9781118315361">http://dx.doi.org/10.1002/9781118315361</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10560654">http://site.ebrary.com/lib/alltitles/Doc?id=10560654</a>
ebrary <a href="http://site.ebrary.com/id/10560654">http://site.ebrary.com/id/10560654</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Computationent://SD_ILS/0/SD_ILS:1754342024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Kozen, Dexter C. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/1-84628-477-5">http://dx.doi.org/10.1007/1-84628-477-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Elements of Computation Theoryent://SD_ILS/0/SD_ILS:1759872024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Singh, Arindama. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-497-3">http://dx.doi.org/10.1007/978-1-84882-497-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and computation of electromagnetic fieldsent://SD_ILS/0/SD_ILS:2498742024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Jin, Jian-Ming, 1962-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5628376">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5628376</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Computation of Hydrodynamic Stabilityent://SD_ILS/0/SD_ILS:2382382024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Criminale, W. O.. Jackson, T. L.. Joslin, R. D..<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1017/CBO9780511550317">Access by subscription</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and theory of computation handbookent://SD_ILS/0/SD_ILS:2886952024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Atallah, Mikhail J.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781420049503">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Language of Design Theory and Computationent://SD_ILS/0/SD_ILS:1758772024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Dong, Andy. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-021-0">http://dx.doi.org/10.1007/978-1-84882-021-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The computation and theory of optimal controlent://SD_ILS/0/SD_ILS:2568502024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Dyer, Peter. McReynolds, Stephen R.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780122262500">http://www.sciencedirect.com/science/book/9780122262500</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208422024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520842.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30829-1">https://doi.org/10.1007/978-3-031-30829-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211952024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521195.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-43587-4">https://doi.org/10.1007/978-3-031-43587-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4830522024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4844782024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-14812-6">https://doi.org/10.1007/978-3-030-14812-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Energy Limits in Computation A Review of Landauer’s Principle, Theory and Experimentsent://SD_ILS/0/SD_ILS:4846442024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Lent, Craig S. editor. Orlov, Alexei O. editor. Porod, Wolfgang. editor. Snider, Gregory L. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-93458-7">https://doi.org/10.1007/978-3-319-93458-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865072024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Gąsieniec, Leszek Antoni. editor. (orcid)0000-0003-1809-9814 Jansson, Jesper. editor. (orcid)0000-0001-6859-8932 Levcopoulos, Christos. editor. (orcid)0000-0003-0983-7862 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-25027-0">https://doi.org/10.1007/978-3-030-25027-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedingsent://SD_ILS/0/SD_ILS:4006072024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519117.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-17142-5">https://doi.org/10.1007/978-3-319-17142-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189122024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518912.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-22177-9">https://doi.org/10.1007/978-3-319-22177-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191612024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(519161.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 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:4889492024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Muscholl, Anca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54830-7">https://doi.org/10.1007/978-3-642-54830-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4855152024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-06089-7">https://doi.org/10.1007/978-3-319-06089-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Language, Culture, Computation: Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75 Birthday, Part Ient://SD_ILS/0/SD_ILS:4890342024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-45321-2">https://doi.org/10.1007/978-3-642-45321-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Quantum Computation, Communication, and Cryptography 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papersent://SD_ILS/0/SD_ILS:4890632024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-642-54429-3">https://doi.org/10.1007/978-3-642-54429-3</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3340222024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334022.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35656-8">http://dx.doi.org/10.1007/978-3-642-35656-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3343582024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Pfenning, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334358.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37075-5">http://dx.doi.org/10.1007/978-3-642-37075-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349012024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334901.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40164-0">http://dx.doi.org/10.1007/978-3-642-40164-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Bunemanent://SD_ILS/0/SD_ILS:3351382024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.<br/>Yer Numarası ONLINE(335138.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41660-6">http://dx.doi.org/10.1007/978-3-642-41660-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345642024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334564.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38236-9">http://dx.doi.org/10.1007/978-3-642-38236-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedingsent://SD_ILS/0/SD_ILS:3354332024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335433.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-4-431-54436-4">http://dx.doi.org/10.1007/978-4-431-54436-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Electromagnetic Properties of Multiphase Dielectrics A Primer on Modeling, Theory and Computationent://SD_ILS/0/SD_ILS:1964422024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Zohdi, Tarek I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28427-4">http://dx.doi.org/10.1007/978-3-642-28427-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Dynamics of Charged Particulate Systems Modeling, Theory and Computationent://SD_ILS/0/SD_ILS:1964662024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Zohdi, Tarek I. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-28519-6">http://dx.doi.org/10.1007/978-3-642-28519-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1968032024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-29952-0">http://dx.doi.org/10.1007/978-3-642-29952-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Practice of Computation Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 Proceedingsent://SD_ILS/0/SD_ILS:2039722024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-4-431-54106-6">http://dx.doi.org/10.1007/978-4-431-54106-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945172024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1937962024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-18073-6">http://dx.doi.org/10.1007/978-3-642-18073-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1951922024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-22953-4">http://dx.doi.org/10.1007/978-3-642-22953-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Pillars of Computation Theory State, Encoding, Nondeterminisment://SD_ILS/0/SD_ILS:1647272024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Rosenberg, Arnold L. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-09639-1">http://dx.doi.org/10.1007/978-0-387-09639-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantum Information, Computation and Cryptography An Introductory Survey of Theory, Technology and Experimentsent://SD_ILS/0/SD_ILS:1918352024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Benatti, Fabio. editor. Fannes, Mark. editor. Floreanini, Roberto. editor. Petritis, Dimitri. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-11914-9">http://dx.doi.org/10.1007/978-3-642-11914-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923762024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-13562-0">http://dx.doi.org/10.1007/978-3-642-13562-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Models of Computation An Introduction to Computability Theoryent://SD_ILS/0/SD_ILS:1759732024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Fernández, Maribel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-84882-434-8">http://dx.doi.org/10.1007/978-1-84882-434-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Practice of Econometric Theory An Examination of the Characteristics of Econometric Computationent://SD_ILS/0/SD_ILS:1874542024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Renfro, Charles G. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-75571-5">http://dx.doi.org/10.1007/978-3-540-75571-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901892024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-02017-9">http://dx.doi.org/10.1007/978-3-642-02017-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1906132024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-03409-1">http://dx.doi.org/10.1007/978-3-642-03409-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and theory of computation handbook. Special topics and techniquesent://SD_ILS/0/SD_ILS:2916792024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Atallah, Mikhail J. Blanton, Marina.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781584888215">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and theory of computation handbook. General concepts and techniquesent://SD_ILS/0/SD_ILS:2916802024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Atallah, Mikhail J. Blanton, Marina.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781584888239">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1914502024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-10698-9">http://dx.doi.org/10.1007/978-3-642-10698-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Reconfigurable computing the theory and practice of FPGA-based computationent://SD_ILS/0/SD_ILS:1490562024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Hauck, Scott. DeHon, André.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123705228">http://www.sciencedirect.com/science/book/9780123705228</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedingsent://SD_ILS/0/SD_ILS:1883672024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-79228-4">http://dx.doi.org/10.1007/978-3-540-79228-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papersent://SD_ILS/0/SD_ILS:1892412024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-89304-2">http://dx.doi.org/10.1007/978-3-540-89304-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1870962024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-74240-1">http://dx.doi.org/10.1007/978-3-540-74240-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Relativistic Quantum Theory of Atoms and Molecules Theory and Computationent://SD_ILS/0/SD_ILS:1660862024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Grant, I. P. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-387-35069-1">http://dx.doi.org/10.1007/978-0-387-35069-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1865572024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-540-72504-6">http://dx.doi.org/10.1007/978-3-540-72504-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1836002024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839092024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11750321">http://dx.doi.org/10.1007/11750321</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829592024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/11537311">http://dx.doi.org/10.1007/11537311</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial intelligence and mathematical theory of computation papers in honor of John McCarthyent://SD_ILS/0/SD_ILS:2578862024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar McCarthy, John, 1927-2011. Lifschitz, Vladimir.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124500105">http://www.sciencedirect.com/science/book/9780124500105</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Topics in the theory of computation selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983ent://SD_ILS/0/SD_ILS:2568962024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar International FCT-Conference (1983 : Borgholm, Sweden) Karpiński, Marek, 1948- Leeuwen, J. van (Jan)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876478">http://www.sciencedirect.com/science/book/9780444876478</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208732024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520873.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38906-1">https://doi.org/10.1007/978-3-031-38906-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Applications of Evolutionary Computation 26th European Conference, EvoApplications 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209322024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Correia, João. editor. Smith, Stephen. editor. Qaddoura, Raneem. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520932.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30229-9">https://doi.org/10.1007/978-3-031-30229-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212962024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)<br/>Yer Numarası XX(521296.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33469-6">https://doi.org/10.1007/978-3-031-33469-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworksent://SD_ILS/0/SD_ILS:5204692024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Tran-Dang, Hoa. author. Kim, Dong-Seong. author. SpringerLink (Online service)<br/>Yer Numarası XX(520469.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-33920-2">https://doi.org/10.1007/978-3-031-33920-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209762024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Yer Numarası XX(520976.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-38499-8">https://doi.org/10.1007/978-3-031-38499-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5188372024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.<br/>Yer Numarası XX(518837.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-25255-1">https://doi.org/10.1007/978-3-319-25255-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Topics in Cryptology -- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5192192024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Nyberg, Kaisa. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519219.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-16715-2">https://doi.org/10.1007/978-3-319-16715-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Machine Learning for Audio, Image and Video Analysis Theory and Applicationsent://SD_ILS/0/SD_ILS:5183692024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)<br/>Yer Numarası XX(518369.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-1-4471-6735-8">https://doi.org/10.1007/978-1-4471-6735-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5189132024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518913.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-662-46803-6">https://doi.org/10.1007/978-3-662-46803-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algorithms and Discrete Applied Mathematics First International Conference, CALDAM 2015, Kanpur, India, February 8-10, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5189782024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Ganguly, Sumit. editor. Krishnamurti, Ramesh. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518978.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-14974-5">https://doi.org/10.1007/978-3-319-14974-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191682024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519168.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-21042-1">https://doi.org/10.1007/978-3-319-21042-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Introduction to imprecise probabilitiesent://SD_ILS/0/SD_ILS:3417452024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Augustin, Thomas, editor.<br/>Yer Numarası ONLINE(341745.1)<br/>Elektronik Erişim Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470973813.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470973813.jpg</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=1662760">http://public.eblib.com/choice/publicfullrecord.aspx?p=1662760</a>
ebrary <a href="http://site.ebrary.com/id/10856859">http://site.ebrary.com/id/10856859</a>
John Wiley <a href="http://dx.doi.org/10.1002/9781118763117">http://dx.doi.org/10.1002/9781118763117</a>
MyiLibrary <a href="http://www.myilibrary.com?id=595066">http://www.myilibrary.com?id=595066</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Limits of computation an introduction to the undecidable and the intractableent://SD_ILS/0/SD_ILS:2862662024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439882078">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optimal supervisory control of automated manufacturing systemsent://SD_ILS/0/SD_ILS:2872782024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Chen, Yufeng, author. Li, ZhiWu, 1967- author.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466577541">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Discrete dynamical systems and chaotic machines theory and applicationsent://SD_ILS/0/SD_ILS:2917402024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Bahi, Jacques Mohcine. Guyeux, Christophe.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781466554511">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Advances in Applied Self-Organizing Systemsent://SD_ILS/0/SD_ILS:3311482024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Prokopenko, Mikhail. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331148.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4471-5113-5">http://dx.doi.org/10.1007/978-1-4471-5113-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Paule, Peter. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332822.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3329752024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332975.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Informationent://SD_ILS/0/SD_ILS:3330742024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Cicalese, Ferdinando. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333074.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17327-1">http://dx.doi.org/10.1007/978-3-642-17327-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Analyzing Evolutionary Algorithms The Computer Science Perspectiveent://SD_ILS/0/SD_ILS:3330752024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Jansen, Thomas. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333075.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-17339-4">http://dx.doi.org/10.1007/978-3-642-17339-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundationsent://SD_ILS/0/SD_ILS:3335142024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Raynal, Michel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333514.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-32027-9">http://dx.doi.org/10.1007/978-3-642-32027-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computing Nature Turing Centenary Perspectiveent://SD_ILS/0/SD_ILS:3343872024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Dodig-Crnkovic, Gordana. editor. Giovagnoli, Raffaela. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334387.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37225-4">http://dx.doi.org/10.1007/978-3-642-37225-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Distributed Algorithms for Message-Passing Systemsent://SD_ILS/0/SD_ILS:3345422024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Raynal, Michel. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334542.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38123-2">http://dx.doi.org/10.1007/978-3-642-38123-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3346632024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334663.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38756-2">http://dx.doi.org/10.1007/978-3-642-38756-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349102024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334910.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40206-7">http://dx.doi.org/10.1007/978-3-642-40206-7</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedingsent://SD_ILS/0/SD_ILS:3349732024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334973.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40579-2">http://dx.doi.org/10.1007/978-3-642-40579-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350322024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335032.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010ent://SD_ILS/0/SD_ILS:3351042024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335104.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41422-0">http://dx.doi.org/10.1007/978-3-642-41422-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Combinatorial Search: From Algorithms to Systemsent://SD_ILS/0/SD_ILS:3351092024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Hamadi, Youssef. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335109.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-41482-4">http://dx.doi.org/10.1007/978-3-642-41482-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discoveryent://SD_ILS/0/SD_ILS:3305672024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar de Moura, Carlos A. editor. Kubrusly, Carlos S. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(330567.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-0-8176-8394-8">http://dx.doi.org/10.1007/978-0-8176-8394-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic Programming Theory and Practice Xent://SD_ILS/0/SD_ILS:3321352024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332135.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6846-2">http://dx.doi.org/10.1007/978-1-4614-6846-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340382024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334038.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Recent Trends in Algebraic Development Techniques 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3344652024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334465.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37635-1">http://dx.doi.org/10.1007/978-3-642-37635-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Massively Parallel Evolutionary Computation on GPGPUsent://SD_ILS/0/SD_ILS:3345072024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334507.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-37959-8">http://dx.doi.org/10.1007/978-3-642-37959-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Optical Supercomputing 4th International Workshop, OSC 2012, in Memory of H. John Caulfield, Bertinoro, Italy, July 19-21, 2012. Revised Selected Papersent://SD_ILS/0/SD_ILS:3345672024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334567.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-38250-5">http://dx.doi.org/10.1007/978-3-642-38250-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:3348372024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334837.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39698-4">http://dx.doi.org/10.1007/978-3-642-39698-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Unifying Theories of Programming and Formal Engineering Methods International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lecturesent://SD_ILS/0/SD_ILS:3348412024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334841.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39721-9">http://dx.doi.org/10.1007/978-3-642-39721-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applicationsent://SD_ILS/0/SD_ILS:3352082024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335208.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-45318-2">http://dx.doi.org/10.1007/978-3-642-45318-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Teoria degli Automi Finitient://SD_ILS/0/SD_ILS:3356442024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Luca, Aldo. author. D’Alessandro, Flavio. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(335644.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-88-470-5474-5">http://dx.doi.org/10.1007/978-88-470-5474-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Modeling and Optimization in Space Engineeringent://SD_ILS/0/SD_ILS:3315142024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Fasano, Giorgio. editor. Pintér, János D. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(331514.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-4469-5">http://dx.doi.org/10.1007/978-1-4614-4469-5</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Quantum Walks and Search Algorithmsent://SD_ILS/0/SD_ILS:3320082024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Portugal, Renato. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(332008.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-1-4614-6336-8">http://dx.doi.org/10.1007/978-1-4614-6336-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Decentralized Spatial Computing Foundations of Geosensor Networksent://SD_ILS/0/SD_ILS:3333642024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Duckham, Matt. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333364.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-30853-6">http://dx.doi.org/10.1007/978-3-642-30853-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333688.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical and algorithmic foundations of the Internetent://SD_ILS/0/SD_ILS:2852122024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Luccio, Fabrizio, 1938- Pagli, Linda. Steel, Graham, 1977-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439831397">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:2851882024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Hitzler, Pascal. Seda, Anthony.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a primeent://SD_ILS/0/SD_ILS:3754622024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Couveignes, Jean-Marc. Edixhoven, B. (Bas), 1962-<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://www.jstor.org/stable/10.2307/j.ctt7rzmb">http://www.jstor.org/stable/10.2307/j.ctt7rzmb</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Automated EEG-based diagnosis of neurological disorders inventing the future of neurologyent://SD_ILS/0/SD_ILS:2869512024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Adeli, Hojjat, 1950- Ghosh-Dastidar, Samanwoy.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9781439815328">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Genetic and evolutionary computation medical applicationsent://SD_ILS/0/SD_ILS:3189632024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Smith, Stephen L., 1962- Cagnoni, Stefano, 1961-<br/>Yer Numarası ONLINE(318963.1)<br/>Elektronik Erişim Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=624700">http://public.eblib.com/choice/publicfullrecord.aspx?p=624700</a>
ebrary <a href="http://site.ebrary.com/id/10441473">http://site.ebrary.com/id/10441473</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=342634">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=342634</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470973134">http://dx.doi.org/10.1002/9780470973134</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Trends and perspectives in modern computational science lectures presented in the International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2006) : recognised conference by the European Society of Computational Methods in Sciences and Engineering (ESCMSE)ent://SD_ILS/0/SD_ILS:2890532024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece) Maroulis, George. Simos, T. E. European Society of Computational Methods in Science and Engineering.<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://marc.crcnetbase.com/isbn/9789047418627">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Multiple view geometry in computer visionent://SD_ILS/0/SD_ILS:5063552024-11-23T12:04:37Z2024-11-23T12:04:37ZYazar Hartley, Richard, author. Zisserman, Andrew, author.<br/>Yer Numarası ONLİNE<br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>