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$0026ps$003d300?2025-12-14T10:53:13ZTheory of computationent://SD_ILS/0/SD_ILS:2993912025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1754342025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:400602025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1759872025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:746142025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:3134572025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Sipser, Michael.<br/>Preferred Shelf Number QA267 S56 2013<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory of automata languages and computationent://SD_ILS/0/SD_ILS:3860072025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Kumar, Rajendra.<br/>Preferred Shelf Number QA267 K86 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory and computation of electromagnetic fieldsent://SD_ILS/0/SD_ILS:2683902025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Jin, Jian-Ming.<br/>Preferred Shelf Number QC665.E4 J56 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Theory and Computation of Hydrodynamic Stabilityent://SD_ILS/0/SD_ILS:2382382025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Elements of the theory of computationent://SD_ILS/0/SD_ILS:1241252025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:279612025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1758772025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:2568502025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:5208422025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Kupferman, Orna. editor. Sobocinski, Pawel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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:5211952025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Fernau, Henning. editor. Jansen, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Fundamentals of Computation Theory 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4865072025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Theory and Applications of Models of Computation 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4844782025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:4846442025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:4830522025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:4006072025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5191172025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Jain, Rahul. editor. Jain, Sanjay. editor. Stephan, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Fundamentals of Computation Theory 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5189122025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Kosowski, Adrian. editor. Walukiewicz, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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:5191612025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Pitts, Andrew. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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:4889492025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:4890342025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:4890632025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, Proceedingsent://SD_ILS/0/SD_ILS:4855152025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:3340222025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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 Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedingsent://SD_ILS/0/SD_ILS:3354332025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:3343582025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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 and Applications of Models of Computation 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345642025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349012025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Bunemanent://SD_ILS/0/SD_ILS:3351382025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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 Applications of Models of Computation 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedingsent://SD_ILS/0/SD_ILS:1968032025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1964422025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1964662025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:2039722025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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 of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papersent://SD_ILS/0/SD_ILS:1937962025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedingsent://SD_ILS/0/SD_ILS:1945172025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1951922025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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 and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedingsent://SD_ILS/0/SD_ILS:1923762025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>The Pillars of Computation Theory State, Encoding, Nondeterminisment://SD_ILS/0/SD_ILS:1647272025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1918352025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Algorithms and theory of computation handbook. Special topics and techniquesent://SD_ILS/0/SD_ILS:5410672025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Atallah, Mikhail J. Blanton, Marina.<br/>Preferred Shelf Number QA76.9 .A43 A433 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781584888215">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Algorithms and theory of computation handbook. General concepts and techniquesent://SD_ILS/0/SD_ILS:5470352025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Atallah, Mikhail J. Blanton, Marina.<br/>Preferred Shelf Number QA76.9 .A43 A432 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781584888239">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Models of Computation An Introduction to Computability Theoryent://SD_ILS/0/SD_ILS:1759732025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>The Practice of Econometric Theory An Examination of the Characteristics of Econometric Computationent://SD_ILS/0/SD_ILS:1874542025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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 of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papersent://SD_ILS/0/SD_ILS:1914502025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedingsent://SD_ILS/0/SD_ILS:1901892025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1906132025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Reconfigurable computing the theory and practice of FPGA-based computationent://SD_ILS/0/SD_ILS:1490562025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:1883672025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:1892412025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Relativistic Quantum Theory of Atoms and Molecules Theory and Computationent://SD_ILS/0/SD_ILS:1660862025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1865572025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:1870962025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:1836002025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedingsent://SD_ILS/0/SD_ILS:1839092025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005. Proceedingsent://SD_ILS/0/SD_ILS:1829592025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:2578862025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:2568962025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:367072025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:938022025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Algorithms and Data Structures 18th International Symposium, WADS 2023, Montreal, QC, Canada, July 31 - August 2, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5208732025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Morin, Pat. editor. Suri, Subhash. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Smart Trends in Computing and Communications Proceedings of SmartCom 2023, Volume 2ent://SD_ILS/0/SD_ILS:5278872025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Senjyu, Tomonobu. editor. So-In, Chakchai. editor. Joshi, Amit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0838-7">https://doi.org/10.1007/978-981-99-0838-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fourier Optics and Computational Imagingent://SD_ILS/0/SD_ILS:5282062025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Khare, Kedar. author. Butola, Mansi. author. Rajora, Sunaina. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-18353-9">https://doi.org/10.1007/978-3-031-18353-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Software Defect Predictionent://SD_ILS/0/SD_ILS:5290652025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Jing, Xiao-Yuan. author. Chen, Haowen. author. Xu, Baowen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2842-2">https://doi.org/10.1007/978-981-99-2842-2</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:5212962025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Information is Energy Definition of a physically based concept of informationent://SD_ILS/0/SD_ILS:5279192025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Pagel, Lienhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-40862-6">https://doi.org/10.1007/978-3-658-40862-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Cooperative and Distributed Intelligent Computation in Fog Computing Concepts, Architectures, and Frameworksent://SD_ILS/0/SD_ILS:5204692025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Tran-Dang, Hoa. author. Kim, Dong-Seong. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5209762025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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:5209322025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Correia, João. editor. Smith, Stephen. editor. Qaddoura, Raneem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Theoretical and computational research in the 21st centuryent://SD_ILS/0/SD_ILS:5431522025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Islam, Nazmul, editor.<br/>Preferred Shelf Number QA76.27 .T44 2015<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781482252743">Click here to view.</a><br/>Format: Books<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:5191682025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Proceedings of Fourth International Conference on Soft Computing for Problem Solving SocProS 2014, Volume 1ent://SD_ILS/0/SD_ILS:5292012025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Das, Kedar Nath. editor. Deep, Kusum. editor. Pant, Millie. editor. Bansal, Jagdish Chand. editor. Nagar, Atulya. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2217-0">https://doi.org/10.1007/978-81-322-2217-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Calculus of Life Towards a Theory of Lifeent://SD_ILS/0/SD_ILS:5300622025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Moya, Andrés. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16970-5">https://doi.org/10.1007/978-3-319-16970-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Encyclopedia of Computational Neuroscienceent://SD_ILS/0/SD_ILS:5302842025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Jaeger, Dieter. editor. Jung, Ranu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-6675-8">https://doi.org/10.1007/978-1-4614-6675-8</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:5189782025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Ganguly, Sumit. editor. Krishnamurti, Ramesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Machine Learning for Audio, Image and Video Analysis Theory and Applicationsent://SD_ILS/0/SD_ILS:5183692025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Camastra, Francesco. author. Vinciarelli, Alessandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Web Technologies and Applications 17th Asia-Pacific Web Conference, APWeb 2015, Guangzhou, China, September 18-20, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5188372025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Cheng, Reynold. editor. Cui, Bin. editor. Zhang, Zhenjie. editor. Cai, Ruichu. editor. Xu, Jia. editor.<br/>Preferred Shelf Number ONLINE<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/>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:5189132025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>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:5192192025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Nyberg, Kaisa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<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/>Introduction to imprecise probabilitiesent://SD_ILS/0/SD_ILS:3417452025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Formal languages and computation : models and their applicationsent://SD_ILS/0/SD_ILS:5457272025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Meduna, Alexander, 1957- author. Taylor and Francis.<br/>Preferred Shelf Number QA267.3<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466513495">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Optimal supervisory control of automated manufacturing systemsent://SD_ILS/0/SD_ILS:5436352025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Chen, Yufeng, author. Li, ZhiWu, 1967- author.<br/>Preferred Shelf Number TS183 .C483 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466577541">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Discrete dynamical systems and chaotic machines : theory and applicationsent://SD_ILS/0/SD_ILS:5457152025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Bahi, Jacques Mohcine., author. Guyeux, Christophe.<br/>Preferred Shelf Number QA76.9 .A25 B344 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466554511">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>The Courant–Friedrichs–Lewy (CFL) Condition 80 Years After Its Discoveryent://SD_ILS/0/SD_ILS:3305672025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:3311482025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:3315142025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Genetic Programming Theory and Practice Xent://SD_ILS/0/SD_ILS:3321352025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:3328222025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papersent://SD_ILS/0/SD_ILS:3329752025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Fault-Tolerant Search Algorithms Reliable Computation with Unreliable Informationent://SD_ILS/0/SD_ILS:3330742025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:3330752025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:3344652025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:3345072025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:3346632025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Transactions on Computational Science XXI Special Issue on Innovations in Nature-Inspired Computing and Applicationsent://SD_ILS/0/SD_ILS:3352082025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Quantum Walks and Search Algorithmsent://SD_ILS/0/SD_ILS:3320082025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Decentralized Spatial Computing Foundations of Geosensor Networksent://SD_ILS/0/SD_ILS:3333642025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340382025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Concurrent Programming: Algorithms, Principles, and Foundations Algorithms, Principles, and Foundationsent://SD_ILS/0/SD_ILS:3335142025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Computing Nature Turing Centenary Perspectiveent://SD_ILS/0/SD_ILS:3343872025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Distributed Algorithms for Message-Passing Systemsent://SD_ILS/0/SD_ILS:3345422025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:3345672025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Theories of Programming and Formal Methods Essays Dedicated to Jifeng He on the Occasion of His 70th Birthdayent://SD_ILS/0/SD_ILS:3348372025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>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:3348412025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Algebra and Coalgebra in Computer Science 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3349102025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Combinatorics on Words 9th International Conference, WORDS 2013, Turku, Finland, September 16-20. Proceedingsent://SD_ILS/0/SD_ILS:3349732025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedingsent://SD_ILS/0/SD_ILS:3350322025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010ent://SD_ILS/0/SD_ILS:3351042025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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:3351092025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Limits of computation : an introduction to the undecidable and the intractableent://SD_ILS/0/SD_ILS:5412002025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Reiter, Edna E. (Edna Elizabeth), author. Johnson, Clayton Matthew.<br/>Preferred Shelf Number QA267.7 .R445 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439882078">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Distributed sensor networksent://SD_ILS/0/SD_ILS:5451262025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Iyengar, S. S. (Sundararaja S.) Brooks, R. R. (Richard R.)<br/>Preferred Shelf Number TK7872 .D48 D5734 2013<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429165818">https://www.taylorfrancis.com/books/9780429165818</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematical and algorithmic foundations of the Internetent://SD_ILS/0/SD_ILS:5397392025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Luccio, Fabrizio, 1938, author. Pagli, Linda. Steel, Graham, 1977-<br/>Preferred Shelf Number TK5105.875 .I57 L835 2012<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439831397">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Mathematical aspects of logic programming semanticsent://SD_ILS/0/SD_ILS:5417042025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Hitzler, Pascal., author. Seda, Anthony.<br/>Preferred Shelf Number QA76.63 .H58 2011<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439829622">Click here to view.</a><br/>Format: Books<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:3754622025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Living on the Edge : 28 Papers in Honour of Jonathan Kayeent://SD_ILS/0/SD_ILS:5342452025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Abu-Mansour, Mahasen, contributor. Cassimjee, Farida, contributor. Charette, Monik, contributor. Cobb, Margaret, contributor. Cristófaro-Silva, Thaïs, contributor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1515/9783110890563">https://doi.org/10.1515/9783110890563</a>
<a href="https://www.degruyter.com/isbn/9783110890563">https://www.degruyter.com/isbn/9783110890563</a>
Cover <a href="https://www.degruyter.com/document/cover/isbn/9783110890563/original">https://www.degruyter.com/document/cover/isbn/9783110890563/original</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:5410032025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Adeli, Hojjat, 1950, author. Ghosh-Dastidar, Samanwoy.<br/>Preferred Shelf Number RC386.6 .E43 A98 2010<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439815328">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Genetic and evolutionary computation medical applicationsent://SD_ILS/0/SD_ILS:3189632025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>Computational analysis of randomness in structural mechanicsent://SD_ILS/0/SD_ILS:5402352025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Bucher, Christian., author.<br/>Preferred Shelf Number TA647 .B93 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781134140954">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Chemical reactivity theory : a density functional viewent://SD_ILS/0/SD_ILS:5469812025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Chattaraj, Pratim Kumar., author.<br/>Preferred Shelf Number QD462.6 .D45 C43 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420065442">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Linear control theory : structure, robustness, and optimizationent://SD_ILS/0/SD_ILS:5464962025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Bhattacharyya, S. P. (Shankar P.), 1946-, author. Datta, Aniruddha, 1963- Keel, L. H. (Lee H.)<br/>Preferred Shelf Number TJ220 .B43 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420019612">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Mathematics of quantum computation and quantum technologyent://SD_ILS/0/SD_ILS:5420422025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Chen, Goong, 1950- Kauffman, Louis H., 1945- Lomonaco, Samuel J.<br/>Preferred Shelf Number QA76.889 .M383 2008<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781584889007">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of approximation algorithms and metaheurististicsent://SD_ILS/0/SD_ILS:5420452025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Gonzalez, Teofilo F.<br/>Preferred Shelf Number QA76.9 .A43 H36 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420010749">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of linear algebraent://SD_ILS/0/SD_ILS:5419982025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Hogben, Leslie.<br/>Preferred Shelf Number QA184.2 .H36 2007<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420010572">Click here to view.</a><br/>Format: Books<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 Metent://SD_ILS/0/SD_ILS:5386822025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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 Q183.9 .I524 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9789047418627">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of elliptic and hyperelliptic curve cryptographyent://SD_ILS/0/SD_ILS:5475392025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Cohen, Henri. Frey, Gerhard, 1944- Avanzi, Roberto.<br/>Preferred Shelf Number QA567.2 .E44 H36 2006 EB<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420034981">https://www.taylorfrancis.com/books/9781420034981</a>
Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367801625">https://www.taylorfrancis.com/books/9780367801625</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Quantum computation and quantum informationent://SD_ILS/0/SD_ILS:3732042025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor 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/>The industrial information technology handbookent://SD_ILS/0/SD_ILS:5454872025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Zurawski, Richard.<br/>Preferred Shelf Number T58.5 .I513 2005<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420036336">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of computational group theoryent://SD_ILS/0/SD_ILS:5450692025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Holt, Derek F., author. Eick, Bettina. O'Brien, Eamonn A.<br/>Preferred Shelf Number QA174.2 .H65 2005<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420035216">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Handbook of discrete and computational geometryent://SD_ILS/0/SD_ILS:5399992025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Goodman, Jacob E. O'Rourke, Joseph.<br/>Preferred Shelf Number QA167 .H36 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420035315">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Wavelets and multiwaveletsent://SD_ILS/0/SD_ILS:5433142025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Keinert, Fritz., author.<br/>Preferred Shelf Number QA403.3 .K45 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781135441937">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Multiple view geometry in computer visionent://SD_ILS/0/SD_ILS:5063552025-12-14T10:53:13Z2025-12-14T10:53:13ZAuthor Hartley, Richard, author. Zisserman, Andrew, author.<br/>Preferred Shelf Number ONLİNE<br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>