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$0026isd$003dtrue?dt=list2026-04-03T18:35:39ZBridging the Gap to University Mathematicsent://SD_ILS/0/SD_ILS:1757982026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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 2013 Proceedings of the joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2013ent://SD_ILS/0/SD_ILS:3328662026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Reshaping Learning Frontiers of Learning Technology in a Global Context.ent://SD_ILS/0/SD_ILS:3335522026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>A First Introduction to Quantum Computing and Informationent://SD_ILS/0/SD_ILS:6058952026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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 IIent://SD_ILS/0/SD_ILS:6059872026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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 Ient://SD_ILS/0/SD_ILS:6059882026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Category Theory Using Haskell An Introduction with Moggi and Yonedaent://SD_ILS/0/SD_ILS:6064052026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Multi-valued Logic for Decision-Making Under Uncertaintyent://SD_ILS/0/SD_ILS:6072782026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Understanding the Digital Revolution A Beginner's Guide to the Internet and the Webent://SD_ILS/0/SD_ILS:6081292026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Careerent://SD_ILS/0/SD_ILS:6092182026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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 IIIent://SD_ILS/0/SD_ILS:6090232026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Artificial Intelligence and Machine Learning in Sports Scienceent://SD_ILS/0/SD_ILS:6094212026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Computability and Complexity Foundations and Tools for Pursuing Scientific Applicationsent://SD_ILS/0/SD_ILS:6035042026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Artificial Intelligence and Brain Research Neural Networks, Deep Learning and the Future of Cognitionent://SD_ILS/0/SD_ILS:6042782026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Computational Thinking First Algorithms, Then Codeent://SD_ILS/0/SD_ILS:6054932026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Structural Decision Diagrams in Digital Test Theory and Applicationsent://SD_ILS/0/SD_ILS:6024422026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Advanced Mathematical Science for Mobility Societyent://SD_ILS/0/SD_ILS:6028752026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6029462026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lecturesent://SD_ILS/0/SD_ILS:6178412026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>On Sets and Graphs Perspectives on Logic and Combinatoricsent://SD_ILS/0/SD_ILS:6117362026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Toolsent://SD_ILS/0/SD_ILS:6129462026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Domain-Specific Conceptual Modeling Concepts, Methods and Toolsent://SD_ILS/0/SD_ILS:6139862026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>A Polynomial Translation of Mobile Ambients into Safe Petri Nets Understanding a Calculus of Hierarchical Protection Domainsent://SD_ILS/0/SD_ILS:6149062026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>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-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>Digitized the science of computers and how it shapes our worldent://SD_ILS/0/SD_ILS:2792782026-04-03T18:35:39Z2026-04-03T18:35:39ZAuthor 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/>