Search Results for The state. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dThe$002bstate.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-03-20T13:59:46Z
Automotive Systems and Software Engineering State of the Art and Future Trends
ent://SD_ILS/0/SD_ILS:486378
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12157-0">https://doi.org/10.1007/978-3-030-12157-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing and Software Science State of the Art and Perspectives
ent://SD_ILS/0/SD_ILS:486069
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 Woeginger, Gerhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91908-9">https://doi.org/10.1007/978-3-319-91908-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Actors State-of-the-Art and Research Perspectives
ent://SD_ILS/0/SD_ILS:399671
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Ricci, Alessandro. editor. Haller, Philipp. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00302-9">https://doi.org/10.1007/978-3-030-00302-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Education for a Global E-Service Economy State of the Art, Trends and Developments
ent://SD_ILS/0/SD_ILS:485441
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Motta, Gianmario. editor. Wu, Bing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04217-6">https://doi.org/10.1007/978-3-319-04217-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: State of the Art and New Directions
ent://SD_ILS/0/SD_ILS:176054
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Boca, Paul. editor. Bowen, Jonathan P. editor. Siddiqi, Jawed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-736-3">http://dx.doi.org/10.1007/978-1-84882-736-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Parallel Computing. State of the Art in Scientific Computing 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:187493
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Kågström, Bo. editor. Elmroth, Erik. editor. Dongarra, Jack. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-75755-9">http://dx.doi.org/10.1007/978-3-540-75755-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Parallel Computing. State of the Art in Scientific Computing 7th International Workshop, PARA 2004, Lyngby, Denmark, June 20-23, 2004. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183762
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Dongarra, Jack. editor. Madsen, Kaj. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11558958">http://dx.doi.org/10.1007/11558958</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:607963
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229 Stojilović, Mirjana. editor. (orcid)0000-0001-5649-5020 Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Barriga Barros, Ángel. editor. (orcid)0000-0001-6673-6684<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87995-1">https://doi.org/10.1007/978-3-031-87995-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Management: Theory and Applications Volume 17
ent://SD_ILS/0/SD_ILS:608215
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82610-8">https://doi.org/10.1007/978-3-031-82610-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Blockchain - ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606046
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Feng, Jun. editor. (orcid)0000-0001-9917-1819 He, Songlin. editor. (orcid)0000-0002-7269-5644 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77095-1">https://doi.org/10.1007/978-3-031-77095-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Software Supply Chains Theory and Practice
ent://SD_ILS/0/SD_ILS:607427
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1797-5">https://doi.org/10.1007/978-981-96-1797-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Privacy in Smart Environments
ent://SD_ILS/0/SD_ILS:605758
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Pitropakis, Nikolaos. editor. (orcid)0000-0002-3392-9970 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66708-4">https://doi.org/10.1007/978-3-031-66708-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Feature Models AI-Driven Design, Analysis and Applications
ent://SD_ILS/0/SD_ILS:604112
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61874-1">https://doi.org/10.1007/978-3-031-61874-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Volume 17
ent://SD_ILS/0/SD_ILS:603657
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56388-1">https://doi.org/10.1007/978-3-031-56388-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602216
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Software Aspects of Theory and System Design
ent://SD_ILS/0/SD_ILS:604803
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64136-7">https://doi.org/10.1007/978-3-031-64136-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
ent://SD_ILS/0/SD_ILS:602163
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Management: Theory and Application Volume 16
ent://SD_ILS/0/SD_ILS:603449
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55174-1">https://doi.org/10.1007/978-3-031-55174-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Interoperability X Enterprise Interoperability Through Connected Digital Twins
ent://SD_ILS/0/SD_ILS:607023
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Rodríguez-Rodríguez, Raúl. editor. Ducq, Yves. editor. (orcid)0000-0001-5144-5876 Leon, Ramona-Diana. editor. Romero, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-24771-2">https://doi.org/10.1007/978-3-031-24771-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITNG 2024: 21st International Conference on Information Technology-New Generations
ent://SD_ILS/0/SD_ILS:604226
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Latifi, Shahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56599-1">https://doi.org/10.1007/978-3-031-56599-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
ent://SD_ILS/0/SD_ILS:604382
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56862-6">https://doi.org/10.1007/978-3-031-56862-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
ent://SD_ILS/0/SD_ILS:603043
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44412-8">https://doi.org/10.1007/978-3-031-44412-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networking and Parallel/Distributed Computing Systems Volume 18
ent://SD_ILS/0/SD_ILS:603357
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53274-0">https://doi.org/10.1007/978-3-031-53274-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602217
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITNG 2023 20th International Conference on Information Technology-New Generations
ent://SD_ILS/0/SD_ILS:526966
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Latifi, Shahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28332-1">https://doi.org/10.1007/978-3-031-28332-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Official Google Cloud Certified Professional Data Engineer study guide
ent://SD_ILS/0/SD_ILS:596021
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Sullivan, Dan, 1962-<br/>Preferred Shelf Number QA76.3<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Present and Ulterior Software Engineering
ent://SD_ILS/0/SD_ILS:610759
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67425-4">https://doi.org/10.1007/978-3-319-67425-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Representing Scientific Knowledge The Role of Uncertainty
ent://SD_ILS/0/SD_ILS:611757
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Chen, Chaomei. author. Song, Min. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62543-0">https://doi.org/10.1007/978-3-319-62543-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616215
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67089-8">https://doi.org/10.1007/978-3-319-67089-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions
ent://SD_ILS/0/SD_ILS:615694
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56593-4">https://doi.org/10.1007/978-3-319-56593-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
ent://SD_ILS/0/SD_ILS:614156
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-2717-8">https://doi.org/10.1007/978-981-10-2717-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method
ent://SD_ILS/0/SD_ILS:617804
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Alebrahim, Azadeh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-17694-5">https://doi.org/10.1007/978-3-658-17694-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering for Service and Cloud Computing
ent://SD_ILS/0/SD_ILS:613919
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Ramachandran, Muthu. editor. Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51310-2">https://doi.org/10.1007/978-3-319-51310-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green IT Engineering: Concepts, Models, Complex Systems Architectures
ent://SD_ILS/0/SD_ILS:611372
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44162-7">https://doi.org/10.1007/978-3-319-44162-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Aware Computing Systems
ent://SD_ILS/0/SD_ILS:611535
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
S-BPM in the Production Industry A Stakeholder Approach
ent://SD_ILS/0/SD_ILS:615690
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Neubauer, Matthias. editor. Stary, Christian. editor. (orcid)0000-0001-9764-5021 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48466-2">https://doi.org/10.1007/978-3-319-48466-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Handbook of Formal Methods in Human-Computer Interaction
ent://SD_ILS/0/SD_ILS:618485
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51838-1">https://doi.org/10.1007/978-3-319-51838-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612246
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Organic Computing - Technical Systems for Survival in the Real World
ent://SD_ILS/0/SD_ILS:612055
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Müller-Schloer, Christian. author. Tomforde, Sven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68477-2">https://doi.org/10.1007/978-3-319-68477-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Broker and Cloudlet for Workflow Scheduling
ent://SD_ILS/0/SD_ILS:617265
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5071-8">https://doi.org/10.1007/978-981-10-5071-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Modeling with UML Code Generation, Testing, Refactoring
ent://SD_ILS/0/SD_ILS:617166
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58862-9">https://doi.org/10.1007/978-3-319-58862-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support
ent://SD_ILS/0/SD_ILS:617851
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Kolesnikov, Andrey. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-19102-3">https://doi.org/10.1007/978-3-658-19102-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Cities The Internet of Things, People and Systems
ent://SD_ILS/0/SD_ILS:612502
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Dustdar, Schahram. author. Nastić, Stefan. author. Šćekić, Ognjen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60030-7">https://doi.org/10.1007/978-3-319-60030-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Hardware/Software Codesign
ent://SD_ILS/0/SD_ILS:612453
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Ha, Soonhoi. editor. Teich, Jürgen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-94-017-7267-9">https://doi.org/10.1007/978-94-017-7267-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615965
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hagenberg Business Process Modelling Method
ent://SD_ILS/0/SD_ILS:611874
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Kossak, Felix. author. Illibauer, Christa. author. Geist, Verena. author. Natschläger, Christine. author. Ziebermayr, Thomas. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30496-0">https://doi.org/10.1007/978-3-319-30496-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Interoperability VII Enterprise Interoperability in the Digitized and Networked Factory of the Future
ent://SD_ILS/0/SD_ILS:611779
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Mertins, Kai. editor. Jardim-Gonçalves, Ricardo. editor. Popplewell, Keith. editor. Mendonça, João P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30957-6">https://doi.org/10.1007/978-3-319-30957-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrating User-Centred Design in Agile Development
ent://SD_ILS/0/SD_ILS:618467
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32165-3">https://doi.org/10.1007/978-3-319-32165-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612581
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48869-1">https://doi.org/10.1007/978-3-319-48869-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611112
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Sustainability
ent://SD_ILS/0/SD_ILS:610842
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Lässig, Jörg. editor. Kersting, Kristian. editor. Morik, Katharina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31858-5">https://doi.org/10.1007/978-3-319-31858-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617942
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Jelasity, Márk. editor. Kalyvianaki, Evangelia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39577-7">https://doi.org/10.1007/978-3-319-39577-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Engineering Technologies
ent://SD_ILS/0/SD_ILS:616697
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Ao, Sio-Iong. editor. Yang, Gi-Chul. editor. Gelman, Len. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1088-0">https://doi.org/10.1007/978-981-10-1088-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network and Parallel Computing 13th IFIP WG 10.3 International Conference, NPC 2016, Xi'an, China, October 28-29, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616992
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Gao, Guang R. editor. Qian, Depei. editor. Gao, Xinbo. editor. Chapman, Barbara. editor. Chen, Wenguang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47099-3">https://doi.org/10.1007/978-3-319-47099-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616579
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</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-03-20T13:59:46Z
2026-03-20T13:59:46Z
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/>
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
ent://SD_ILS/0/SD_ILS:617799
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Herdt, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015
ent://SD_ILS/0/SD_ILS:613610
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0551-0">https://doi.org/10.1007/978-981-10-0551-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters
ent://SD_ILS/0/SD_ILS:612368
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Al-Akkad, Amro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12616-2">https://doi.org/10.1007/978-3-658-12616-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security, Privacy, and Applied Cryptography Engineering 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613502
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Carlet, Claude. editor. (orcid)0000-0002-6118-7927 Hasan, M. Anwar. editor. Saraswat, Vishal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49445-6">https://doi.org/10.1007/978-3-319-49445-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
ent://SD_ILS/0/SD_ILS:614579
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deductive Software Verification - The KeY Book From Theory to Practice
ent://SD_ILS/0/SD_ILS:616009
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49812-6">https://doi.org/10.1007/978-3-319-49812-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic Road Transport Support Systems
ent://SD_ILS/0/SD_ILS:615542
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaboration Meets Interactive Spaces
ent://SD_ILS/0/SD_ILS:616846
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Anslow, Craig. editor. Campos, Pedro. editor. Jorge, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45853-3">https://doi.org/10.1007/978-3-319-45853-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Model-Based Engineering of Embedded Systems Extensions of the SPES 2020 Methodology
ent://SD_ILS/0/SD_ILS:612633
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Pohl, Klaus. editor. Broy, Manfred. editor. Daembkes, Heinrich. editor. Hönninger, Harald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48003-9">https://doi.org/10.1007/978-3-319-48003-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontier Computing Theory, Technologies and Applications
ent://SD_ILS/0/SD_ILS:614931
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Regulated Open Multi-Agent Systems (ROMAS) A Multi-Agent Approach for Designing Normative Open Systems
ent://SD_ILS/0/SD_ILS:529575
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Garcia, Emilia. author. Giret, Adriana. author. Botti, Vicente. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11572-6">https://doi.org/10.1007/978-3-319-11572-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
R Quick Syntax Reference
ent://SD_ILS/0/SD_ILS:618603
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Tollefson, Margot. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6641-9">https://doi.org/10.1007/978-1-4302-6641-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Windows PowerShell Desired State Configuration Revealed
ent://SD_ILS/0/SD_ILS:618637
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Chaganti, Ravikanth. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0016-2">https://doi.org/10.1007/978-1-4842-0016-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro ASP.NET MVC 5 Platform
ent://SD_ILS/0/SD_ILS:618543
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Freeman, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6542-9">https://doi.org/10.1007/978-1-4302-6542-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning HTML5 Games with CreateJS
ent://SD_ILS/0/SD_ILS:618564
2026-03-20T13:59:46Z
2026-03-20T13:59:46Z
Author Manderscheid, Brad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6341-8">https://doi.org/10.1007/978-1-4302-6341-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>