Search Results for Software design. - Narrowed by: 2023
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bdesign.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026pe$003dd$00253A$0026ps$003d300?dt=list
2024-12-30T23:25:15Z
Advanced Digital System Design using SoC FPGAs An Integrated Hardware/Software Approach
ent://SD_ILS/0/SD_ILS:520191
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Technology Research Explained Design of Software, Architectures, Methods, and Technology in General
ent://SD_ILS/0/SD_ILS:520280
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering
ent://SD_ILS/0/SD_ILS:520650
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Springer Handbook of Augmented Reality
ent://SD_ILS/0/SD_ILS:520176
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
ent://SD_ILS/0/SD_ILS:520251
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Software Engineering for Games in Serious Contexts Theories, Methods, Tools, and Experiences
ent://SD_ILS/0/SD_ILS:520632
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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 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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Digital Health Entrepreneurship
ent://SD_ILS/0/SD_ILS:521880
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Paradigms of Smart and Intelligent Communication, 5G and Beyond
ent://SD_ILS/0/SD_ILS:520326
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Engineering Haptic Devices
ent://SD_ILS/0/SD_ILS:520551
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Optimising the Software Development Process with Artificial Intelligence
ent://SD_ILS/0/SD_ILS:520515
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Concise Guide to Software Verification From Model Checking to Annotation Checking
ent://SD_ILS/0/SD_ILS:520525
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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, 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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Large-Scale Agile Frameworks Agile Frameworks, Agile Infrastructure and Pragmatic Solutions for Digital Transformation
ent://SD_ILS/0/SD_ILS:520535
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
6G Enabled Fog Computing in IoT Applications and Opportunities
ent://SD_ILS/0/SD_ILS:520648
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
Software Architecture 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:521130
2024-12-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>
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-30T23:25:15Z
2024-12-30T23:25:15Z
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/>