Search Results for University. - Narrowed by: Computer science.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dUniversity.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?dt=list2026-03-20T13:33:38ZBridging the Gap to University Mathematicsent://SD_ILS/0/SD_ILS:1757982026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Field Informatics Kyoto University Field Informatics Research Groupent://SD_ILS/0/SD_ILS:1965872026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>A Portrait of State-of-the-Art Research at the Technical University of Lisbonent://SD_ILS/0/SD_ILS:1695662026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Communities and Technologies 2007 Proceedings of the Third Communities and Technologies Conference, Michigan State University 2007ent://SD_ILS/0/SD_ILS:1756222026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Reshaping Learning Frontiers of Learning Technology in a Global Context.ent://SD_ILS/0/SD_ILS:3335522026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Multi-valued Logic for Decision-Making Under Uncertaintyent://SD_ILS/0/SD_ILS:6072782026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Artificial Intelligence and Machine Learning in Sports Scienceent://SD_ILS/0/SD_ILS:6094212026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Careerent://SD_ILS/0/SD_ILS:6092182026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>A First Introduction to Quantum Computing and Informationent://SD_ILS/0/SD_ILS:6058952026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Maths For Computing A Beginner's Guideent://SD_ILS/0/SD_ILS:6062962026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Category Theory Using Haskell An Introduction with Moggi and Yonedaent://SD_ILS/0/SD_ILS:6064052026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Artificial Intelligence and Brain Research Neural Networks, Deep Learning and the Future of Cognitionent://SD_ILS/0/SD_ILS:6042782026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Advanced Mathematical Science for Mobility Societyent://SD_ILS/0/SD_ILS:6028752026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Computational Thinking First Algorithms, Then Codeent://SD_ILS/0/SD_ILS:6054932026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Structural Decision Diagrams in Digital Test Theory and Applicationsent://SD_ILS/0/SD_ILS:6024422026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6029462026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Toolsent://SD_ILS/0/SD_ILS:6129462026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>On Sets and Graphs Perspectives on Logic and Combinatoricsent://SD_ILS/0/SD_ILS:6117362026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Domain-Specific Conceptual Modeling Concepts, Methods and Toolsent://SD_ILS/0/SD_ILS:6139862026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Concise Guide to Computing Foundations Core Concepts and Select Scientific Applicationsent://SD_ILS/0/SD_ILS:6123532026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:6149062026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>Digitized the science of computers and how it shapes our worldent://SD_ILS/0/SD_ILS:2792782026-03-20T13:33:38Z2026-03-20T13:33:38ZAuthor 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/>