Search Results for Modern. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dModern.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?2026-07-22T21:43:34ZModern Compiler Designent://SD_ILS/0/SD_ILS:1744102026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Grune, Dick. author. van Reeuwijk, Kees. author. Bal, Henri E. author. Jacobs, Ceriel J.H. author. Langendoen, Koen. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4699-6">http://dx.doi.org/10.1007/978-1-4614-4699-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to Modern Sleep Technologyent://SD_ILS/0/SD_ILS:2067552026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Chiang, Rayleigh Ping-Ying. editor. Kang, Shih-Chun (Jessy). editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-5470-6">http://dx.doi.org/10.1007/978-94-007-5470-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Bootstrapping Trust in Modern Computersent://SD_ILS/0/SD_ILS:1739452026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Parno, Bryan. author. McCune, Jonathan M. author. Perrig, Adrian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1460-5">http://dx.doi.org/10.1007/978-1-4614-1460-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Modern Algebra of Information Retrievalent://SD_ILS/0/SD_ILS:1879392026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Dominich, Sándor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77659-8">http://dx.doi.org/10.1007/978-3-540-77659-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Formal Methods and Applicationsent://SD_ILS/0/SD_ILS:1691142026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Gabbar, Hossam A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4223-X">http://dx.doi.org/10.1007/1-4020-4223-X</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Accelerator Technologies for Geographic Information Scienceent://SD_ILS/0/SD_ILS:3324462026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Shi, Xuan. editor. Kindratenko, Volodymyr. editor. Yang, Chaowei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332446.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-8745-6">http://dx.doi.org/10.1007/978-1-4614-8745-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Design of Modern Heuristics Principles and Applicationent://SD_ILS/0/SD_ILS:1867032026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Rothlauf, Franz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72962-4">http://dx.doi.org/10.1007/978-3-540-72962-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Robustness and Usability in Modern Design Flowsent://SD_ILS/0/SD_ILS:1698472026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Fey, Görschwin. author. Drechsler, Rolf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6536-1">http://dx.doi.org/10.1007/978-1-4020-6536-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Electric Century How the Taming of Lightning Shaped the Modern Worldent://SD_ILS/0/SD_ILS:4013502026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Williams, J.B. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51155-9">https://doi.org/10.1007/978-3-319-51155-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Topics in Parallel and Distributed Computing Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platformsent://SD_ILS/0/SD_ILS:3994772026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Prasad, Sushil K. editor. Gupta, Anshul. editor. Rosenberg, Arnold. editor. Sussman, Alan. editor. Weems, Charles. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-93109-8">https://doi.org/10.1007/978-3-319-93109-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Mechanical Engineering Selected Contributions from the Conference “Modern Engineering: Science and Education”, Saint Petersburg, Russia, June 2017ent://SD_ILS/0/SD_ILS:4014422026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Evgrafov, Alexander N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72929-9">https://doi.org/10.1007/978-3-319-72929-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Language Models and Computation Theory with Applicationsent://SD_ILS/0/SD_ILS:6129532026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63100-4">https://doi.org/10.1007/978-3-319-63100-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Cryptography Primer Theoretical Foundations and Practical Applicationsent://SD_ILS/0/SD_ILS:3350992026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Kościelny, Czesław. author. Kurkowski, Mirosław. author. Srebrny, Marian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335099.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41386-5">http://dx.doi.org/10.1007/978-3-642-41386-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Probabilistic Methods for Analysis of Telecommunication Networks Belarusian Winter Workshops in Queueing Theory, BWWQT 2013, Minsk, Belarus, January 28-31, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340932026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Dudin, Alexander. editor. Klimenok, Valentina. editor. Tsarenkov, Gennadiy. editor. Dudin, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334093.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35980-4">http://dx.doi.org/10.1007/978-3-642-35980-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Optimization Techniques with Applications in Electric Power Systemsent://SD_ILS/0/SD_ILS:1740082026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Soliman, Soliman Abdel-Hady. author. Mantawy, Abdel-Aal Hassan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-1752-1">http://dx.doi.org/10.1007/978-1-4614-1752-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Modern Mathematical Computing With Mathematica®ent://SD_ILS/0/SD_ILS:1743872026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4253-0">http://dx.doi.org/10.1007/978-1-4614-4253-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics and Modern Art Proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010ent://SD_ILS/0/SD_ILS:1956542026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Bruter, Claude. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24497-1">http://dx.doi.org/10.1007/978-3-642-24497-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovating Government Normative, Policy and Technological Dimensions of Modern Governmentent://SD_ILS/0/SD_ILS:2056572026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor van der Hof, Simone. editor. Groothuis, Marga M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-6704-731-9">http://dx.doi.org/10.1007/978-90-6704-731-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Boolean Logic to Switching Circuits and Automata Towards Modern Information Technologyent://SD_ILS/0/SD_ILS:1917642026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Stanković, Radomir S. author. Astola, Jaakko. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11682-7">http://dx.doi.org/10.1007/978-3-642-11682-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Socially Enhanced Services Computing Modern Models and Algorithms for Distributed Systemsent://SD_ILS/0/SD_ILS:1977882026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Dustdar, Schahram. editor. Schall, Daniel. editor. Skopik, Florian. editor. Juszczyk, Lukasz. editor. Psaier, Harald. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-0813-0">http://dx.doi.org/10.1007/978-3-7091-0813-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Dot-Dash to Dot.Com How Modern Telecommunications Evolved from the Telegraph to the Internetent://SD_ILS/0/SD_ILS:1726812026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Wheen, Andrew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-6760-2">http://dx.doi.org/10.1007/978-1-4419-6760-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>An Introduction to Modern Mathematical Computing With Maple™ent://SD_ILS/0/SD_ILS:1735952026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Borwein, Jonathan M. author. Skerritt, Matthew P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0122-3">http://dx.doi.org/10.1007/978-1-4614-0122-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part Ient://SD_ILS/0/SD_ILS:1948312026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21822-4">http://dx.doi.org/10.1007/978-3-642-21822-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Approaches in Applied Intelligence 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 – July 1, 2011, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1948332026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Mehrotra, Kishan G. editor. Mohan, Chilukuri K. editor. Oh, Jae C. editor. Varshney, Pramod K. editor. Ali, Moonis. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21827-9">http://dx.doi.org/10.1007/978-3-642-21827-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Transport Telematics 11th International Conference on Transport Systems Telematics, TST 2011, Katowice-Ustroń, Poland, October 19-22, 2011. Selected Papersent://SD_ILS/0/SD_ILS:1957062026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24660-9">http://dx.doi.org/10.1007/978-3-642-24660-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Speech Processing in Modern Communication Challenges and Perspectivesent://SD_ILS/0/SD_ILS:1915882026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Cohen, Israel. editor. Benesty, Jacob. editor. Gannot, Sharon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11130-3">http://dx.doi.org/10.1007/978-3-642-11130-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Business Process Automation YAWL and its Support Environmentent://SD_ILS/0/SD_ILS:1905262026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Hofstede, Arthur H. M. editor. Aalst, Wil M. P. editor. Adams, Michael. editor. Russell, Nick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03121-2">http://dx.doi.org/10.1007/978-3-642-03121-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Roots of Modern Technology An Elegant Survey of the Basic Mathematical and Scientific Conceptsent://SD_ILS/0/SD_ILS:1918762026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Wendt, Siegfried. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12062-6">http://dx.doi.org/10.1007/978-3-642-12062-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modern Multivariate Statistical Techniques Regression, Classification, and Manifold Learningent://SD_ILS/0/SD_ILS:1675602026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Izenman, Alan J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-78189-1">http://dx.doi.org/10.1007/978-0-387-78189-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Modern Approach to Intelligent Animation Theory and Practiceent://SD_ILS/0/SD_ILS:1869552026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Zhuang, Yueting. author. Pan, Yunhe. author. Xiao, Jun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73760-5">http://dx.doi.org/10.1007/978-3-540-73760-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Beginning HTML with CSS and XHTML Modern Guide and Referenceent://SD_ILS/0/SD_ILS:1709832026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Schultz, David. author. Cook, Craig. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0350-6">http://dx.doi.org/10.1007/978-1-4302-0350-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Security, Privacy, and Trust in Modern Data Managementent://SD_ILS/0/SD_ILS:1859142026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Petković, Milan. editor. Jonker, Willem. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69861-6">http://dx.doi.org/10.1007/978-3-540-69861-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontologyent://SD_ILS/0/SD_ILS:1824982026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Lee, Raymond S. T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-30984-5">http://dx.doi.org/10.1007/3-540-30984-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering Education in the Modern Age Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lecturesent://SD_ILS/0/SD_ILS:1853992026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Inverardi, Paola. editor. Jazayeri, Mehdi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11949374">http://dx.doi.org/10.1007/11949374</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Modern Perspective on Type Theory From its Origins until Todayent://SD_ILS/0/SD_ILS:1686932026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-2335-9">http://dx.doi.org/10.1007/1-4020-2335-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Constituents of Modern System-safety Thinking Proceedings of the Thirteenth Safety-critical Systems Symposium, Southampton, UK, 8–10 February 2005ent://SD_ILS/0/SD_ILS:1752572026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Redmill, Felix. editor. Anderson, Tom. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b139109">http://dx.doi.org/10.1007/b139109</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Electromagnetic Sources and Electromagnetic Fieldsent://SD_ILS/0/SD_ILS:6023682026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Xiao, Gaobiao. author. (orcid)0000-0001-5547-9475 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9449-6">https://doi.org/10.1007/978-981-99-9449-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Introduction to the Graphical Theory of Angular Momentum Case Studiesent://SD_ILS/0/SD_ILS:1905252026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Balcar, Ewald. author. Lovesey, Stephen W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-03118-2">http://dx.doi.org/10.1007/978-3-642-03118-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Informatics and Digitalization for Sustainable Development and Well-Beingent://SD_ILS/0/SD_ILS:6095342026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Salman, Asma. editor. (orcid)0000-0002-5623-3087 Nawaz Tunio, Muhammad. editor. (orcid)0000-0003-1376-5371 Abdul Razzaq, Muthanna G. editor. (orcid)0009-0007-4831-1907 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81739-7">https://doi.org/10.1007/978-3-031-81739-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Engineering Optimisation with the Bees Algorithment://SD_ILS/0/SD_ILS:6059612026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Pham, D. T. editor. (orcid)0000-0003-3148-2404 Hartono, Natalia. editor. (orcid)0000-0003-2314-1394 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64936-3">https://doi.org/10.1007/978-3-031-64936-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papersent://SD_ILS/0/SD_ILS:6089512026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94677-6">https://doi.org/10.1007/978-3-031-94677-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papersent://SD_ILS/0/SD_ILS:6022492026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Assistive Technologies and Informatics for Students with Disabilitiesent://SD_ILS/0/SD_ILS:6065252026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Kaluri, Rajesh. editor. Mahmud, Mufti. editor. Gadekallu, Thippa Reddy. editor. (orcid)0000-0003-0097-801X Rajput, Dharmendra Singh. editor. Lakshmanna, Kuruva. editor. (orcid)0000-0003-3480-4851<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-0914-4">https://doi.org/10.1007/978-981-97-0914-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Solving Ordinary Differential Equations in Pythonent://SD_ILS/0/SD_ILS:6019462026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Sundnes, Joakim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46768-4">https://doi.org/10.1007/978-3-031-46768-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Creative approaches towards development of computing and multidisciplinary IT solutions for societyent://SD_ILS/0/SD_ILS:5993712026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Bijalwan, Anchit, editor.<br/>Preferred Shelf Number QA76 .C74 2024<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papersent://SD_ILS/0/SD_ILS:6021392026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49361-4">https://doi.org/10.1007/978-3-031-49361-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Thinking First Algorithms, Then Codeent://SD_ILS/0/SD_ILS:6054932026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-59922-4">https://doi.org/10.1007/978-3-031-59922-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Downey, Rod. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53744-8">https://doi.org/10.1007/978-3-031-53744-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Cryptography From Established Symmetric and Asymmetric Ciphers to Post-Quantum Algorithmsent://SD_ILS/0/SD_ILS:6035662026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Paar, Christof. author. Pelzl, Jan. author. Güneysu, Tim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-69007-9">https://doi.org/10.1007/978-3-662-69007-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>String Analysis for Software Verification and Securityent://SD_ILS/0/SD_ILS:6111572026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Bultan, Tevfik. author. Yu, Fang. author. Alkhalaf, Muath. author. Aydin, Abdulbaki. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68670-7">https://doi.org/10.1007/978-3-319-68670-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Augmented Reality Where We Will All Liveent://SD_ILS/0/SD_ILS:6139782026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Peddie, Jon. author. (orcid)0000-0002-3941-1822 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54502-8">https://doi.org/10.1007/978-3-319-54502-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6170342026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Applied Logic for Computer Scientists Computational Deduction and Formal Proofsent://SD_ILS/0/SD_ILS:6174652026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6162312026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Decision Procedures An Algorithmic Point of Viewent://SD_ILS/0/SD_ILS:6151752026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Autisment://SD_ILS/0/SD_ILS:6173122026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Galitsky, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39972-0">https://doi.org/10.1007/978-3-319-39972-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Encyclopedia of Algorithmsent://SD_ILS/0/SD_ILS:6175692026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Kao, Ming-Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-2864-4">https://doi.org/10.1007/978-1-4939-2864-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Metadata Shaping Knowledge from Antiquity to the Semantic Webent://SD_ILS/0/SD_ILS:6178332026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Gartner, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40893-4">https://doi.org/10.1007/978-3-319-40893-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Die Macht der Daten Wie Information unser Leben bestimmtent://SD_ILS/0/SD_ILS:3371672026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Saint-Mont, Uwe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337167.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35117-4">http://dx.doi.org/10.1007/978-3-642-35117-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Proof, Computation and Agency Logic at the Crossroadsent://SD_ILS/0/SD_ILS:2057412026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor van Benthem, Johan. editor. Gupta, Amitabha. editor. Parikh, Rohit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-0080-2">http://dx.doi.org/10.1007/978-94-007-0080-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Operational risk management a practical approach to intelligent data analysisent://SD_ILS/0/SD_ILS:3189592026-07-22T21:43:34Z2026-07-22T21:43:34ZAuthor Kenett, Ron. Raanan, Yossi.<br/>Preferred Shelf Number ONLINE(318959.1)<br/>Electronic Access <a href="http://onlinelibrary.wiley.com/book/10.1002/9780470972571">Access restricted to McGill users</a>
Ebook Library <a href="http://public.eblib.com/choice/publicfullrecord.aspx?p=589233">http://public.eblib.com/choice/publicfullrecord.aspx?p=589233</a>
ebrary <a href="http://site.ebrary.com/id/10412605">http://site.ebrary.com/id/10412605</a>
EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702</a>
John Wiley <a href="http://dx.doi.org/10.1002/9780470972571">http://dx.doi.org/10.1002/9780470972571</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>