Search Results for Software Design. - Narrowed by: SpringerLink (Online service)
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bDesign.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026ps$003d300?
2024-12-14T06:00:28Z
Introduction to Software Design with Java
ent://SD_ILS/0/SD_ILS:486330
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Robillard, Martin P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Techniques: Design for Quality
ent://SD_ILS/0/SD_ILS:166267
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Sacha, Krzysztof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-39388-9">http://dx.doi.org/10.1007/978-0-387-39388-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach
ent://SD_ILS/0/SD_ILS:520191
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Snider, Ross K. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520191.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-15416-4">https://doi.org/10.1007/978-3-031-15416-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 13th International Symposium, BMSD 2023, Utrecht, The Netherlands, July 3-5, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520592
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520592.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36757-1">https://doi.org/10.1007/978-3-031-36757-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
ent://SD_ILS/0/SD_ILS:520650
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520650.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44143-1">https://doi.org/10.1007/978-3-031-44143-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technology Research Explained Design of Software, Architectures, Methods, and Technology in General
ent://SD_ILS/0/SD_ILS:520280
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Stølen, Ketil. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520280.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25817-6">https://doi.org/10.1007/978-3-031-25817-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Software Design Concepts, Principles, Methodologies, and Techniques
ent://SD_ILS/0/SD_ILS:520524
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Hu, Chenglie. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520524.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28311-6">https://doi.org/10.1007/978-3-031-28311-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1–3, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484500
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24854-3">https://doi.org/10.1007/978-3-030-24854-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401983
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78428-1">https://doi.org/10.1007/978-3-319-78428-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402217
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94214-8">https://doi.org/10.1007/978-3-319-94214-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
ent://SD_ILS/0/SD_ILS:519008
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519008.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18941-3">https://doi.org/10.1007/978-3-319-18941-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 4th International Symposium, BMSD 2014, Luxembourg, Luxembourg, June 24-26, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518511
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518511.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20052-1">https://doi.org/10.1007/978-3-319-20052-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Patterns of HCI Design and HCI Design of Patterns Bridging HCI Design and Model-Driven Software Engineering
ent://SD_ILS/0/SD_ILS:518624
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Seffah, Ahmed. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518624.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15687-3">https://doi.org/10.1007/978-3-319-15687-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Methodology for Information Systems and Software Engineering
ent://SD_ILS/0/SD_ILS:487890
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design Third International Symposium, BMSD 2013, Noordwijkerhout, The Netherlands, July 8-10, 2013, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:488180
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06671-4">https://doi.org/10.1007/978-3-319-06671-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
ent://SD_ILS/0/SD_ILS:489035
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07317-0">https://doi.org/10.1007/978-3-319-07317-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334438
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334438.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37478-4">http://dx.doi.org/10.1007/978-3-642-37478-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
ent://SD_ILS/0/SD_ILS:334688
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334688.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38874-3">http://dx.doi.org/10.1007/978-3-642-38874-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition
ent://SD_ILS/0/SD_ILS:336495
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(336495.1)<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-92-3">http://dx.doi.org/10.2991/978-94-91216-92-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Radio Sampling Rate Selection, Design and Synchronization
ent://SD_ILS/0/SD_ILS:173592
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Venosa, Elettra. author. harris, fredric j. author. Palmieri, Francesco A. N. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0113-1">http://dx.doi.org/10.1007/978-1-4614-0113-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:196768
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-29788-5">http://dx.doi.org/10.1007/978-3-642-29788-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware/Software Co-design for Heterogeneous Multi-core Platforms The hArtes Toolchain
ent://SD_ILS/0/SD_ILS:206057
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bertels, Koen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-1406-9">http://dx.doi.org/10.1007/978-94-007-1406-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer- Aided Design in Power Engineering Application of Software Tools
ent://SD_ILS/0/SD_ILS:196843
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Stojkovic, Zlatan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30206-0">http://dx.doi.org/10.1007/978-3-642-30206-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:197000
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SynDEVS Co-Design Flow A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation
ent://SD_ILS/0/SD_ILS:197668
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Molter, H. Gregor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-00397-5">http://dx.doi.org/10.1007/978-3-658-00397-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
ent://SD_ILS/0/SD_ILS:173150
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Okada, Kenichi. editor. Kousai, Shouhei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-8514-9">http://dx.doi.org/10.1007/978-1-4419-8514-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
ent://SD_ILS/0/SD_ILS:194706
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21455-4">http://dx.doi.org/10.1007/978-3-642-21455-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Frontiers in Information and Software as Services Service and Application Design Challenges in the Cloud
ent://SD_ILS/0/SD_ILS:193997
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Agrawal, Divyakant. editor. Candan, K. Selçuk. editor. Li, Wen-Syan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19294-4">http://dx.doi.org/10.1007/978-3-642-19294-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Educational Software Design A Resource for Multidisciplinary Work in Technology Enhanced Learning
ent://SD_ILS/0/SD_ILS:194228
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Tchounikine, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-20003-8">http://dx.doi.org/10.1007/978-3-642-20003-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Process Algebraic Approach to Software Architecture Design
ent://SD_ILS/0/SD_ILS:175768
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-223-4">http://dx.doi.org/10.1007/978-1-84800-223-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Software Design and Programming of Multiprocessor System-on-Chip Simulink and System C Case Studies
ent://SD_ILS/0/SD_ILS:172367
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Popovici, Katalin. author. Rousseau, Frédéric. author. Jerraya, Ahmed A. author. Wolf, Marilyn. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-5567-8">http://dx.doi.org/10.1007/978-1-4419-5567-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
ent://SD_ILS/0/SD_ILS:192413
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-13678-8">http://dx.doi.org/10.1007/978-3-642-13678-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multicore Systems On-Chip: Practical Software/Hardware Design
ent://SD_ILS/0/SD_ILS:207033
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Abdallah, Abderazek Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.2991/978-94-91216-33-6">http://dx.doi.org/10.2991/978-94-91216-33-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures
ent://SD_ILS/0/SD_ILS:190163
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01918-0">http://dx.doi.org/10.1007/978-3-642-01918-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware Software Co-Design of a Multimedia SOC Platform
ent://SD_ILS/0/SD_ILS:170593
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9623-5">http://dx.doi.org/10.1007/978-1-4020-9623-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
ent://SD_ILS/0/SD_ILS:185637
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68894-5">http://dx.doi.org/10.1007/978-3-540-68894-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Farbe im Digitalen Publizieren Konzepte der digitalen Farbwiedergabe für Office, Design und Software
ent://SD_ILS/0/SD_ILS:184527
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Simon, Klaus. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-37329-2">http://dx.doi.org/10.1007/978-3-540-37329-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE
ent://SD_ILS/0/SD_ILS:198347
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-7908-1944-1">http://dx.doi.org/10.1007/978-3-7908-1944-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures
ent://SD_ILS/0/SD_ILS:186566
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72522-0">http://dx.doi.org/10.1007/978-3-540-72522-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering 3 Domains, Requirements, and Software Design
ent://SD_ILS/0/SD_ILS:183791
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bjøner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures
ent://SD_ILS/0/SD_ILS:184002
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11757283">http://dx.doi.org/10.1007/11757283</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
ent://SD_ILS/0/SD_ILS:184735
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-39538-5">http://dx.doi.org/10.1007/3-540-39538-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
ent://SD_ILS/0/SD_ILS:183088
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135888">http://dx.doi.org/10.1007/b135888</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
ent://SD_ILS/0/SD_ILS:181242
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138692">http://dx.doi.org/10.1007/b138692</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research Challenges in Information Science: Information Science and the Connected World 17th International Conference, RCIS 2023, Corfu, Greece, May 23-26, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520580
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Nurcan, Selmin. editor. Opdahl, Andreas L. editor. Mouratidis, Haralambos. editor. Tsohou, Aggeliki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520580.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33080-3">https://doi.org/10.1007/978-3-031-33080-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimising the Software Development Process with Artificial Intelligence
ent://SD_ILS/0/SD_ILS:520515
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Romero, José Raúl. editor. Medina-Bulo, Inmaculada. editor. Chicano, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520515.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9948-2">https://doi.org/10.1007/978-981-19-9948-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520517
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520517.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36840-0">https://doi.org/10.1007/978-3-031-36840-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520663
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.<br/>Preferred Shelf Number XX(520663.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26886-1">https://doi.org/10.1007/978-3-031-26886-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile Wireless Middleware, Operating Systems and Applications 11th EAI International Conference, MOBILWARE 2022, Virtual Event, December 28-29, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520676
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Li, Ruidong. editor. Jia, Min. editor. Taleb, Tarik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520676.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34497-8">https://doi.org/10.1007/978-3-031-34497-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520682
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.<br/>Preferred Shelf Number XX(520682.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36336-8">https://doi.org/10.1007/978-3-031-36336-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Science 9th International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2023, Harbin, China, September 22-24, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520688
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Yu, Zhiwen. editor. Han, Qilong. editor. Wang, Hongzhi. editor. Guo, Bin. editor. Zhou, Xiaokang. editor.<br/>Preferred Shelf Number XX(520688.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5968-6">https://doi.org/10.1007/978-981-99-5968-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520720
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520720.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46739-4">https://doi.org/10.1007/978-3-031-46739-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence in Music, Sound, Art and Design 12th International Conference, EvoMUSART 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520836
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Johnson, Colin. editor. Rodríguez-Fernández, Nereida. editor. Rebelo, Sérgio M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520836.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29956-8">https://doi.org/10.1007/978-3-031-29956-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520876
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number XX(520876.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42280-5">https://doi.org/10.1007/978-3-031-42280-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:521033
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521033.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35129-7">https://doi.org/10.1007/978-3-031-35129-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 19th International Conference, GECON 2022, Izola, Slovenia, September 13-15, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520919
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bañares, José Ángel. editor. Altmann, Jörn. editor. Agmon Ben-Yehuda, Orna. editor. Djemame, Karim. editor. Stankovski, Vlado. editor.<br/>Preferred Shelf Number XX(520919.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29315-3">https://doi.org/10.1007/978-3-031-29315-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520927
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520927.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-29786-1">https://doi.org/10.1007/978-3-031-29786-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Springer Handbook of Augmented Reality
ent://SD_ILS/0/SD_ILS:520176
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Nee, Andrew Yeh Ching. editor. Ong, Soh Khim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520176.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-67822-7">https://doi.org/10.1007/978-3-030-67822-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:520194
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520194.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23950-2">https://doi.org/10.1007/978-3-031-23950-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Cognitive Science and Communications Selected Articles from the 5th International Conference on Communications and Cyber-Physical Engineering (ICCCE 2022), Hyderabad, India
ent://SD_ILS/0/SD_ILS:520299
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Kumar, Amit. editor. Mozar, Stefan. editor. Haase, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520299.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-8086-2">https://doi.org/10.1007/978-981-19-8086-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ArtsIT, Interactivity and Game Creation 11th EAI International Conference, ArtsIT 2022, Faro, Portugal, November 21-22, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520308
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Brooks, Anthony L. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520308.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28993-4">https://doi.org/10.1007/978-3-031-28993-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:520319
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520319.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2446-2">https://doi.org/10.1007/978-981-99-2446-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520321
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Narváez, Fabián R. editor. Urgilés, Fernando. editor. Bastos-Filho, Teodiano Freire. editor. Salgado-Guerrero, Juan Pablo. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520321.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-32213-6">https://doi.org/10.1007/978-3-031-32213-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paradigms of Smart and Intelligent Communication, 5G and Beyond
ent://SD_ILS/0/SD_ILS:520326
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Rai, Amrita. editor. Kumar Singh, Dinesh. editor. Sehgal, Amit. editor. Cengiz, Korhan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520326.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-0109-8">https://doi.org/10.1007/978-981-99-0109-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Subject-Oriented Business Process Management. Models for Designing Digital Transformations 14th International Conference, S-BPM ONE 2023, Rostock, Germany, May 31 - June 1, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520440
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Elstermann, Matthes. editor. Dittmar, Anke. editor. Lederer, Matthias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520440.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40213-5">https://doi.org/10.1007/978-3-031-40213-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Information Systems 24th International Conference, ICEIS 2022, Virtual Event, April 25-27, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520599
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Filipe, Joaquim. editor. Śmiałek, Michał. editor. Brodsky, Alexander. editor. Hammoudi, Slimane. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520599.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39386-0">https://doi.org/10.1007/978-3-031-39386-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise, Business-Process and Information Systems Modeling 24th International Conference, BPMDS 2023, and 28th International Conference, EMMSAD 2023, Zaragoza, Spain, June 12-13, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520421
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author van der Aa, Han. editor. Bork, Dominik. editor. (orcid) Proper, Henderik A. editor. Schmidt, Rainer. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520421.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34241-7">https://doi.org/10.1007/978-3-031-34241-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Big Data and Security 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520423
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Tian, Yuan. editor. (orcid) Ma, Tinghuai. editor. (orcid) Jiang, Qingshan. editor. Liu, Qi. editor. Khan, Muhammad Khurram. editor.<br/>Preferred Shelf Number XX(520423.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-3300-6">https://doi.org/10.1007/978-981-99-3300-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
ent://SD_ILS/0/SD_ILS:520632
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Cooper, Kendra M. L. editor. Bucchiarone, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520632.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33338-5">https://doi.org/10.1007/978-3-031-33338-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
6G Enabled Fog Computing in IoT Applications and Opportunities
ent://SD_ILS/0/SD_ILS:520648
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Kumar, Mohit. editor. Gill, Sukhpal Singh. editor. Samriya, Jitendra Kumar. editor. Uhlig, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520648.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30101-8">https://doi.org/10.1007/978-3-031-30101-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Technologies and Learning 6th International Conference, ICITL 2023, Porto, Portugal, August 28-30, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520965
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Huang, Yueh-Min. editor. (orcid) Rocha, Tânia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520965.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40113-8">https://doi.org/10.1007/978-3-031-40113-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Passive and Active Measurement 24th International Conference, PAM 2023, Virtual Event, March 21-23, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520896
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Brunstrom, Anna. editor. Flores, Marcel. editor. Fiore, Marco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520896.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28486-1">https://doi.org/10.1007/978-3-031-28486-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521001
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.<br/>Preferred Shelf Number XX(521001.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36402-0">https://doi.org/10.1007/978-3-031-36402-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521004
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521004.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35257-7">https://doi.org/10.1007/978-3-031-35257-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:521014
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.<br/>Preferred Shelf Number XX(521014.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-37126-4">https://doi.org/10.1007/978-3-031-37126-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521275
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Ferreira, Carla. editor. Willemse, Tim A. C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521275.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47115-5">https://doi.org/10.1007/978-3-031-47115-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521295
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(521295.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33163-3">https://doi.org/10.1007/978-3-031-33163-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing ISC High Performance 2023 International Workshops, Hamburg, Germany, May 21-25, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521305
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bienz, Amanda. editor. Weiland, Michèle. editor. Baboulin, Marc. editor. Kruse, Carola. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521305.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40843-4">https://doi.org/10.1007/978-3-031-40843-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521309
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.<br/>Preferred Shelf Number XX(521309.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42505-9">https://doi.org/10.1007/978-3-031-42505-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Health Entrepreneurship
ent://SD_ILS/0/SD_ILS:521880
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Meyers, Arlen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521880.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33902-8">https://doi.org/10.1007/978-3-031-33902-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part III
ent://SD_ILS/0/SD_ILS:520246
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520246.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-2449-3">https://doi.org/10.1007/978-981-99-2449-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
ent://SD_ILS/0/SD_ILS:520251
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.<br/>Preferred Shelf Number XX(520251.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-11686-5">https://doi.org/10.1007/978-3-031-11686-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Application of Big Data, Blockchain, and Internet of Things for Education Informatization Second EAI International Conference, BigIoT-EDU 2022, Virtual Event, July 29-31, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520264
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Jan, Mian Ahmad. editor. Khan, Fazlullah. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520264.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-23947-2">https://doi.org/10.1007/978-3-031-23947-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Trends in Database and Information Systems ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Barcelona, Spain, September 4-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520343
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Abelló, Alberto. editor. Vassiliadis, Panos. editor. Romero, Oscar. editor. Wrembel, Robert. editor. Bugiotti, Francesca. editor.<br/>Preferred Shelf Number XX(520343.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42941-5">https://doi.org/10.1007/978-3-031-42941-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grand Research Challenges in Games and Entertainment Computing in Brazil - GranDGamesBR 2020-2030 First Forum, GranDGamesBR 2020, Recife, Brazil, November 7-10, 2020, and Second Forum, GranDGamesBR 2021, Gramado, Brazil, October 18-21, 2021, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520353
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Santos, Rodrigo Pereira dos. editor. Hounsell, Marcelo da Silva. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520353.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-27639-2">https://doi.org/10.1007/978-3-031-27639-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Engineering of Batteries
ent://SD_ILS/0/SD_ILS:520358
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Santhanagopalan, Shriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520358.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-17607-4">https://doi.org/10.1007/978-3-031-17607-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Hybrid Information Processing 6th EAI International Conference, ADHIP 2022, Changsha, China, September 29-30, 2022, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:520371
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Fu, Weina. editor. Yun, Lin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520371.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28867-8">https://doi.org/10.1007/978-3-031-28867-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Agile Frameworks Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation
ent://SD_ILS/0/SD_ILS:520535
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Block, Sascha. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520535.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-67782-7">https://doi.org/10.1007/978-3-662-67782-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Haptic Devices
ent://SD_ILS/0/SD_ILS:520551
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Kern, Thorsten A. editor. Hatzfeld, Christian. editor. Abbasimoshaei, Alireza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520551.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-04536-3">https://doi.org/10.1007/978-3-031-04536-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520558
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)<br/>Preferred Shelf Number XX(520558.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25182-5">https://doi.org/10.1007/978-3-031-25182-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Towards new e-Infrastructure and e-Services for Developing Countries 14th EAI International Conference, AFRICOMM 2022, Zanzibar, Tanzania, December 5-7, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:520477
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Saeed, Rashid A. editor. Bakari, Abubakar D. editor. Sheikh, Yahya Hamad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520477.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34896-9">https://doi.org/10.1007/978-3-031-34896-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Production Management Systems. Production Management Systems for Responsible Manufacturing, Service, and Logistics Futures IFIP WG 5.7 International Conference, APMS 2023, Trondheim, Norway, September 17-21, 2023, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:520612
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Alfnes, Erlend. editor. Romsdal, Anita. editor. Strandhagen, Jan Ola. editor. von Cieminski, Gregor. editor. Romero, David. editor.<br/>Preferred Shelf Number XX(520612.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43670-3">https://doi.org/10.1007/978-3-031-43670-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Verification From Model Checking to Annotation Checking
ent://SD_ILS/0/SD_ILS:520525
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Huisman, Marieke. author. Wijs, Anton. author. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520525.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-30167-4">https://doi.org/10.1007/978-3-031-30167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:520973
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number XX(520973.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42293-5">https://doi.org/10.1007/978-3-031-42293-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:520980
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Ronzhin, Andrey. editor. Sadigov, Aminagha. editor. Meshcheryakov, Roman. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520980.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43111-1">https://doi.org/10.1007/978-3-031-43111-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:520990
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.<br/>Preferred Shelf Number XX(520990.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35190-7">https://doi.org/10.1007/978-3-031-35190-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Interface and the Management of Information Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521034
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Mori, Hirohiko. editor. Asahi, Yumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521034.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-35132-7">https://doi.org/10.1007/978-3-031-35132-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture. ECSA 2022 Tracks and Workshops Prague, Czech Republic, September 19-23, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521095
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Batista, Thais. editor. Bureš, Tomáš. editor. Raibulet, Claudia. editor. Muccini, Henry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521095.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36889-9">https://doi.org/10.1007/978-3-031-36889-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521130
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Tekinerdogan, Bedir. editor. Trubiani, Catia. editor. Tibermacine, Chouki. editor. Scandurra, Patrizia. editor. Cuesta, Carlos E. editor.<br/>Preferred Shelf Number XX(521130.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42592-9">https://doi.org/10.1007/978-3-031-42592-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521134
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Bitsch, Friedemann. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521134.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-40923-3">https://doi.org/10.1007/978-3-031-40923-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521157
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521157.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43240-8">https://doi.org/10.1007/978-3-031-43240-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:521363
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.<br/>Preferred Shelf Number XX(521363.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49008-8">https://doi.org/10.1007/978-3-031-49008-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:521395
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author González-González, Carina S. editor. Fernández-Manjón, Baltasar. editor. Li, Frederick. editor. García-Peñalvo, Francisco José. editor. Sciarrone, Filippo. editor.<br/>Preferred Shelf Number XX(521395.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-33023-0">https://doi.org/10.1007/978-3-031-33023-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518529
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518529.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15392-6">https://doi.org/10.1007/978-3-319-15392-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet of Things. IoT Infrastructures First International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:518534
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Giaffreda, Raffaele. editor. Cagáňová, Dagmar. editor. Li, Yong. editor. Riggio, Roberto. editor. Voisard, Agnès. editor.<br/>Preferred Shelf Number XX(518534.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19743-2">https://doi.org/10.1007/978-3-319-19743-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives in Business Informatics Research 14th International Conference, BIR 2015, Tartu, Estonia, August 26-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518538
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Matulevičius, Raimundas. editor. Dumas, Marlon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518538.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21915-8">https://doi.org/10.1007/978-3-319-21915-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Engineering in Complex Environments CAiSE Forum 2014, Thessaloniki, Greece, June 16-20, 2014, Selected Extended Papers
ent://SD_ILS/0/SD_ILS:518555
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Nurcan, Selmin. editor. Pimenidis, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518555.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19270-3">https://doi.org/10.1007/978-3-319-19270-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Technological Innovation for Cloud-Based Engineering Systems 6th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2015, Costa de Caparica, Portugal, April 13-15, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518571
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Camarinha-Matos, Luis M. editor. Baldissera, Thais A. editor. Di Orio, Giovanni. editor. Marques, Francisco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518571.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16766-4">https://doi.org/10.1007/978-3-319-16766-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518632
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.<br/>Preferred Shelf Number XX(518632.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19237-6">https://doi.org/10.1007/978-3-319-19237-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Business 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518656
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Fernandes, João M. editor. Machado, Ricardo J. editor. Wnuk, Krzysztof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518656.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19593-3">https://doi.org/10.1007/978-3-319-19593-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
DNA Computing and Molecular Programming 21st International Conference, DNA 21, Boston and Cambridge, MA, USA, August 17-21, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518778
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Phillips, Andrew. editor. Yin, Peng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518778.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21999-8">https://doi.org/10.1007/978-3-319-21999-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Collective Autonomic Systems The ASCENS Approach
ent://SD_ILS/0/SD_ILS:518784
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518784.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16310-9">https://doi.org/10.1007/978-3-319-16310-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security and Cryptology 10th International Conference, Inscrypt 2014, Beijing, China, December 13-15, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518785
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Lin, Dongdai. editor. Yung, Moti. editor. Zhou, Jianying. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518785.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16745-9">https://doi.org/10.1007/978-3-319-16745-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Centered Computing First International Conference, HCC 2014, Phnom Penh, Cambodia, November 27-29, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518792
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Zu, Qiaohong. editor. Hu, Bo. editor. Gu, Ning. editor. Seng, Sopheap. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518792.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15554-8">https://doi.org/10.1007/978-3-319-15554-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinspired Computation in Artificial Systems International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:518824
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Ferrández Vicente, José Manuel. editor. Álvarez-Sánchez, José Ramón. editor. de la Paz López, Félix. editor. Toledo-Moreo, Fco. Javier. editor. Adeli, Hojjat. editor.<br/>Preferred Shelf Number XX(518824.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18833-1">https://doi.org/10.1007/978-3-319-18833-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trust, Privacy and Security in Digital Business 12th International Conference, TrustBus 2015, Valencia, Spain, September 1-2, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518943
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Fischer-Hübner, Simone. editor. Lambrinoudakis, Costas. editor. López, Javier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518943.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22906-5">https://doi.org/10.1007/978-3-319-22906-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519104
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519104.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21215-9">https://doi.org/10.1007/978-3-319-21215-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:519007
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519007.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented and Virtual Reality Second International Conference, AVR 2015, Lecce, Italy, August 31 - September 3, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519164
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author De Paolis, Lucio Tommaso. editor. Mongelli, Antonio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519164.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22888-4">https://doi.org/10.1007/978-3-319-22888-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
End-User Development 5th International Symposium, IS-EUD 2015, Madrid, Spain, May 26-29, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519177
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Díaz, Paloma. editor. Pipek, Volkmar. editor. Ardito, Carmelo. editor. Jensen, Carlos. editor. Aedo, Ignacio. editor.<br/>Preferred Shelf Number XX(519177.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18425-8">https://doi.org/10.1007/978-3-319-18425-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ad-hoc, Mobile, and Wireless Networks 14th International Conference, ADHOC-NOW 2015, Athens, Greece, June 29 -- July 1, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:519189
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Papavassiliou, Symeon. editor. Ruehrup, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519189.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19662-6">https://doi.org/10.1007/978-3-319-19662-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Provenance and Annotation of Data and Processes 5th International Provenance and Annotation Workshop, IPAW 2014, Cologne, Germany, June 9-13, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519192
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Ludäscher, Bertram. editor. Plale, Beth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519192.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16462-5">https://doi.org/10.1007/978-3-319-16462-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MultiMedia Modeling 21st International Conference, MMM 2015, Sydney, Australia, January 5-7, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519193
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author He, Xiangjian. editor. Luo, Suhuai. editor. Tao, Dacheng. editor. Xu, Changsheng. editor. Yang, Jie. editor.<br/>Preferred Shelf Number XX(519193.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14442-9">https://doi.org/10.1007/978-3-319-14442-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:519299
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Rutkowski, Leszek. editor. Korytkowski, Marcin. editor. Scherer, Rafal. editor. Tadeusiewicz, Ryszard. editor. Zadeh, Lotfi A. editor.<br/>Preferred Shelf Number XX(519299.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19369-4">https://doi.org/10.1007/978-3-319-19369-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Lightweight Cryptography for Security and Privacy Third International Workshop, LightSec 2014, Istanbul, Turkey, September 1-2, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519305
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Eisenbarth, Thomas. editor. Öztürk, Erdinç. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519305.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-16363-5">https://doi.org/10.1007/978-3-319-16363-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Education Across the Curriculum 9th IFIP WG 11.8 World Conference, WISE 9, Hamburg, Germany, May 26-28, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518386
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bishop, Matt. editor. Miloslavskaya, Natalia. editor. Theocharidou, Marianthi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518386.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18500-2">https://doi.org/10.1007/978-3-319-18500-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Impact of Pen and Touch Technology on Education
ent://SD_ILS/0/SD_ILS:518440
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Hammond, Tracy. editor. Valentine, Stephanie. editor. Adler, Aaron. editor. Payton, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518440.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15594-4">https://doi.org/10.1007/978-3-319-15594-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518451
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Persson, Anne. editor. Stirna, Janis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518451.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19243-7">https://doi.org/10.1007/978-3-319-19243-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Genetic Programming Applications
ent://SD_ILS/0/SD_ILS:518480
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Gandomi, Amir H. editor. Alavi, Amir H. editor. Ryan, Conor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518480.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20883-1">https://doi.org/10.1007/978-3-319-20883-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Software Methodologies, Tools and Techniques 14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518485
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Fujita, Hamido. editor. (orcid) Guizzi, Guido. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518485.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22689-7">https://doi.org/10.1007/978-3-319-22689-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Social Media and Social Network Analysis
ent://SD_ILS/0/SD_ILS:518521
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Kazienko, Przemysław. editor. Chawla, Nitesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518521.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-19003-7">https://doi.org/10.1007/978-3-319-19003-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Evaluation of Novel Approaches to Software Engineering 9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518525
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Maciaszek, Leszek A. editor. Filipe, Joaquim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518525.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27218-4">https://doi.org/10.1007/978-3-319-27218-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creativity in Intelligent Technologies and Data Science First Conference, CIT&DS 2015, Volgograd, Russia, September 15-17, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:518527
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Shabalina, Olga. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518527.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23766-4">https://doi.org/10.1007/978-3-319-23766-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial Engineering, Management Science and Applications 2015
ent://SD_ILS/0/SD_ILS:518706
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Gen, Mitsuo. editor. Kim, Kuinam J. editor. Huang, Xiaoxia. editor. Hiroshi, Yabe. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518706.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47200-2">https://doi.org/10.1007/978-3-662-47200-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2015: Theory and Practice of Computer Science 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24-29, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518910
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Italiano, Giuseppe. editor. Margaria-Steffen, Tiziana. editor. Pokorný, Jaroslav. editor. Quisquater, Jean-Jacques. editor. Wattenhofer, Roger. editor.<br/>Preferred Shelf Number XX(518910.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46078-8">https://doi.org/10.1007/978-3-662-46078-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
ent://SD_ILS/0/SD_ILS:518828
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Meyer, Bertrand. editor. Nordio, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518828.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28406-4">https://doi.org/10.1007/978-3-319-28406-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Internet 8th International Conference, WICON 2014, Lisbon, Portugal, November 13-14, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518400
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Mumtaz, Shahid. editor. Rodriguez, Jonathan. editor. Katz, Marcos. editor. Wang, Chonggang. editor. Nascimento, Alberto. editor.<br/>Preferred Shelf Number XX(518400.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-18802-7">https://doi.org/10.1007/978-3-319-18802-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Software Methodologies, Tools and Techniques 13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518402
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Fujita, Hamido. editor. (orcid) Selamat, Ali. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518402.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-17530-0">https://doi.org/10.1007/978-3-319-17530-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Achieving Success and Innovation in Global Sourcing: Perspectives and Practices 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:518414
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518414.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-26739-5">https://doi.org/10.1007/978-3-319-26739-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Biometrics
ent://SD_ILS/0/SD_ILS:518417
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Li, Stan Z. editor. Jain, Anil K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518417.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4899-7488-4">https://doi.org/10.1007/978-1-4899-7488-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:518935
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Harris, Don. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518935.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-20373-7">https://doi.org/10.1007/978-3-319-20373-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings
ent://SD_ILS/0/SD_ILS:519135
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Bartocci, Ezio. editor. Majumdar, Rupak. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519135.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23820-3">https://doi.org/10.1007/978-3-319-23820-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Solving Software Challenges for Exascale International Conference on Exascale Applications and Software, EASC 2014, Stockholm, Sweden, April 2-3, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:519145
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Markidis, Stefano. editor. Laure, Erwin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519145.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15976-8">https://doi.org/10.1007/978-3-319-15976-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction - INTERACT 2015 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:519350
2024-12-14T06:00:28Z
2024-12-14T06:00:28Z
Author Abascal, Julio. editor. Barbosa, Simone. editor. Fetter, Mirko. editor. Gross, Tom. editor. Palanque, Philippe. editor.<br/>Preferred Shelf Number XX(519350.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22698-9">https://doi.org/10.1007/978-3-319-22698-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>