Arama Sonuçları Theory of Computation.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dTheory$002bof$002bComputation.$0026ic$003dtrue$0026ps$003d300?dt=list2024-11-22T21:35:17ZTheory of computationent://SD_ILS/0/SD_ILS:2993912024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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/>Mathematical theory of computationent://SD_ILS/0/SD_ILS:400602024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Manna, Zohar.<br/>Yer Numarası QA 76.6 M356 1974<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~2<br/>Elements of Computation Theoryent://SD_ILS/0/SD_ILS:1759872024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar 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/>The theory of computationent://SD_ILS/0/SD_ILS:746142024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Moret, Bernard M.<br/>Yer Numarası QA 267 M67 1998<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to the theory of computationent://SD_ILS/0/SD_ILS:3134572024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Sipser, Michael.<br/>Yer Numarası QA267 S56 2013<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Theory and computation of electromagnetic fieldsent://SD_ILS/0/SD_ILS:2498742024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar 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 electromagnetic fieldsent://SD_ILS/0/SD_ILS:2683902024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Jin, Jian-Ming.<br/>Yer Numarası QC665.E4 J56 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Theory of automata languages and computationent://SD_ILS/0/SD_ILS:3860072024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Kumar, Rajendra.<br/>Yer Numarası QA267 K86 2010<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Theory and Computation of Hydrodynamic Stabilityent://SD_ILS/0/SD_ILS:2382382024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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/>Elements of the theory of computationent://SD_ILS/0/SD_ILS:1241252024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Lewis, Harry R. Papadimitriou, Christos H.<br/>Yer Numarası QA267 .L49 1998<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Introduction to the theory of computationent://SD_ILS/0/SD_ILS:279612024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Engeler, Erwin.<br/>Yer Numarası QA 267.5.S4 E53 1973<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>The Language of Design Theory and Computationent://SD_ILS/0/SD_ILS:1758772024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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/>Finite element solution of boundary value problems : theory and computationent://SD_ILS/0/SD_ILS:367072024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Axelsson, O. Barker, V. A., ort. yaz.<br/>Yer Numarası QA 379 A9 1984<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Mathematical systems theory in biology, communications, computation, and financeent://SD_ILS/0/SD_ILS:938022024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar International Symposium on the Mathematical Theory of Networks and Systems (15th : 2002 : University of Notre Dame) Rosenthal, Joachim, 1961- ed. Gilliam, David S., 1946- ed.<br/>Yer Numarası QA 402 I583 2002<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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-22T21:35:17Z2024-11-22T21:35:17ZYazar 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/>Quantum computation and quantum informationent://SD_ILS/0/SD_ILS:3732042024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-<br/>Yer Numarası QA76.889 N54 2005<br/>Format: Kitap<br/>Durum Beytepe Kütüphanesi~1<br/>Multiple view geometry in computer visionent://SD_ILS/0/SD_ILS:5063552024-11-22T21:35:17Z2024-11-22T21:35:17ZYazar Hartley, Richard, author. Zisserman, Andrew, author.<br/>Yer Numarası ONLİNE<br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>