Search Results for Theory of Computation. - Narrowed by: EnglishSirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheory$002bof$002bComputation.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026pe$003dd$00253A$0026ps$003d300?dt=list2024-12-27T08:47:07ZTheory of computationent://SD_ILS/0/SD_ILS:2993912024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Tourlakis, George J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Theory of Computationent://SD_ILS/0/SD_ILS:1754342024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Kozen, Dexter C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical theory of computationent://SD_ILS/0/SD_ILS:400602024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Manna, Zohar.<br/>Preferred Shelf Number QA 76.6 M356 1974<br/>Format: Books<br/>Availability Beytepe Library~2<br/>Elements of Computation Theoryent://SD_ILS/0/SD_ILS:1759872024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Singh, Arindama. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The theory of computationent://SD_ILS/0/SD_ILS:746142024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Moret, Bernard M.<br/>Preferred Shelf Number QA 267 M67 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to the theory of computationent://SD_ILS/0/SD_ILS:3134572024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Sipser, Michael.<br/>Preferred Shelf Number QA267 S56 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory and computation of electromagnetic fieldsent://SD_ILS/0/SD_ILS:2683902024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Jin, Jian-Ming.<br/>Preferred Shelf Number QC665.E4 J56 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory of automata languages and computationent://SD_ILS/0/SD_ILS:3860072024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Kumar, Rajendra.<br/>Preferred Shelf Number QA267 K86 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory and Computation of Hydrodynamic Stabilityent://SD_ILS/0/SD_ILS:2382382024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Criminale, W. O.. Jackson, T. L.. Joslin, R. D..<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511550317">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and theory of computation handbookent://SD_ILS/0/SD_ILS:2886952024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Atallah, Mikhail J.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781420049503">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Elements of the theory of computationent://SD_ILS/0/SD_ILS:1241252024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Lewis, Harry R. Papadimitriou, Christos H.<br/>Preferred Shelf Number QA267 .L49 1998<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to the theory of computationent://SD_ILS/0/SD_ILS:279612024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Engeler, Erwin.<br/>Preferred Shelf Number QA 267.5.S4 E53 1973<br/>Format: Books<br/>Availability Beytepe Library~1<br/>The Language of Design Theory and Computationent://SD_ILS/0/SD_ILS:1758772024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Dong, Andy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The computation and theory of optimal controlent://SD_ILS/0/SD_ILS:2568502024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Dyer, Peter. McReynolds, Stephen R.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780122262500">http://www.sciencedirect.com/science/book/9780122262500</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520842.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 24th International Symposium, FCT 2023, Trier, Germany, September 18-21, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5211952024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521195.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Gopal, T.V. editor. Watada, Junzo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Energy Limits in Computation A Review of Landauer’s Principle, Theory and Experimentsent://SD_ILS/0/SD_ILS:4846442024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Lent, Craig S. editor. Orlov, Alexei O. editor. Porod, Wolfgang. editor. Snider, Gregory L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865072024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Baier, Christel. editor. (orcid)0000-0002-5321-9343 Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(519161.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518912.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519117.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Gopal, T V. editor. Agrawal, Manindra. editor. Li, Angsheng. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Dershowitz, Nachum. editor. Nissan, Ephraim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Bacon, Dave. editor. Martin-Delgado, Miguel. editor. Roetteler, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Muscholl, Anca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Pfenning, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334358.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Iwama, Kazuo. editor. Kawano, Yasuhito. editor. Murao, Mio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334022.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Chan, T-H. Hubert. editor. Lau, Lap Chi. editor. Trevisan, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334564.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Bunemanent://SD_ILS/0/SD_ILS:3351382024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Tannen, Val. editor. Wong, Limsoon. editor. Libkin, Leonid. editor. Fan, Wenfei. editor. Tan, Wang-Chiew. editor.<br/>Preferred Shelf Number ONLINE(335138.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335433.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349012024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Gąsieniec, Leszek. editor. Wolter, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334901.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Agrawal, Manindra. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Electromagnetic Properties of Multiphase Dielectrics A Primer on Modeling, Theory and Computationent://SD_ILS/0/SD_ILS:1964422024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Zohdi, Tarek I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Dynamics of Charged Particulate Systems Modeling, Theory and Computationent://SD_ILS/0/SD_ILS:1964662024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Zohdi, Tarek I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Nishizaki, Shin-ya. editor. Numao, Masayuki. editor. Caro, Jaime. editor. Suarez, Merlin Teodosia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Ogihara, Mitsunori. editor. Tarui, Jun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1951922024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Owe, Olaf. editor. Steffen, Martin. editor. Telle, Jan Arne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Dam, Wim. editor. Kendon, Vivien M. editor. Severini, Simone. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Pillars of Computation Theory State, Encoding, Nondeterminisment://SD_ILS/0/SD_ILS:1647272024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Rosenberg, Arnold L. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Information, Computation and Cryptography An Introductory Survey of Theory, Technology and Experimentsent://SD_ILS/0/SD_ILS:1918352024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Benatti, Fabio. editor. Fannes, Mark. editor. Floreanini, Roberto. editor. Petritis, Dimitri. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Kratochvíl, Jan. editor. Li, Angsheng. editor. Fiala, Jiří. editor. Kolman, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Models of Computation An Introduction to Computability Theoryent://SD_ILS/0/SD_ILS:1759732024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Childs, Andrew. editor. Mosca, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Practice of Econometric Theory An Examination of the Characteristics of Econometric Computationent://SD_ILS/0/SD_ILS:1874542024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Renfro, Charles G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Chen, Jianer. editor. Cooper, S. Barry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Kutyłowski, Mirosław. editor. Charatonik, Witold. editor. Gębala, Maciej. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and theory of computation handbook. Special topics and techniquesent://SD_ILS/0/SD_ILS:2916792024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Atallah, Mikhail J. Blanton, Marina.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781584888215">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithms and theory of computation handbook. General concepts and techniquesent://SD_ILS/0/SD_ILS:2916802024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Atallah, Mikhail J. Blanton, Marina.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781584888239">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Kawano, Yasuhito. editor. Mosca, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Reconfigurable computing the theory and practice of FPGA-based computationent://SD_ILS/0/SD_ILS:1490562024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Hauck, Scott. DeHon, André.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780123705228">http://www.sciencedirect.com/science/book/9780123705228</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Relativistic Quantum Theory of Atoms and Molecules Theory and Computationent://SD_ILS/0/SD_ILS:1660862024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Grant, I. P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1870962024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Csuhaj-Varjú, Erzsébet. editor. Ésik, Zoltán. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Li, Angsheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11750321">http://dx.doi.org/10.1007/11750321</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Aceto, Luca. editor. Ingólfsdóttir, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Liśkiewicz, Maciej. editor. Reischuk, Rüdiger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11537311">http://dx.doi.org/10.1007/11537311</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial intelligence and mathematical theory of computation papers in honor of John McCarthyent://SD_ILS/0/SD_ILS:2578862024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor McCarthy, John, 1927-2011. Lifschitz, Vladimir.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780124500105">http://www.sciencedirect.com/science/book/9780124500105</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor International FCT-Conference (1983 : Borgholm, Sweden) Karpiński, Marek, 1948- Leeuwen, J. van (Jan)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444876478">http://www.sciencedirect.com/science/book/9780444876478</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Finite element solution of boundary value problems : theory and computationent://SD_ILS/0/SD_ILS:367072024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Axelsson, O. Barker, V. A., ort. yaz.<br/>Preferred Shelf Number QA 379 A9 1984<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Mathematical systems theory in biology, communications, computation, and financeent://SD_ILS/0/SD_ILS:938022024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor 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/>Preferred Shelf Number QA 402 I583 2002<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworksent://SD_ILS/0/SD_ILS:5204692024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Tran-Dang, Hoa. author. Kim, Dong-Seong. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520469.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520873.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Correia, João. editor. Smith, Stephen. editor. Qaddoura, Raneem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520932.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520976.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212962024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521296.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5191682024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519168.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Nyberg, Kaisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519219.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.<br/>Preferred Shelf Number XX(518837.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Machine Learning for Audio, Image and Video Analysis Theory and Applicationsent://SD_ILS/0/SD_ILS:5183692024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518369.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518913.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Ganguly, Sumit. editor. Krishnamurti, Ramesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518978.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to imprecise probabilitiesent://SD_ILS/0/SD_ILS:3417452024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Augustin, Thomas, editor.<br/>Preferred Shelf Number ONLINE(341745.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~1<br/>Limits of computation an introduction to the undecidable and the intractableent://SD_ILS/0/SD_ILS:2862662024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Reiter, Edna E. (Edna Elizabeth) Johnson, Clayton Matthew.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439882078">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Optimal supervisory control of automated manufacturing systemsent://SD_ILS/0/SD_ILS:2872782024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Chen, Yufeng, author. Li, ZhiWu, 1967- author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466577541">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete dynamical systems and chaotic machines theory and applicationsent://SD_ILS/0/SD_ILS:2917402024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Bahi, Jacques Mohcine. Guyeux, Christophe.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781466554511">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Glass, Kristin. editor. Colbaugh, Richard. editor. Ormerod, Paul. editor. Tsao, Jeffrey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332975.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Decentralized Spatial Computing Foundations of Geosensor Networksent://SD_ILS/0/SD_ILS:3333642024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Duckham, Matt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333364.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333688.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Martí-Oliet, Narciso. editor. Palomino, Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334465.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Massively Parallel Evolutionary Computation on GPGPUsent://SD_ILS/0/SD_ILS:3345072024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334507.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Distributed Algorithms for Message-Passing Systemsent://SD_ILS/0/SD_ILS:3345422024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Raynal, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334542.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Fellows, Michael. editor. Tan, Xuehou. editor. Zhu, Binhai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334663.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350322024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Grossi, Davide. editor. Roy, Olivier. editor. Huang, Huaxin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335032.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discoveryent://SD_ILS/0/SD_ILS:3305672024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor de Moura, Carlos A. editor. Kubrusly, Carlos S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330567.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Applied Self-Organizing Systemsent://SD_ILS/0/SD_ILS:3311482024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Prokopenko, Mikhail. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331148.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Optimization in Space Engineeringent://SD_ILS/0/SD_ILS:3315142024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Fasano, Giorgio. editor. Pintér, János D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331514.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Quantum Walks and Search Algorithmsent://SD_ILS/0/SD_ILS:3320082024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Portugal, Renato. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332008.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice Xent://SD_ILS/0/SD_ILS:3321352024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Riolo, Rick. editor. Vladislavleva, Ekaterina. editor. Ritchie, Marylyn D. editor. Moore, Jason H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332135.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Informationent://SD_ILS/0/SD_ILS:3330742024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Cicalese, Ferdinando. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333074.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Analyzing Evolutionary Algorithms The Computer Science Perspectiveent://SD_ILS/0/SD_ILS:3330752024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Jansen, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333075.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundationsent://SD_ILS/0/SD_ILS:3335142024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Raynal, Michel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333514.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Computing Nature Turing Centenary Perspectiveent://SD_ILS/0/SD_ILS:3343872024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Dodig-Crnkovic, Gordana. editor. Giovagnoli, Raffaela. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334387.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Dolev, Shlomi. editor. Oltean, Mihai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334567.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334841.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedingsent://SD_ILS/0/SD_ILS:3349732024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Karhumäki, Juhani. editor. Lepistö, Arto. editor. Zamboni, Luca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334973.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010ent://SD_ILS/0/SD_ILS:3351042024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Lipton, Richard J. author. Regan, Kenneth W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335104.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Combinatorial Search: From Algorithms to Systemsent://SD_ILS/0/SD_ILS:3351092024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Hamadi, Youssef. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335109.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applicationsent://SD_ILS/0/SD_ILS:3352082024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Gavrilova, Marina L. editor. Tan, C. J. Kenneth. editor. Abraham, Ajith. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335208.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Liu, Zhiming. editor. Woodcock, Jim. editor. Zhu, Huibiao. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334837.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Heckel, Reiko. editor. Milius, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334910.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical and algorithmic foundations of the Internetent://SD_ILS/0/SD_ILS:2852122024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Luccio, Fabrizio, 1938- Pagli, Linda. Steel, Graham, 1977-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439831397">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:2851882024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Hitzler, Pascal. Seda, Anthony.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439829622">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Couveignes, Jean-Marc. Edixhoven, B. (Bas), 1962-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://www.jstor.org/stable/10.2307/j.ctt7rzmb">http://www.jstor.org/stable/10.2307/j.ctt7rzmb</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated EEG-based diagnosis of neurological disorders inventing the future of neurologyent://SD_ILS/0/SD_ILS:2869512024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Adeli, Hojjat, 1950- Ghosh-Dastidar, Samanwoy.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9781439815328">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic and evolutionary computation medical applicationsent://SD_ILS/0/SD_ILS:3189632024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Smith, Stephen L., 1962- Cagnoni, Stefano, 1961-<br/>Preferred Shelf Number ONLINE(318963.1)<br/>Electronic Access 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: Electronic Resources<br/>Availability Online Library~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-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor 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/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://marc.crcnetbase.com/isbn/9789047418627">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum computation and quantum informationent://SD_ILS/0/SD_ILS:3732042024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Nielsen, Michael A. 1974- Chuang, Isaac L., 1968-<br/>Preferred Shelf Number QA76.889 N54 2005<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Multiple view geometry in computer visionent://SD_ILS/0/SD_ILS:5063552024-12-27T08:47:07Z2024-12-27T08:47:07ZAuthor Hartley, Richard, author. Zisserman, Andrew, author.<br/>Preferred Shelf Number ONLİNE<br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>