Search Results for Design. - Narrowed by: Software engineering.

Doing Design Ethnography

2026-03-27T13:22:29Z

Author Crabtree, Andrew. author. Rouncefield, Mark. author. Tolmie, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2726-0
Format: Electronic Resources
Availability Online Library~1

Quality-Driven SystemC Design

2026-03-27T13:22:29Z

Author Große, Daniel. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-90-481-3631-5
Format: Electronic Resources
Availability Online Library~1

UML for SOC Design

2026-03-27T13:22:29Z

Author Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135980
Format: Electronic Resources
Availability Online Library~1

Sustainable Web Ecosystem Design

2026-03-27T13:22:29Z

Author O'Toole, Greg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332331.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4614-7714-3
Format: Electronic Resources
Availability Online Library~1

Software Design for Resilient Computer Systems

2026-03-27T13:22:29Z

Author Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55139-0
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Design with Java

2026-03-27T13:22:29Z

Author Robillard, Martin P. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24094-3
Format: Electronic Resources
Availability Online Library~1

Low Earth Orbit Satellite Design

2026-03-27T13:22:29Z

Author Sebestyen, George. author. Fujikawa, Steve. author. Galassi, Nicholas. author. Chuchra, Alex. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-68315-7
Format: Electronic Resources
Availability Online Library~1

Software Design for Resilient Computer Systems

2026-03-27T13:22:29Z

Author Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29465-0
Format: Electronic Resources
Availability Online Library~1

Handbook on Agent-Oriented Design Processes

2026-03-27T13:22:29Z

Author Cossentino, Massimo. editor. Hilaire, Vincent. editor. Molesini, Ambra. editor. Seidita, Valeria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-39975-6
Format: Electronic Resources
Availability Online Library~1

An Introduction to Design Science

2026-03-27T13:22:29Z

Author Johannesson, Paul. author. Perjons, Erik. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-10632-8
Format: Electronic Resources
Availability Online Library~1

GUI Design for Android Apps

2026-03-27T13:22:29Z

Author Cohen, Ryan. author. Wang, Tao. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0382-8
Format: Electronic Resources
Availability Online Library~1

Autonomic Computing Principles, Design and Implementation

2026-03-27T13:22:29Z

Author Lalanda, Philippe. author. McCann, Julie A. author. Diaconescu, Ada. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331115.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5007-7
Format: Electronic Resources
Availability Online Library~1

The Design of Cloud Workflow Systems

2026-03-27T13:22:29Z

Author Liu, Xiao. author. Yuan, Dong. author. Zhang, Gaofeng. author. Li, Wenhao. author. Cao, Dahai. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4614-1933-4
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Analysis and Design

2026-03-27T13:22:29Z

Author Ramnath, Sarnath. editor. Dathan, Brahma. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84996-522-4
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Advice

2026-03-27T13:22:29Z

Author Jureta, Ivan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18059-0
Format: Electronic Resources
Availability Online Library~1

Design and Use of Serious Games

2026-03-27T13:22:29Z

Author Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9496-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering Techniques: Design for Quality

2026-03-27T13:22:29Z

Author Sacha, Krzysztof. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-387-39388-9
Format: Electronic Resources
Availability Online Library~1

Anti-Spam Measures Analysis and Design

2026-03-27T13:22:29Z

Author Schryen, Guido. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71750-8
Format: Electronic Resources
Availability Online Library~1

Design Patterns for e-Science

2026-03-27T13:22:29Z

Author Gardner, Henry. author. Manduchi, Gabriele. author. Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-68090-X
Format: Electronic Resources
Availability Online Library~1

Model-Driven Design Using Business Patterns

2026-03-27T13:22:29Z

Author Hruby, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-30327-2
Format: Electronic Resources
Availability Online Library~1

Software design for engineers and scientists

2026-03-27T13:22:29Z

Author Robinson, John A. (John Allen), 1958-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for Design and Process Science

2026-03-27T13:22:29Z

Author Suh, Sang C. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67886-8
Format: Electronic Resources
Availability Online Library~1

Design and Development of Web Information Systems

2026-03-27T13:22:29Z

Author Schewe, Klaus-Dieter. author. Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-58824-6
Format: Electronic Resources
Availability Online Library~1

Low-Power Design and Power-Aware Verification

2026-03-27T13:22:29Z

Author Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66619-8
Format: Electronic Resources
Availability Online Library~1

Integrating User-Centred Design in Agile Development

2026-03-27T13:22:29Z

Author Cockton, Gilbert. editor. Lárusdóttir, Marta. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666 Cajander, Åsa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-32165-3
Format: Electronic Resources
Availability Online Library~1

Socio-technical Design of Ubiquitous Computing Systems

2026-03-27T13:22:29Z

Author David, Klaus. editor. Geihs, Kurt. editor. Leimeister, Jan Marco. editor. Roßnagel, Alexander. editor. Schmidt, Ludger. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05044-7
Format: Electronic Resources
Availability Online Library~1

PHP Solutions Dynamic Web Design Made Easy

2026-03-27T13:22:29Z

Author Powers, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4842-0635-5
Format: Electronic Resources
Availability Online Library~1

Mechanism Design for Sustainability Techniques and Cases

2026-03-27T13:22:29Z

Author Luo, Zongwei. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336131.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5995-4
Format: Electronic Resources
Availability Online Library~1

User-Level Workflow Design A Bioinformatics Perspective

2026-03-27T13:22:29Z

Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335213.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45389-2
Format: Electronic Resources
Availability Online Library~1

Harnessing VLSI System Design with EDA Tools

2026-03-27T13:22:29Z

Author Kamat, Rajanish K. author. Shinde, Santosh A. author. Gaikwad, Pawan K. author. Guhilot, Hansraj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1864-7
Format: Electronic Resources
Availability Online Library~1

Moderne C++ Programmierung Klassen, Templates, Design Patterns

2026-03-27T13:22:29Z

Author Schneeweiß, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21429-5
Format: Electronic Resources
Availability Online Library~1

Pro Objective-C Design Patterns for iOS

2026-03-27T13:22:29Z

Author Chung, Carlo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-3331-2
Format: Electronic Resources
Availability Online Library~1

Scientific Software Design The Object-Oriented Way

2026-03-27T13:22:29Z

Author Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Architecture-Based Design of Multi-Agent Systems

2026-03-27T13:22:29Z

Author Weyns, Danny. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01064-4
Format: Electronic Resources
Availability Online Library~1

Embedded System Design Modeling, Synthesis and Verification

2026-03-27T13:22:29Z

Author Gajski, Daniel D. author. Abdi, Samar. author. Gerstlauer, Andreas. author. Schirner, Gunar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-0504-8
Format: Electronic Resources
Availability Online Library~1

Ingredients for Successful System Level Design Methodology

2026-03-27T13:22:29Z

Author Patel, Hiren D. author. Shukla, Sandeep K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8472-0
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Design of User Interfaces V

2026-03-27T13:22:29Z

Author Calvary, Gaëlle. editor. Pribeanu, Costin. editor. Santucci, Giuseppe. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5820-2
Format: Electronic Resources
Availability Online Library~1

Moderne C++ Programmierung Klassen, Templates, Design Patterns

2026-03-27T13:22:29Z

Author Schneeweiß, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-45954-5
Format: Electronic Resources
Availability Online Library~1

Biometric Systems Technology, Design and Performance Evaluation

2026-03-27T13:22:29Z

Author Wayman, James. editor. Jain, Anil. editor. Maltoni, Davide. editor. Maio, Dario. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138151
Format: Electronic Resources
Availability Online Library~1

Enterprise Design, Operations, and Computing. EDOC 2024 Workshops iRESEARCH, MIDas4CS, Doctoral Consortium, Joint CBI-EDOC Forum and Other Joint CBI-EDOC Events, Vienna, Austria, September 10-13, 2024, Revised Selected Papers

2026-03-27T13:22:29Z

Author Kaczmarek-Heß, Monika. editor. (orcid)0000-0002-1621-2775 Rosenthal, Kristina. editor. (orcid)0000-0002-7698-2130 Suchánek, Marek. editor. (orcid)0000-0001-7525-9218 Da Silva, Miguel Mira. editor. (orcid)0000-0002-0489-4465 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-79059-1
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-03-27T13:22:29Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93221-2
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-03-27T13:22:29Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93230-4
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V

2026-03-27T13:22:29Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93233-5
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI

2026-03-27T13:22:29Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93236-6
Format: Electronic Resources
Availability Online Library~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

2026-03-27T13:22:29Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96775-7
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing

2026-03-27T13:22:29Z

Author Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76212-3
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-03-27T13:22:29Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93224-3
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-03-27T13:22:29Z

Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93733-0
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-03-27T13:22:29Z

Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93736-1
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-03-27T13:22:29Z

Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93730-9
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-03-27T13:22:29Z

Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93227-4
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-03-27T13:22:29Z

Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93739-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

2026-03-27T13:22:29Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96798-6
Format: Electronic Resources
Availability Online Library~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

2026-03-27T13:22:29Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96380-3
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61353-1
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61351-7
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

2026-03-27T13:22:29Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64073-5
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part V

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61362-3
Format: Electronic Resources
Availability Online Library~1

Quantum Software Aspects of Theory and System Design

2026-03-27T13:22:29Z

Author Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64136-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1

2026-03-27T13:22:29Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70285-3
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3

2026-03-27T13:22:29Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70518-2
Format: Electronic Resources
Availability Online Library~1

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

2026-03-27T13:22:29Z

Author Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42202-7
Format: Electronic Resources
Availability Online Library~1

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

2026-03-27T13:22:29Z

Author Morazán, Marco T. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43973-5
Format: Electronic Resources
Availability Online Library~1

Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

2026-03-27T13:22:29Z

Author Liu, Jianghua. editor. Xu, Lei. editor. (orcid)0000-0001-9178-6640 Huang, Xinyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51399-2
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part III

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61356-2
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability 13th International Conference, DUXU 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part IV

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Rosenzweig, Elizabeth. editor. Soares, Marcelo M. editor. (orcid)0000-0003-2942-5320 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61359-3
Format: Electronic Resources
Availability Online Library~1

Feature Models AI-Driven Design, Analysis and Applications

2026-03-27T13:22:29Z

Author Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61874-1
Format: Electronic Resources
Availability Online Library~1

Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1

2026-03-27T13:22:29Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21435-6
Format: Electronic Resources
Availability Online Library~1

Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers

2026-03-27T13:22:29Z

Author Chamberlain, Roger. editor. Taha, Walid. editor. (orcid)0000-0003-3160-9188 Törngren, Martin. editor. (orcid)0000-0002-4300-885X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17910-6
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2026-03-27T13:22:29Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22646-6
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IV

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23535-2
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30949-7
Format: Electronic Resources
Availability Online Library~1

Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness

2026-03-27T13:22:29Z

Author Gol Mohammadi, Nazila. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-27488-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III

2026-03-27T13:22:29Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22636-7
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability. Design Philosophy and Theory 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23570-3
Format: Electronic Resources
Availability Online Library~1

Formal Verification of Floating-Point Hardware Design A Mathematical Approach

2026-03-27T13:22:29Z

Author Russinoff, David M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-95513-1
Format: Electronic Resources
Availability Online Library~1

Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers

2026-03-27T13:22:29Z

Author Lee, Ji-Hyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-8410-3
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-03-27T13:22:29Z

Author Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92141-9
Format: Electronic Resources
Availability Online Library~1

Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence

2026-03-27T13:22:29Z

Author Dey, Nilanjan. editor. Babo, Rosalina. editor. Ashour, Amira S. editor. Bhatnagar, Vishal. editor. Bouhlel, Med Salim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90059-9
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

2026-03-27T13:22:29Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78428-1
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00560-3
Format: Electronic Resources
Availability Online Library~1

Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings

2026-03-27T13:22:29Z

Author Fan, Junfeng. editor. Gierlichs, Benedikt. editor. (orcid)0000-0002-5866-1990 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89641-0
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

2026-03-27T13:22:29Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94214-8
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Designing Interactions 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part II

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91803-7
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Theory and Practice 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91797-9
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91806-8
Format: Electronic Resources
Availability Online Library~1

Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design

2026-03-27T13:22:29Z

Author Vaziri, Daryoush Daniel. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-22875-0
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Understanding Users and Contexts 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part III

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58640-3
Format: Electronic Resources
Availability Online Library~1

Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation

2026-03-27T13:22:29Z

Author Roberts, Jonathan C. author. Headleand, Christopher J. author. Ritsos, Panagiotis D. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-55627-7
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. User Interface Design, Development and Multimodality 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-03-27T13:22:29Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58071-5
Format: Electronic Resources
Availability Online Library~1

Cross-Cultural Design 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings

2026-03-27T13:22:29Z

Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-57931-3
Format: Electronic Resources
Availability Online Library~1

Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings

2026-03-27T13:22:29Z

Author Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-4436-6
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66805-5
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Designing Pleasurable Experiences 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58637-3
Format: Electronic Resources
Availability Online Library~1

Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

2026-03-27T13:22:29Z

Author Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51738-4
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Theory, Methodology, and Management 6th International Conference, DUXU 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-58634-2
Format: Electronic Resources
Availability Online Library~1

System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings

2026-03-27T13:22:29Z

Author Götz, Marcelo. editor. Schirner, Gunar. editor. Wehrmeister, Marco Aurélio. editor. Al Faruque, Mohammad Abdullah. editor. Rettberg, Achim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90023-0
Format: Electronic Resources
Availability Online Library~1

Essence of Systems Analysis and Design A Workbook Approach

2026-03-27T13:22:29Z

Author Sajja, Priti Srinivas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-10-5128-9
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I

2026-03-27T13:22:29Z

Author Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39510-4
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40355-7
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40409-7
Format: Electronic Resources
Availability Online Library~1

Architectural Design Conception and Specification of Interactive Systems

2026-03-27T13:22:29Z

Author Vissers, Chris A. author. Pires, Luís Ferreira. author. Quartel, Dick A.C. author. van Sinderen, Marten. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-43298-4
Format: Electronic Resources
Availability Online Library~1

Interactive Modeling and Simulation in Business System Design

2026-03-27T13:22:29Z

Author Roubtsova, Ella. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15102-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources
Availability Online Library~1

Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III

2026-03-27T13:22:29Z

Author Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-40406-6
Format: Electronic Resources
Availability Online Library~1

Tackling Society's Grand Challenges with Design Science 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings

2026-03-27T13:22:29Z

Author Parsons, Jeffrey. editor. Tuunanen, Tuure. editor. Venable, John. editor. Donnellan, Brian. editor. Helfert, Markus. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-39294-3
Format: Electronic Resources
Availability Online Library~1

Collaborative Design for Embedded Systems Co-modelling and Co-simulation

2026-03-27T13:22:29Z

Author Fitzgerald, John. editor. Larsen, Peter Gorm. editor. Verhoef, Marcel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54118-6
Format: Electronic Resources
Availability Online Library~1

Design Science Methodology for Information Systems and Software Engineering

2026-03-27T13:22:29Z

Author Wieringa, Roel J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43839-8
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources
Availability Online Library~1

Process Design for Natural Scientists An Agile Model-Driven Approach

2026-03-27T13:22:29Z

Author Lamprecht, Anna-Lena. editor. Margaria, Tiziana. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-45006-2
Format: Electronic Resources
Availability Online Library~1

Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems

2026-03-27T13:22:29Z

Author Biedermann, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-08047-1
Format: Electronic Resources
Availability Online Library~1

Irresistible Apps Motivational Design Patterns for Apps, Games, and Web-based Communities

2026-03-27T13:22:29Z

Author Lewis, Chris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6422-4
Format: Electronic Resources
Availability Online Library~1

Beginning Responsive Web Design with HTML5 and CSS3

2026-03-27T13:22:29Z

Author Fielding, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4302-6695-2
Format: Electronic Resources
Availability Online Library~1

Creativity and Rationale Enhancing Human Experience by Design

2026-03-27T13:22:29Z

Author Carroll, John M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(330908.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-4111-2
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers

2026-03-27T13:22:29Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334438.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37478-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Electronic Resources
Availability Online Library~1

Scala Design Patterns Patterns for Practical Reuse and Design

2026-03-27T13:22:29Z

Author Hunt, John. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(332904.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-02192-8
Format: Electronic Resources
Availability Online Library~1

Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings

2026-03-27T13:22:29Z

Author Brocke, Jan. editor. Hekkala, Riitta. editor. Ram, Sudha. editor. Rossi, Matti. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334675.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38827-9
Format: Electronic Resources
Availability Online Library~1

Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

2026-03-27T13:22:29Z

Author Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.
Preferred Shelf Number ONLINE(334682.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38853-8
Format: Electronic Resources
Availability Online Library~1

Arduino and Kinect Projects Design, Build, Blow Their Minds

2026-03-27T13:22:29Z

Author Melgar, Enrique Ramos. author. Díez, Ciriaco Castro. author. Jaworski, Przemek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4302-4168-3
Format: Electronic Resources
Availability Online Library~1

Design Thinking Research Studying Co-Creation in Practice

2026-03-27T13:22:29Z

Author Plattner, Hasso. editor. Meinel, Christoph. editor. Leifer, Larry. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21643-5
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Forward-Looking Trends in IC and Systems Design 18th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2010, Madrid, Spain, September 27-29, 2010, Revised Selected Papers

2026-03-27T13:22:29Z

Author Ayala, José L. editor. Atienza Alonso, David. editor. Reis, Ricardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28566-0
Format: Electronic Resources
Availability Online Library~1

Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

2026-03-27T13:22:29Z

Author Helfert, Markus. editor. Donnellan, Brian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33681-2
Format: Electronic Resources
Availability Online Library~1

Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC

2026-03-27T13:22:29Z

Author Steyaert, Michiel. editor. van Roermund, Arthur. editor. Baschirotto, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1926-2
Format: Electronic Resources
Availability Online Library~1

User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern

2026-03-27T13:22:29Z

Author Moser, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13363-3
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers

2026-03-27T13:22:29Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29788-5
Format: Electronic Resources
Availability Online Library~1

Design Science Research in Information Systems. Advances in Theory and Practice 7th International Conference, DESRIST 2012, Las Vegas, NV, USA, May 14-15, 2012. Proceedings

2026-03-27T13:22:29Z

Author Peffers, Ken. editor. Rothenberger, Marcus. editor. Kuechler, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29863-9
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Electronic Resources
Availability Online Library~1

Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings

2026-03-27T13:22:29Z

Author Bang, Magnus. editor. Ragnemalm, Eva L. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31037-9
Format: Electronic Resources
Availability Online Library~1

Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings

2026-03-27T13:22:29Z

Author Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31494-0
Format: Electronic Resources
Availability Online Library~1

Real-Time Systems Design Principles for Distributed Embedded Applications

2026-03-27T13:22:29Z

Author Kopetz, Hermann. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-8237-7
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers

2026-03-27T13:22:29Z

Author Leuken, René. editor. Sicard, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-17752-1
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23734-8
Format: Electronic Resources
Availability Online Library~1

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems

2026-03-27T13:22:29Z

Author Marwedel, Peter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-0257-8
Format: Electronic Resources
Availability Online Library~1

Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings

2026-03-27T13:22:29Z

Author Jain, Hemant. editor. Sinha, Atish P. editor. Vitharana, Padmal. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20633-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21455-4
Format: Electronic Resources
Availability Online Library~1

Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings

2026-03-27T13:22:29Z

Author Ayala, José L. editor. García-Cámara, Braulio. editor. Prieto, Manuel. editor. Ruggiero, Martino. editor. Sicard, Gilles. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24154-3
Format: Electronic Resources
Availability Online Library~1

Research in Systems Analysis and Design: Models and Methods 4th SIGSAND/PLAIS EuroSymposium 2011, Gdańsk, Poland, September 29, 2011, Revised Selected Papers

2026-03-27T13:22:29Z

Author Wrycza, Stanisław. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-25676-9
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Design Based on Formal Models of Computation

2026-03-27T13:22:29Z

Author Radojevic, Ivan. author. Salcic, Zoran. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-94-007-1594-3
Format: Electronic Resources
Availability Online Library~1

Modeling, Design, and Simulation of Systems with Uncertainties

2026-03-27T13:22:29Z

Author Rauh, Andreas. editor. Auer, Ekaterina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15956-5
Format: Electronic Resources
Availability Online Library~1

Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss

2026-03-27T13:22:29Z

Author Biedermann, Alexander. editor. Molter, H. Gregor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16767-6
Format: Electronic Resources
Availability Online Library~1

Agents for Games and Simulations II Trends in Techniques, Concepts and Design

2026-03-27T13:22:29Z

Author Dignum, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-18181-8
Format: Electronic Resources
Availability Online Library~1

The design and implementation of multimedia software with examples in Java

2026-03-27T13:22:29Z

Author Bernstein, David, 1960 June 9-
Preferred Shelf Number QA76.76.I59 B47 2011
Format: Books
Availability Beytepe Library~1

A Process Algebraic Approach to Software Architecture Design

2026-03-27T13:22:29Z

Author Aldini, Alessandro. author. Bernardo, Marco. author. Corradini, Flavio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-223-4
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers

2026-03-27T13:22:29Z

Author England, David. editor. Palanque, Philippe. editor. Vanderdonckt, Jean. editor. Wild, Peter J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11797-8
Format: Electronic Resources
Availability Online Library~1

Human Benefit through the Diffusion of Information Systems Design Science Research IFIP WG 8.2/8.6 International Working Conference, Perth, Australia, March 30 – April 1, 2010. Proceedings

2026-03-27T13:22:29Z

Author Pries-Heje, Jan. editor. Venable, John. editor. Bunker, Deborah. editor. Russo, Nancy L. editor. DeGross, Janice I. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12113-5
Format: Electronic Resources
Availability Online Library~1

VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers

2026-03-27T13:22:29Z

Author Piguet, Christian. editor. Reis, Ricardo. editor. Soudris, Dimitrios. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12267-5
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Electronic Resources
Availability Online Library~1

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models

2026-03-27T13:22:29Z

Author Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15228-3
Format: Electronic Resources
Availability Online Library~1

Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.

2026-03-27T13:22:29Z

Author Winter, Robert. editor. Zhao, J. Leon. editor. Aier, Stephan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13335-0
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16066-0
Format: Electronic Resources
Availability Online Library~1

Electronics System Design Techniques for Safety Critical Applications

2026-03-27T13:22:29Z

Author Sterpone, Luca. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8979-4
Format: Electronic Resources
Availability Online Library~1

Hardware Software Co-Design of a Multimedia SOC Platform

2026-03-27T13:22:29Z

Author Chen, Sao-Jie. author. Lin, Guang-Huei. author. Hsiung, Pao-Ann. author. Hu, Yu-Hen. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9623-5
Format: Electronic Resources
Availability Online Library~1

Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08

2026-03-27T13:22:29Z

Author Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: Electronic Resources
Availability Online Library~1

OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems

2026-03-27T13:22:29Z

Author Ashford, Colin. author. Gauthier, Pierre. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01396-6
Format: Electronic Resources
Availability Online Library~1

Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers

2026-03-27T13:22:29Z

Author Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92966-6
Format: Electronic Resources
Availability Online Library~1

Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers

2026-03-27T13:22:29Z

Author Collins, John. editor. Faratin, Peyman. editor. Parsons, Simon. editor. Rodriguez-Aguilar, Juan A. editor. Sadeh, Norman M. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88713-3
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01918-0
Format: Electronic Resources
Availability Online Library~1

Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings

2026-03-27T13:22:29Z

Author Altinsoy, M. Ercan. editor. Jekosch, Ute. editor. Brewster, Stephen. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04076-4
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04265-2
Format: Electronic Resources
Availability Online Library~1

SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings

2026-03-27T13:22:29Z

Author Reed, Rick. editor. Bilgic, Attila. editor. Gotzhein, Reinhard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-04554-7
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers

2026-03-27T13:22:29Z

Author Shen, Weiming. editor. Yong, Jianming. editor. Yang, Yun. editor. Barthès, Jean-Paul A. editor. Luo, Junzhou. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-92719-8
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Specification and Design Languages Selected contributions from FDL’07

2026-03-27T13:22:29Z

Author Villar, Eugenio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8297-9
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Information Systems Third Edition

2026-03-27T13:22:29Z

Author Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-655-1
Format: Electronic Resources
Availability Online Library~1

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2026-03-27T13:22:29Z

Author Bräunl, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70534-5
Format: Electronic Resources
Availability Online Library~1

Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project

2026-03-27T13:22:29Z

Author Nagl, Manfred. editor. Marquardt, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70552-9
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

2026-03-27T13:22:29Z

Author Graham, T. C. Nicholas. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70569-7
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-88011-0
Format: Electronic Resources
Availability Online Library~1

Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE

2026-03-27T13:22:29Z

Author Fähnrich, Klaus-Peter. editor. Husen, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-7908-1944-1
Format: Electronic Resources
Availability Online Library~1

Processor Design System-on-Chip Computing for ASICs and FPGAs

2026-03-27T13:22:29Z

Author Nurmi, Jari. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5530-0
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers

2026-03-27T13:22:29Z

Author Doherty, Gavin. editor. Blandford, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-69554-7
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers

2026-03-27T13:22:29Z

Author Coninx, Karin. editor. Luyten, Kris. editor. Schneider, Kevin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-70816-2
Format: Electronic Resources
Availability Online Library~1

Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings

2026-03-27T13:22:29Z

Author Winckler, Marco. editor. Johnson, Hilary. editor. Palanque, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-77222-4
Format: Electronic Resources
Availability Online Library~1

Real-Time Object Uniform Design Methodology with UML

2026-03-27T13:22:29Z

Author Duc, Bui Minh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5977-3
Format: Electronic Resources
Availability Online Library~1

Design for Manufacturability and Yield for Nano-Scale CMOS

2026-03-27T13:22:29Z

Author Chiang, Charles C. author. Kawa, Jamil. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-5188-3
Format: Electronic Resources
Availability Online Library~1

Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06

2026-03-27T13:22:29Z

Author Huss, Sorin A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6149-3
Format: Electronic Resources
Availability Online Library~1

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

2026-03-27T13:22:29Z

Author Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: Electronic Resources
Availability Online Library~1

The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments

2026-03-27T13:22:29Z

Author Streitz, Norbert. editor. Kameas, Achilles. editor. Mavrommati, Irene. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72727-9
Format: Electronic Resources
Availability Online Library~1

Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings

2026-03-27T13:22:29Z

Author Tomkos, Ioannis. editor. Neri, Fabio. editor. Solé Pareta, Josep. editor. Masip Bruin, Xavier. editor. Sánchez Lopez, Sergi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72731-6
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers

2026-03-27T13:22:29Z

Author Shen, Weiming. editor. Luo, Junzhou. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Hao, Qi. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72863-4
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I

2026-03-27T13:22:29Z

Author Jacko, Julie A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73105-4
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74780-2
Format: Electronic Resources
Availability Online Library~1

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings

2026-03-27T13:22:29Z

Author Gaudin, Emmanuel. editor. Najm, Elie. editor. Reed, Rick. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-74984-4
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Electronic Resources
Availability Online Library~1

Mobile Information Systems Infrastructure and Design for Adaptivity and Flexibility

2026-03-27T13:22:29Z

Author Pernici, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-31008-8
Format: Electronic Resources
Availability Online Library~1

Platform Based Design at the Electronic System Level Industry Perspectives and Experiences

2026-03-27T13:22:29Z

Author Burton, Mark. author. Morawiec, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5138-7
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

2026-03-27T13:22:29Z

Author Shen, Wei-ming. editor. Chao, Kuo-Ming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. James, Anne. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11686699
Format: Electronic Resources
Availability Online Library~1

Software Engineering 3 Domains, Requirements, and Software Design

2026-03-27T13:22:29Z

Author Bjøner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-33653-2
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

2026-03-27T13:22:29Z

Author Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-39538-5
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11863649
Format: Electronic Resources
Availability Online Library~1

Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers

2026-03-27T13:22:29Z

Author Gilroy, Stephen W. editor. Harrison, Michael D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11752707
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757283
Format: Electronic Resources
Availability Online Library~1

Embedded Robotics Mobile Robot Design and Applications with Embedded Systems

2026-03-27T13:22:29Z

Author Bräunl, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34319-9
Format: Electronic Resources
Availability Online Library~1

High Availability and Disaster Recovery Concepts, Design, Implementation

2026-03-27T13:22:29Z

Author Schmidt, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-34582-5
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings

2026-03-27T13:22:29Z

Author Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11555223
Format: Electronic Resources
Availability Online Library~1

System Level Design of Reconfigurable Systems-on-Chip

2026-03-27T13:22:29Z

Author Voros, Nikolaos S. editor. Masselos, Konstantinos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136832
Format: Electronic Resources
Availability Online Library~1

Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04

2026-03-27T13:22:29Z

Author Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b136935
Format: Electronic Resources
Availability Online Library~1

Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA

2026-03-27T13:22:29Z

Author Barth, Timothy J. editor. Griebel, Michael. editor. Keyes, David E. editor. Nieminen, Risto M. editor. Roose, Dirk. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138692
Format: Electronic Resources
Availability Online Library~1

Learning Design A Handbook on Modelling and Delivering Networked Education and Training

2026-03-27T13:22:29Z

Author Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b138966
Format: Electronic Resources
Availability Online Library~1

Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen

2026-03-27T13:22:29Z

Author Zeeck, Achim. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28086-3
Format: Electronic Resources
Availability Online Library~1

Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung

2026-03-27T13:22:29Z

Author Wietzke, Joachim. author. Tran, Manh Tien. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-28305-6
Format: Electronic Resources
Availability Online Library~1

Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers

2026-03-27T13:22:29Z

Author Shen, Weiming. editor. Lin, Zongkai. editor. Barthès, Jean-Paul A. editor. Li, Tangqiu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11568421
Format: Electronic Resources
Availability Online Library~1

Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings

2026-03-27T13:22:29Z

Author Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11560548
Format: Electronic Resources
Availability Online Library~1

Embedded Systems Design The ARTIST Roadmap for Research and Development

2026-03-27T13:22:29Z

Author Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106761
Format: Electronic Resources
Availability Online Library~1

Interconnect-Centric Design for Advanced SoC and NoC

2026-03-27T13:22:29Z

Author Nurmi, Jari. editor. Tenhunen, Hannu. editor. Isoaho, Jouni. editor. Jantsch, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b117241
Format: Electronic Resources
Availability Online Library~1

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

2026-03-27T13:22:29Z

Author Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135888
Format: Electronic Resources
Availability Online Library~1

Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies

2026-03-27T13:22:29Z

Author Zhuk, Jeff.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

2026-03-27T13:22:29Z

Author Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73887-6
Format: Electronic Resources
Availability Online Library~1

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

2026-03-27T13:22:29Z

Author Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74498-3
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

2026-03-27T13:22:29Z

Author Kosmatov, Nikolai. editor. Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76554-4
Format: Electronic Resources
Availability Online Library~1

Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-03-27T13:22:29Z

Author He, Sheng. editor. (orcid)0000-0002-7142-8990 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77000-5
Format: Electronic Resources
Availability Online Library~1

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings

2026-03-27T13:22:29Z

Author Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82065-6
Format: Electronic Resources
Availability Online Library~1

Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings

2026-03-27T13:22:29Z

Author Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-7752-5
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0789-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0798-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0792-1
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0777-8
Format: Electronic Resources
Availability Online Library~1

Metamodeling for Extended Reality

2026-03-27T13:22:29Z

Author Muff, Fabian. author. (orcid)0000-0002-7283-6603 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76762-3
Format: Electronic Resources
Availability Online Library~1

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

2026-03-27T13:22:29Z

Author Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81202-6
Format: Electronic Resources
Availability Online Library~1

Data Protection for Software Development and IT A Practical Introduction

2026-03-27T13:22:29Z

Author Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-70639-8
Format: Electronic Resources
Availability Online Library~1

Transactions on Pattern Languages of Programming V

2026-03-27T13:22:29Z

Author Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-70810-1
Format: Electronic Resources
Availability Online Library~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-27T13:22:29Z

Author Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97492-2
Format: Electronic Resources
Availability Online Library~1

Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings

2026-03-27T13:22:29Z

Author Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-8312-3
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-03-27T13:22:29Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97573-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-27T13:22:29Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97567-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

2026-03-27T13:22:29Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97570-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-27T13:22:29Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97554-7
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-27T13:22:29Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97557-8
Format: Electronic Resources
Availability Online Library~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-03-27T13:22:29Z

Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-97564-6
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

2026-03-27T13:22:29Z

Author Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-98679-6
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

2026-03-27T13:22:29Z

Author Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-98668-0
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

2026-03-27T13:22:29Z

Author Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-98682-6
Format: Electronic Resources
Availability Online Library~1

Videogame Sciences and Arts 14th International Conference, VJ 2024, Leiria, Portugal, December 5-6, 2024, Proceedings

2026-03-27T13:22:29Z

Author Marto, Anabela. editor. (orcid)0000-0001-6005-288X Prada, Rui. editor. (orcid)0000-0002-5370-1893 Gouveia, Patrícia. editor. (orcid)0000-0002-4351-8999 Espinosa, Ruth Contreras-. editor. (orcid)0000-0002-9699-9087 Gonçalves, Alexandrino. editor. (orcid)0000-0002-5966-3218
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-81713-7
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-27T13:22:29Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85930-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-03-27T13:22:29Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77382-2
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-03-27T13:22:29Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82949-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-03-27T13:22:29Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82957-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-03-27T13:22:29Z

Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-83885-9
Format: Electronic Resources
Availability Online Library~1

Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

2026-03-27T13:22:29Z

Author Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71079-7
Format: Electronic Resources
Availability Online Library~1

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

2026-03-27T13:22:29Z

Author Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73751-0
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings

2026-03-27T13:22:29Z

Author Peter, Sibylle. editor. (orcid)0009-0007-4308-053X Kropp, Martin. editor. (orcid)0000-0002-7439-6517 Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 Anslow, Craig. editor. (orcid)0000-0001-8064-6300 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94544-1
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-03-27T13:22:29Z

Author Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94706-3
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings

2026-03-27T13:22:29Z

Author Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Wautelet, Yves. editor. (orcid)0000-0002-6560-9787 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-94931-9
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-03-27T13:22:29Z

Author Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95728-4
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

2026-03-27T13:22:29Z

Author Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-98685-7
Format: Electronic Resources
Availability Online Library~1

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

2026-03-27T13:22:29Z

Author Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73716-9
Format: Electronic Resources
Availability Online Library~1

Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

2026-03-27T13:22:29Z

Author Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74430-3
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0774-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0783-9
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0771-6
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0780-8
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0795-2
Format: Electronic Resources
Availability Online Library~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X

2026-03-27T13:22:29Z

Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-0786-0
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

2026-03-27T13:22:29Z

Author Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78377-7
Format: Electronic Resources
Availability Online Library~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

2026-03-27T13:22:29Z

Author Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78380-7
Format: Electronic Resources
Availability Online Library~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-27T13:22:29Z

Author Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-74318-4
Format: Electronic Resources
Availability Online Library~1

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2026-03-27T13:22:29Z

Author Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85134-6
Format: Electronic Resources
Availability Online Library~1

Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers

2026-03-27T13:22:29Z

Author Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86585-5
Format: Electronic Resources
Availability Online Library~1

Dependable Computing - EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings

2026-03-27T13:22:29Z

Author Sangchoolie, Behrooz. editor. Adler, Rasmus. editor. Hawkins, Richard. editor. (orcid)0000-0001-7347-3413 Schleiss, Philipp. editor. Arteconi, Alessia. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56776-6
Format: Electronic Resources
Availability Online Library~1

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings

2026-03-27T13:22:29Z

Author Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62638-8
Format: Electronic Resources
Availability Online Library~1

Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings

2026-03-27T13:22:29Z

Author Lárusdóttir, Marta Kristín. editor. (orcid)0000-0003-0256-5710 Naqvi, Bilal. editor. (orcid)0000-0001-5271-5604 Bernhaupt, Regina. editor. (orcid)0000-0003-3522-5990 Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855 Sauer, Stefan. editor. (orcid)0000-0003-3084-0409
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64576-1
Format: Electronic Resources
Availability Online Library~1

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

2026-03-27T13:22:29Z

Author Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64285-2
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II

2026-03-27T13:22:29Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65630-9
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III

2026-03-27T13:22:29Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65633-0
Format: Electronic Resources
Availability Online Library~1

Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

2026-03-27T13:22:29Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70300-3
Format: Electronic Resources
Availability Online Library~1

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I

2026-03-27T13:22:29Z

Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53025-8
Format: Electronic Resources
Availability Online Library~1

Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis

2026-03-27T13:22:29Z

Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56862-6
Format: Electronic Resources
Availability Online Library~1

Collaboration Technologies and Social Computing 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings

2026-03-27T13:22:29Z

Author Santos, Patricia. editor. (orcid)0000-0002-7337-2388 Álvarez, Claudio. editor. (orcid)0000-0002-5442-2140 Hernández-Leo, Davinia. editor. (orcid)0000-0003-0548-7455 Kobayashi, Minoru. editor. (orcid)0000-0001-6737-1736 Zurita, Gustavo. editor. (orcid)0000-0003-0757-1247
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67998-8
Format: Electronic Resources
Availability Online Library~1

The Engineering of Digital Twins

2026-03-27T13:22:29Z

Author Fitzgerald, John. editor. (orcid)0000-0001-7041-1807 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66719-0
Format: Electronic Resources
Availability Online Library~1

Understanding the Digital World Modeling with HERAKLIT

2026-03-27T13:22:29Z

Author Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61898-7
Format: Electronic Resources
Availability Online Library~1

Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

2026-03-27T13:22:29Z

Author Galster, Matthias. editor. (orcid)0000-0003-3491-1833 Scandurra, Patrizia. editor. (orcid)0000-0002-9209-3624 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 Oliveira Antonino, Pablo. editor. (orcid)0000-0002-9631-8771 Nakagawa, Elisa Yumi. editor. (orcid)0000-0002-7754-4298
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70797-1
Format: Electronic Resources
Availability Online Library~1

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part I

2026-03-27T13:22:29Z

Author Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71739-0
Format: Electronic Resources
Availability Online Library~1

Navigating Unpredictability: Collaborative Networks in Non-linear Worlds 25th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2024, Albi, France, October 28-30, 2024, Proceedings, Part II

2026-03-27T13:22:29Z

Author Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Ortiz, Angel. editor. (orcid)0000-0001-5690-0807 Boucher, Xavier. editor. (orcid)0000-0002-0869-4153 Barthe-Delanoë, Anne-Marie. editor. (orcid)0000-0002-6619-7382 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71743-7
Format: Electronic Resources
Availability Online Library~1

Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World

2026-03-27T13:22:29Z

Author Hoda, Rashina. author. (orcid)0000-0001-5147-8096 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60533-8
Format: Electronic Resources
Availability Online Library~1

Performance Engineering Learning Through Applications Using JMT

2026-03-27T13:22:29Z

Author Serazzi, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36763-2
Format: Electronic Resources
Availability Online Library~1

Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023

2026-03-27T13:22:29Z

Author Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Takizawa, Hiroyuki. editor. (orcid)0000-0003-2858-3140 Shen, Hong. editor. Park, James J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8211-0
Format: Electronic Resources
Availability Online Library~1

CyberSecurity in a DevOps Environment From Requirements to Monitoring

2026-03-27T13:22:29Z

Author Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42212-6
Format: Electronic Resources
Availability Online Library~1

Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings

2026-03-27T13:22:29Z

Author Herber, Paula. editor. Wijs, Anton. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47705-8
Format: Electronic Resources
Availability Online Library~1

Videogame Sciences and Arts 13th International Conference, VJ 2023, Aveiro, Portugal, November 28-30, 2023, Revised Selected Papers

2026-03-27T13:22:29Z

Author Vale Costa, Liliana. editor. Zagalo, Nelson. editor. (orcid)0000-0002-5478-0650 Veloso, Ana Isabel. editor. Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Arnab, Sylvester. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51452-4
Format: Electronic Resources
Availability Online Library~1

Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

2026-03-27T13:22:29Z

Author Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51674-0
Format: Electronic Resources
Availability Online Library~1

Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

2026-03-27T13:22:29Z

Author Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Benslimane, Djamal. editor. Zervakis, Michalis. editor. Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51643-6
Format: Electronic Resources
Availability Online Library~1

Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II

2026-03-27T13:22:29Z

Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53036-4
Format: Electronic Resources
Availability Online Library~1

Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers

2026-03-27T13:22:29Z

Author Amigoni, Francesco. editor. (orcid)0000-0001-8146-6213 Sinha, Arunesh. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56255-6
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings

2026-03-27T13:22:29Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57259-3
Format: Electronic Resources
Availability Online Library~1

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

2026-03-27T13:22:29Z

Author Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44412-8
Format: Electronic Resources
Availability Online Library~1

Software Architectures Topics Usually Missed in Textbooks

2026-03-27T13:22:29Z

Author Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51335-0
Format: Electronic Resources
Availability Online Library~1

The French School of Programming

2026-03-27T13:22:29Z

Author Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34518-0
Format: Electronic Resources
Availability Online Library~1

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

2026-03-27T13:22:29Z

Author Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2300-3
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I

2026-03-27T13:22:29Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Ganesh, Vijay. editor. (orcid)0000-0002-6029-2047 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-65627-9
Format: Electronic Resources
Availability Online Library~1

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

2026-03-27T13:22:29Z

Author Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66064-1
Format: Electronic Resources
Availability Online Library~1

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

2026-03-27T13:22:29Z

Author Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68416-6
Format: Electronic Resources
Availability Online Library~1

Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers

2026-03-27T13:22:29Z

Author Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Febles Estrada, Ailyn. editor. (orcid)0000-0002-5742-9719 De Castro Lozano, Carlos. editor. (orcid)0000-0002-8240-0344 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70439-0
Format: Electronic Resources
Availability Online Library~1

Experimentation in Software Engineering

2026-03-27T13:22:29Z

Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-69306-3
Format: Electronic Resources
Availability Online Library~1

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2026-03-27T13:22:29Z

Author Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-72621-7
Format: Electronic Resources
Availability Online Library~1

Computational Thinking First Algorithms, Then Code

2026-03-27T13:22:29Z

Author Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-59922-4
Format: Electronic Resources
Availability Online Library~1

Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I

2026-03-27T13:22:29Z

Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77426-3
Format: Electronic Resources
Availability Online Library~1

Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II

2026-03-27T13:22:29Z

Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77432-4
Format: Electronic Resources
Availability Online Library~1

Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products

2026-03-27T13:22:29Z

Author Atem de Carvalho, Rogerio. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-08893-3
Format: Electronic Resources
Availability Online Library~1

ITNG 2023 20th International Conference on Information Technology-New Generations

2026-03-27T13:22:29Z

Author Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28332-1
Format: Electronic Resources
Availability Online Library~1