Search Results for University. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dUniversity.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300?dt=list2026-03-21T15:32:30ZBridging the Gap to University Mathematicsent://SD_ILS/0/SD_ILS:1757982026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Hurst, Edward. author. Gould, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-290-6">http://dx.doi.org/10.1007/978-1-84800-290-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>EC2ND 2006 Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UKent://SD_ILS/0/SD_ILS:1755442026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Blyth, Andrew. author. Sutherland, Iain. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-750-3">http://dx.doi.org/10.1007/978-1-84628-750-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>EC2ND 2005 Proceedings of the First European Conference on Computer Network Defence School of Computing, University of Glamorgan, Wales, UKent://SD_ILS/0/SD_ILS:1753962026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Blyth, Andrew. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-84628-352-3">http://dx.doi.org/10.1007/1-84628-352-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Online Engineering & Internet of Things Proceedings of the 14th International Conference on Remote Engineering and Virtual Instrumentation REV 2017, held 15-17 March 2017, Columbia University, New York, USAent://SD_ILS/0/SD_ILS:4018482026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Auer, Michael E. editor. Zutin, Danilo G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64352-6">https://doi.org/10.1007/978-3-319-64352-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sustained Simulation Performance 2012 Proceedings of the joint Workshop on High Performance Computing on Vector Systems, Stuttgart (HLRS), and Workshop on Sustained Simulation Performance, Tohoku University, 2012ent://SD_ILS/0/SD_ILS:3335772026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Resch, Michael M. editor. Wang, Xin. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor.<br/>Preferred Shelf Number ONLINE(333577.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32454-3">http://dx.doi.org/10.1007/978-3-642-32454-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Computational Science, Engineering and Information Technology Proceedings of the Third International Conference on Computational Science, Engineering and Information Technology (CCSEIT-2013), KTO Karatay University, June 7-9, 2013, Konya,Turkey - Volume 1ent://SD_ILS/0/SD_ILS:3328212026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Nagamalai, Dhinaharan. editor. Kumar, Ashok. editor. Annamalai, Annamalai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332821.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00951-3">http://dx.doi.org/10.1007/978-3-319-00951-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Sustained Simulation Performance 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013ent://SD_ILS/0/SD_ILS:3328662026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Resch, Michael M. editor. Bez, Wolfgang. editor. Focht, Erich. editor. Kobayashi, Hiroaki. editor. Kovalenko, Yevgeniya. editor.<br/>Preferred Shelf Number ONLINE(332866.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-01439-5">http://dx.doi.org/10.1007/978-3-319-01439-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Field Informatics Kyoto University Field Informatics Research Groupent://SD_ILS/0/SD_ILS:1965872026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Ishida, Toru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29006-0">http://dx.doi.org/10.1007/978-3-642-29006-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advances in Data Analysis, Data Handling and Business Intelligence Proceedings of the 32nd Annual Conference of the Gesellschaft für Klassifikation e.V., Joint Conference with the British Classification Society (BCS) and the Dutch/Flemish Classification Society (VOC), Helmut-Schmidt-University, Hamburg, July 16-18, 2008ent://SD_ILS/0/SD_ILS:1898642026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Fink, Andreas. editor. Lausen, Berthold. editor. Seidel, Wilfried. editor. Ultsch, Alfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01044-6">http://dx.doi.org/10.1007/978-3-642-01044-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Brain, Body and Machine Proceedings of an International Symposium on the Occasion of the 25th Anniversary of the McGill University Centre for Intelligent Machinesent://SD_ILS/0/SD_ILS:1932382026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Angeles, Jorge. editor. Boulet, Benoit. editor. Clark, James J. editor. Kövecses, József. editor. Siddiqi, Kaleem. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16259-6">http://dx.doi.org/10.1007/978-3-642-16259-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008ent://SD_ILS/0/SD_ILS:1703642026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8889-6">http://dx.doi.org/10.1007/978-1-4020-8889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Policies and Research in Identity Management First IFIP WG11.6 Working Conference on Policies and Research in Identity Management (IDMAN'07), RSM Erasmus University, Rotterdam, The Netherlands, October 11-12, 2007ent://SD_ILS/0/SD_ILS:1675462026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Leeuw, Elisabeth. editor. Fischer-Hübner, Simone. editor. Tseng, Jimmy. editor. Borking, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77996-6">http://dx.doi.org/10.1007/978-0-387-77996-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Future of Identity in the Information Society Proceedings of the Third IFIP WG 9.2, 9.6/11.6, 11.7/FIDIS International Summer School on The Future of Identity in the Information Society, Karlstad University, Sweden, August 4–10, 2007ent://SD_ILS/0/SD_ILS:1676442026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Fischer-Hübner, Simone. editor. Duquenoy, Penny. editor. Zuccato, Albin. editor. Martucci, Leonardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-79026-8">http://dx.doi.org/10.1007/978-0-387-79026-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Information Society: Innovation, Legitimacy, Ethics and Democracy In honor of Professor Jacques Berleur s.j. Proceedings of the Conference “Information Society: Governance, Ethics and Social Consequences”, University of Namur, Belgium 22–23 May 2006ent://SD_ILS/0/SD_ILS:1669422026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Goujon, Philippe. editor. Lavelle, Sylvian. editor. Duquenoy, Penny. editor. Kimppa, Kai. editor. Laurent, Véronique. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-72381-5">http://dx.doi.org/10.1007/978-0-387-72381-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Portrait of State-of-the-Art Research at the Technical University of Lisbonent://SD_ILS/0/SD_ILS:1695662026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Pereira, Manuel Seabra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5690-1">http://dx.doi.org/10.1007/978-1-4020-5690-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Communities and Technologies 2007 Proceedings of the Third Communities and Technologies Conference, Michigan State University 2007ent://SD_ILS/0/SD_ILS:1756222026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Steinfield, Charles. editor. Pentland, Brian T. editor. Ackerman, Mark. editor. Contractor, Noshir. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84628-905-7">http://dx.doi.org/10.1007/978-1-84628-905-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Data Analysis, Classification and the Forward Search Proceedings of the Meeting of the Classification and Data Analysis Group (CLADAG) of the Italian Statistical Society, University of Parma, June 6–8, 2005ent://SD_ILS/0/SD_ILS:1843242026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Zani, Sergio. editor. Cerioli, Andrea. editor. Riani, Marco. editor. Vichi, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-35978-8">http://dx.doi.org/10.1007/3-540-35978-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Human Interaction with Machines Proceedings of the 6th International Workshop held at the Shanghai Jiao Tong University, March 15–16, 2005ent://SD_ILS/0/SD_ILS:1690662026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Hommel, G. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-4043-1">http://dx.doi.org/10.1007/1-4020-4043-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computer Aided Architectural Design Futures 2005 Proceedings of the 11th International CAAD Futures Conference held at the Vienna University of Technology, Vienna, Austria, on June 20–22, 2005ent://SD_ILS/0/SD_ILS:1689782026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Martens, Bob. editor. Brown, Andre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3698-1">http://dx.doi.org/10.1007/1-4020-3698-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Innovations in Classification, Data Science, and Information Systems Proceedings of the 27th Annual Conference of the Gesellschaft für Klassifikation e.V., Brandenburg University of Technology, Cottbus, March 12–14, 2003ent://SD_ILS/0/SD_ILS:1811242026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Baier, Daniel. editor. Wernecke, Klaus-Dieter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138406">http://dx.doi.org/10.1007/b138406</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Classification — the Ubiquitous Challenge Proceedings of the 28th Annual Conference of the Gesellschaft für Klassifikation e.V. University of Dortmund, March 9–11, 2004ent://SD_ILS/0/SD_ILS:1816432026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Weihs, Claus. editor. Gaul, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-28084-7">http://dx.doi.org/10.1007/3-540-28084-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reshaping Learning Frontiers of Learning Technology in a Global Context.ent://SD_ILS/0/SD_ILS:3335522026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Athabasca University. editor. Huang, Ronghuai. editor. Spector, J. Michael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333552.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32301-0">http://dx.doi.org/10.1007/978-3-642-32301-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Loewy Decomposition of Linear Differential Equationsent://SD_ILS/0/SD_ILS:1978282026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Schwarz, Fritz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7091-1286-1">http://dx.doi.org/10.1007/978-3-7091-1286-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding the Digital Revolution A Beginner's Guide to the Internet and the Webent://SD_ILS/0/SD_ILS:6081292026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Meinel, Christoph. author. Asjoma, Maxim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70132-4">https://doi.org/10.1007/978-3-662-70132-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Machine Learning in Sports Scienceent://SD_ILS/0/SD_ILS:6094212026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70155-3">https://doi.org/10.1007/978-3-662-70155-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part Ient://SD_ILS/0/SD_ILS:6059882026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIent://SD_ILS/0/SD_ILS:6059872026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A First Introduction to Quantum Computing and Informationent://SD_ILS/0/SD_ILS:6058952026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Zygelman, Bernard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66425-0">https://doi.org/10.1007/978-3-031-66425-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part IIIent://SD_ILS/0/SD_ILS:6090232026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Multi-valued Logic for Decision-Making Under Uncertaintyent://SD_ILS/0/SD_ILS:6072782026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74762-5">https://doi.org/10.1007/978-3-031-74762-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Careerent://SD_ILS/0/SD_ILS:6092182026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97274-4">https://doi.org/10.1007/978-3-031-97274-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthdayent://SD_ILS/0/SD_ILS:6091192026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Category Theory Using Haskell An Introduction with Moggi and Yonedaent://SD_ILS/0/SD_ILS:6064052026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68538-5">https://doi.org/10.1007/978-3-031-68538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Maths For Computing A Beginner's Guideent://SD_ILS/0/SD_ILS:6062962026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Charatan, Quentin. author. Kans, Aaron. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69234-5">https://doi.org/10.1007/978-3-031-69234-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computational Thinking First Algorithms, Then Codeent://SD_ILS/0/SD_ILS:6054932026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor 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/>Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6036282026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61716-4">https://doi.org/10.1007/978-3-031-61716-4</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-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor 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/>Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6029462026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56222-8">https://doi.org/10.1007/978-3-031-56222-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Advanced Mathematical Science for Mobility Societyent://SD_ILS/0/SD_ILS:6028752026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Ikeda, Kazushi. editor. (orcid)0000-0003-3330-6121 Kawamura, Yoshiumi. editor. Makino, Kazuhisa. editor. Tsujimoto, Satoshi. editor. (orcid)0000-0002-6726-7514 Yamashita, Nobuo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9772-5">https://doi.org/10.1007/978-981-99-9772-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Artificial Intelligence and Brain Research Neural Networks, Deep Learning and the Future of Cognitionent://SD_ILS/0/SD_ILS:6042782026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Krauss, Patrick. author. (orcid)0000-0002-6611-7733 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68980-6">https://doi.org/10.1007/978-3-662-68980-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Structural Decision Diagrams in Digital Test Theory and Applicationsent://SD_ILS/0/SD_ILS:6024422026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44734-1">https://doi.org/10.1007/978-3-031-44734-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>On Sets and Graphs Perspectives on Logic and Combinatoricsent://SD_ILS/0/SD_ILS:6117362026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Omodeo, Eugenio G. author. Policriti, Alberto. author. Tomescu, Alexandru I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54981-1">https://doi.org/10.1007/978-3-319-54981-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6178412026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Toolsent://SD_ILS/0/SD_ILS:6129462026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:6149062026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Göbel, Susanne. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-11765-8">https://doi.org/10.1007/978-3-658-11765-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concise Guide to Computing Foundations Core Concepts and Select Scientific Applicationsent://SD_ILS/0/SD_ILS:6123532026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Brewer, Kevin. author. Bareiss, Cathy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29954-9">https://doi.org/10.1007/978-3-319-29954-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdaysent://SD_ILS/0/SD_ILS:6177432026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Domain-Specific Conceptual Modeling Concepts, Methods and Toolsent://SD_ILS/0/SD_ILS:6139862026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Karagiannis, Dimitris. editor. Mayr, Heinrich C. editor. Mylopoulos, John. editor. (orcid)0000-0002-8698-3292 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39417-6">https://doi.org/10.1007/978-3-319-39417-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digitized the science of computers and how it shapes our worldent://SD_ILS/0/SD_ILS:2792782026-03-21T15:32:30Z2026-03-21T15:32:30ZAuthor Bentley, Peter, 1972-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access EBSCOhost <a href="http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=444370">http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=444370</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>