Search Results for A. S. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dA.$002bS.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-04-16T17:22:33Z
Maths For Computing A Beginner's Guide
ent://SD_ILS/0/SD_ILS:606296
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Firing at Will A Manager’s Guide
ent://SD_ILS/0/SD_ILS:171604
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Shepherd, Jay. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-3739-6">http://dx.doi.org/10.1007/978-1-4302-3739-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Tester’s Guide to .NET Programming
ent://SD_ILS/0/SD_ILS:170821
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Root, Randal. author. Sweeney, Mary Romero. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0116-8">http://dx.doi.org/10.1007/978-1-4302-0116-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AutoCAD 2006 VBA A Programmer’s Reference
ent://SD_ILS/0/SD_ILS:170774
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Sutphin, Joe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0069-7">http://dx.doi.org/10.1007/978-1-4302-0069-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding the Digital Revolution A Beginner's Guide to the Internet and the Web
ent://SD_ILS/0/SD_ILS:608129
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
A Beginner's Guide to Informatics and Artificial Intelligence A Short Course Towards Practical Problem Solving
ent://SD_ILS/0/SD_ILS:603590
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Weng, Wei. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-1477-3">https://doi.org/10.1007/978-981-97-1477-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Composing Fisher Kernels from Deep Neural Models A Practitioner's Approach
ent://SD_ILS/0/SD_ILS:400474
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Azim, Tayyaba. author. Ahmed, Sarah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98524-4">https://doi.org/10.1007/978-3-319-98524-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Beginner's Guide to Scala, Object Orientation and Functional Programming
ent://SD_ILS/0/SD_ILS:401451
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75771-1">https://doi.org/10.1007/978-3-319-75771-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
ent://SD_ILS/0/SD_ILS:488361
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Mendes, Emilia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introducing Java EE 7 A Look at What’s New
ent://SD_ILS/0/SD_ILS:330718
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Juneau, Josh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330718.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-5849-0">http://dx.doi.org/10.1007/978-1-4302-5849-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
S-BPM Illustrated A Storybook about Business Process Modeling and Execution
ent://SD_ILS/0/SD_ILS:334320
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Fleischmann, Albert. author. Raß, Stefan. author. Singer, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334320.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36904-9">http://dx.doi.org/10.1007/978-3-642-36904-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Programmer’s Guide to C# 5.0
ent://SD_ILS/0/SD_ILS:171784
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Gunnerson, Eric. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4594-0">http://dx.doi.org/10.1007/978-1-4302-4594-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Developer’s Guide to the Semantic Web
ent://SD_ILS/0/SD_ILS:193143
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Yu, Liyang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15970-1">http://dx.doi.org/10.1007/978-3-642-15970-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematics of Medical Imaging A Beginner’s Guide
ent://SD_ILS/0/SD_ILS:168010
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Feeman, Timothy G. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-92712-1">http://dx.doi.org/10.1007/978-0-387-92712-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira’s Scientific Legacy Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:190269
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Mira, José. editor. Ferrández, José Manuel. editor. Álvarez, José R. editor. Paz, Félix. editor. Toledo, F. Javier. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02264-7">http://dx.doi.org/10.1007/978-3-642-02264-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Haptic Devices A Beginner's Guide for Engineers
ent://SD_ILS/0/SD_ILS:189017
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Kern, Thorsten A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88248-0">http://dx.doi.org/10.1007/978-3-540-88248-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mule 2: A Developer’s Guide to ESB and Integration Platform
ent://SD_ILS/0/SD_ILS:171118
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Delia, Peter. author. Borg, Antoine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0982-9">http://dx.doi.org/10.1007/978-1-4302-0982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Computer Scientist's Guide to Cell Biology A travelogue from a stranger in a strange land
ent://SD_ILS/0/SD_ILS:166399
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Cohen, William W. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-48278-1">http://dx.doi.org/10.1007/978-0-387-48278-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
IPv6 in Practice A Unixer’s Guide to the Next Generation Internet
ent://SD_ILS/0/SD_ILS:185049
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Stockebrand, Benedikt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-48001-3">http://dx.doi.org/10.1007/978-3-540-48001-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Verification with C++ A Practitioner’s Handbook
ent://SD_ILS/0/SD_ILS:166141
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Mintz, Mike. author. Ekendahl, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36254-0">http://dx.doi.org/10.1007/978-0-387-36254-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Programmer’s Introduction to C# 2.0
ent://SD_ILS/0/SD_ILS:170740
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Gunnerson, Eric. editor. Wienholt, Nick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0035-2">http://dx.doi.org/10.1007/978-1-4302-0035-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Software Process Model Handbook for Incorporating People’s Capabilities
ent://SD_ILS/0/SD_ILS:165143
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Acuña, Silvia Teresita. author. Juristo, Natalia. author. Moreno, Ana María. author. Mon, Alicia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106969">http://dx.doi.org/10.1007/b106969</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Agility and Information Technology Diffusion IFIP TC8 WG 8.6 International Working Conference May 8–11, 2005, Atlanta, Georgia, U.S.A.
ent://SD_ILS/0/SD_ILS:165157
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Baskerville, Richard L. editor. Mathiassen, Lars. editor. Pries-Heje, Jan. editor. DeGross, Janice I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135658">http://dx.doi.org/10.1007/b135658</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Ubiquitous Information Environments: Socio-Technical Issues and Challenges IFIP TC8 WG 8.2 International Working Conference, August 1–3, 2005, Cleveland, Ohio, U.S.A.
ent://SD_ILS/0/SD_ILS:165579
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Sørensen, Carsten. editor. Yoo, Youngjin. editor. Lyytinen, Kalle. editor. DeGross, Janice I. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28918-6">http://dx.doi.org/10.1007/0-387-28918-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Oracle Certified Professional Java SE 7 Programmer Exams 1Z0-804 and 1Z0-805 A Comprehensive OCPJP 7 Certification Guide
ent://SD_ILS/0/SD_ILS:330636
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Ganesh, S G. author. Sharma, Tushar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330636.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-4765-4">http://dx.doi.org/10.1007/978-1-4302-4765-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft Computing Approach to Pattern Classification and Object Recognition A Unified Concept
ent://SD_ILS/0/SD_ILS:174427
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Ray, Kumar S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-5348-2">http://dx.doi.org/10.1007/978-1-4614-5348-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guide
ent://SD_ILS/0/SD_ILS:191495
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Pianykh, Oleg S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-10850-1">http://dx.doi.org/10.1007/978-3-642-10850-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Vision-Guided Virtual Craniofacial Surgery A Graph-Theoretic and Statistical Perspective
ent://SD_ILS/0/SD_ILS:168482
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Chowdhury, Ananda S. author. Bhandarkar, Suchendra M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-85729-296-4">http://dx.doi.org/10.1007/978-0-85729-296-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Apartness and Uniformity A Constructive Development
ent://SD_ILS/0/SD_ILS:195019
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Bridges, Douglas S. author. Vîţă, Luminiţa Simona. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-22415-7">http://dx.doi.org/10.1007/978-3-642-22415-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Imaging and Communications in Medicine (DICOM) A Practical Introduction and Survival Guide
ent://SD_ILS/0/SD_ILS:187199
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Pianykh, Oleg S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74571-6">http://dx.doi.org/10.1007/978-3-540-74571-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital VLSI Systems Design A Design Manual for Implementation of Projects on FPGAs and ASICs Using Verilog
ent://SD_ILS/0/SD_ILS:169609
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Ramachandran, S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-5829-5">http://dx.doi.org/10.1007/978-1-4020-5829-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Techniques for Chemical and Biological Engineers Using MATLAB® A Simple Bifurcation Approach
ent://SD_ILS/0/SD_ILS:166550
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Elnashaie, Said S. E. H. author. Uhlig, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-68167-2">http://dx.doi.org/10.1007/978-0-387-68167-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring C for Microcontrollers A Hands on Approach
ent://SD_ILS/0/SD_ILS:169680
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Parab, Jivan S. author. Shelake, Vinod G. author. Kamat, Rajanish K. author. Naik, Gourish M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6067-0">http://dx.doi.org/10.1007/978-1-4020-6067-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605472
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Engineering Optimisation with the Bees Algorithm
ent://SD_ILS/0/SD_ILS:605961
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
ent://SD_ILS/0/SD_ILS:605987
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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 I
ent://SD_ILS/0/SD_ILS:605988
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Restarting Automata Extensions and Generalizations
ent://SD_ILS/0/SD_ILS:607660
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78701-0">https://doi.org/10.1007/978-3-031-78701-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Computation Automata, Formal Languages, Computation and Complexity
ent://SD_ILS/0/SD_ILS:607704
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Chowdhary, K.R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-6234-7">https://doi.org/10.1007/978-981-97-6234-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Theory of Computation An Algorithmic Approach
ent://SD_ILS/0/SD_ILS:607954
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Ogihara, Mitsunori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84740-0">https://doi.org/10.1007/978-3-031-84740-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas
ent://SD_ILS/0/SD_ILS:608168
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Restarting Automata The Standard Type of Restarting Automaton and Its Variants
ent://SD_ILS/0/SD_ILS:605792
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Otto, Friedrich. author. (orcid)0009-0002-9760-5462 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70094-1">https://doi.org/10.1007/978-3-031-70094-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Category Theory Using Haskell An Introduction with Moggi and Yoneda
ent://SD_ILS/0/SD_ILS:606405
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Principle of Petri Nets
ent://SD_ILS/0/SD_ILS:606870
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Yuan, Chongyi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7336-7">https://doi.org/10.1007/978-981-97-7336-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:607118
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80283-6">https://doi.org/10.1007/978-3-031-80283-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Maximal Planar Graph Theory and the Four-Color Conjecture
ent://SD_ILS/0/SD_ILS:608586
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Xu, Jin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4745-3">https://doi.org/10.1007/978-981-96-4745-3</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 III
ent://SD_ILS/0/SD_ILS:609023
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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 Machine Learning in Sports Science
ent://SD_ILS/0/SD_ILS:609421
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python
ent://SD_ILS/0/SD_ILS:608772
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Caligiore, Daniele. author. Carli, Samuele. author. (orcid)0000-0002-3250-2465 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-2718-9">https://doi.org/10.1007/978-981-96-2718-9</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 Birthday
ent://SD_ILS/0/SD_ILS:609119
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Applied Antifragility in Natural Systems From Principles to Applications
ent://SD_ILS/0/SD_ILS:609152
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90391-5">https://doi.org/10.1007/978-3-031-90391-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 Career
ent://SD_ILS/0/SD_ILS:609218
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Leveraging GenAI for Machine Learning Education in Public Health ChatGPT and R
ent://SD_ILS/0/SD_ILS:610583
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Leung, Ricky. author. (orcid)0000-0002-2852-6771 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-08677-8">https://doi.org/10.1007/978-3-032-08677-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creative approaches towards development of computing and multidisciplinary IT solutions for society
ent://SD_ILS/0/SD_ILS:599371
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Electromagnetic Sources and Electromagnetic Fields
ent://SD_ILS/0/SD_ILS:602368
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
FPGA EDA Design Principles and Implementation
ent://SD_ILS/0/SD_ILS:602481
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Tu, Kaihui. author. Tang, Xifan. author. Yu, Cunxi. author. (orcid)0000-0003-3481-307X Josipović, Lana. author. Chu, Zhufei. author. (orcid)0000-0001-5718-4822<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7755-0">https://doi.org/10.1007/978-981-99-7755-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics in Programming
ent://SD_ILS/0/SD_ILS:604267
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Liu, Xinyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2432-1">https://doi.org/10.1007/978-981-97-2432-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach
ent://SD_ILS/0/SD_ILS:602280
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6921-0">https://doi.org/10.1007/978-981-99-6921-0</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 Birthday
ent://SD_ILS/0/SD_ILS:602946
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Infrared Small Target Detection Theory, Methods, and Algorithms.
ent://SD_ILS/0/SD_ILS:603099
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9799-2">https://doi.org/10.1007/978-981-99-9799-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease
ent://SD_ILS/0/SD_ILS:601934
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Channa, Asma. author. Popescu, Nirvana. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45003-7">https://doi.org/10.1007/978-3-031-45003-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computability and Complexity Foundations and Tools for Pursuing Scientific Applications
ent://SD_ILS/0/SD_ILS:603504
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Digital Twins for Vessel Life Cycle Service Innovation in Maritime Industry
ent://SD_ILS/0/SD_ILS:604893
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Zhang, Houxiang. author. (orcid)0000-0003-0122-0964 Li, Guoyuan. author. (orcid)0000-0001-7553-0899 Hildre, Hans Petter. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-4768-9">https://doi.org/10.1007/978-981-97-4768-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informatics and machine learning : from Martingales to metaheuristics
ent://SD_ILS/0/SD_ILS:597087
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Winters-Hilt, Stephen, author.<br/>Preferred Shelf Number Q325.5 .W558 2022<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119716730</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence for Network Structure Analytics
ent://SD_ILS/0/SD_ILS:612359
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Gong, Maoguo. author. Cai, Qing. author. Ma, Lijia. author. Wang, Shanfeng. author. Lei, Yu. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4558-5">https://doi.org/10.1007/978-981-10-4558-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617856
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern Language Models and Computation Theory with Applications
ent://SD_ILS/0/SD_ILS:612953
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization
ent://SD_ILS/0/SD_ILS:613437
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Draheim, Dirk. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69868-7">https://doi.org/10.1007/978-3-319-69868-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:610933
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30936-1">https://doi.org/10.1007/978-3-319-30936-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications
ent://SD_ILS/0/SD_ILS:612353
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Process Mining Data Science in Action
ent://SD_ILS/0/SD_ILS:617779
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Foundations for Mastering Change I
ent://SD_ILS/0/SD_ILS:617815
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Digital Synaptic Neural Substrate A New Approach to Computational Creativity
ent://SD_ILS/0/SD_ILS:611352
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Iqbal, Azlan. author. Guid, Matej. author. Colton, Simon. author. Krivec, Jana. author. Azman, Shazril. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28079-0">https://doi.org/10.1007/978-3-319-28079-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Turing Computability Theory and Applications
ent://SD_ILS/0/SD_ILS:614477
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Soare, Robert I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-31933-4">https://doi.org/10.1007/978-3-642-31933-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Grammatical Inference
ent://SD_ILS/0/SD_ILS:615236
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Heinz, Jeffrey. editor. Sempere, José M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48395-4">https://doi.org/10.1007/978-3-662-48395-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-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 Domains
ent://SD_ILS/0/SD_ILS:614906
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>
Computational Autism
ent://SD_ILS/0/SD_ILS:617312
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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 Algorithms
ent://SD_ILS/0/SD_ILS:617569
2026-04-16T17:22:33Z
2026-04-16T17:22:33Z
Author 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/>