Limit Search Results
Author
SpringerLink (Online service)
(1137)
Marcus, Aaron. editor.
(16)
Voronkov, Andrei. editor.
(13)
Bernardo, Marco. editor.
(12)
Boer, Frank S. editor.
(10)
Language
Publication Date
-
Subject
Computer science.
(855)
Logic design.
(748)
Computer Communication Networks.
(334)
Artificial intelligence.
(283)
Computer software.
(101)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1153 Results Found Subscribe to search results
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000DEFAULT
Print
1. 
Cover image for Doing Design Ethnography
Doing Design Ethnography
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: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Quality-Driven SystemC Design
Quality-Driven SystemC Design
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: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for UML for SOC Design
UML for SOC Design
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: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Sustainable Web Ecosystem Design
Sustainable Web Ecosystem Design
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: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
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: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Introduction to Software Design with Java
Introduction to Software Design with Java
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: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Low Earth Orbit Satellite Design
Low Earth Orbit Satellite Design
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: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Software Design for Resilient Computer Systems
Software Design for Resilient Computer Systems
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: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for An Introduction to Design Science
An Introduction to Design Science
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: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Handbook on Agent-Oriented Design Processes
Handbook on Agent-Oriented Design Processes
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: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for GUI Design for Android Apps
GUI Design for Android Apps
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: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Autonomic Computing Principles, Design and Implementation
Autonomic Computing Principles, Design and Implementation
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: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for The Design of Cloud Workflow Systems
The Design of Cloud Workflow Systems
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: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Analysis and Design of Advice
Analysis and Design of Advice
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: 
Availability 
Online Library~1
Available:
Copies:
15. 
Cover image for Object-Oriented Analysis and Design
Object-Oriented Analysis and Design
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: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Design and Use of Serious Games
Design and Use of Serious Games
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: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Anti-Spam Measures Analysis and Design
Anti-Spam Measures Analysis and Design
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: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Software Engineering Techniques: Design for Quality
Software Engineering Techniques: Design for Quality
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: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Design Patterns for e-Science
Design Patterns for e-Science
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: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Model-Driven Design Using Business Patterns
Model-Driven Design Using Business Patterns
Author 
Hruby, Pavel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-30327-2
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Software design for engineers and scientists
Software design for engineers and scientists
Author 
Robinson, John A. (John Allen), 1958-
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750660808
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Artificial Intelligence for Design and Process Science
Artificial Intelligence for Design and Process Science
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: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Design and Development of Web Information Systems
Design and Development of Web Information Systems
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: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Low-Power Design and Power-Aware Verification
Low-Power Design and Power-Aware Verification
Author 
Khondkar, Progyna. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66619-8
Format: 
Availability 
Online Library~1
Available:
Copies:
25. 
Cover image for Integrating User-Centred Design in Agile Development
Integrating User-Centred Design in Agile Development
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: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Socio-technical Design of Ubiquitous Computing Systems
Socio-technical Design of Ubiquitous Computing Systems
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: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for PHP Solutions Dynamic Web Design Made Easy
PHP Solutions Dynamic Web Design Made Easy
Author 
Powers, David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4842-0635-5
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Mechanism Design for Sustainability Techniques and Cases
Mechanism Design for Sustainability Techniques and Cases
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: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for User-Level Workflow Design A Bioinformatics Perspective
User-Level Workflow Design A Bioinformatics Perspective
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: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Moderne C++ Programmierung Klassen, Templates, Design Patterns
Moderne C++ Programmierung Klassen, Templates, Design Patterns
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: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Harnessing VLSI System Design with EDA Tools
Harnessing VLSI System Design with EDA Tools
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: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Scientific Software Design The Object-Oriented Way
Scientific Software Design The Object-Oriented Way
Author 
Rouson, Damian. Xia, Jim. Xu, Xiaofeng.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Pro Objective-C Design Patterns for iOS
Pro Objective-C Design Patterns for iOS
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: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Architecture-Based Design of Multi-Agent Systems
Architecture-Based Design of Multi-Agent Systems
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: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Embedded System Design Modeling, Synthesis and Verification
Embedded System Design Modeling, Synthesis and Verification
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: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Ingredients for Successful System Level Design Methodology
Ingredients for Successful System Level Design Methodology
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: 
Availability 
Online Library~1
Available:
Copies:
37. 
Cover image for Computer-Aided Design of User Interfaces V
Computer-Aided Design of User Interfaces V
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: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Moderne C++ Programmierung Klassen, Templates, Design Patterns
Moderne C++ Programmierung Klassen, Templates, Design Patterns
Author 
Schneeweiß, Ralf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-45954-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Biometric Systems Technology, Design and Performance Evaluation
Biometric Systems Technology, Design and Performance Evaluation
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: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing
Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing
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: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
49. 
Cover image for Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5
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: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
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: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3
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: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-64073-5
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Quantum Software Aspects of Theory and System Design
Quantum Software Aspects of Theory and System Design
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: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3
Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3
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: 
Availability 
Online Library~1
Available:
Copies:
61. 
Cover image for Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems
Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems
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: 
Availability 
Online Library~1
Available:
Copies:
62. 
Cover image for Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
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: 
Availability 
Online Library~1
Available:
Copies:
63. 
Cover image for Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
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: 
Availability 
Online Library~1
Available:
Copies:
64. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
65. 
Cover image for Feature Models AI-Driven Design, Analysis and Applications
Feature Models AI-Driven Design, Analysis and Applications
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: 
Availability 
Online Library~1
Available:
Copies:
66. 
Cover image for Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings
Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
67. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
68. 
Cover image for Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
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: 
Availability 
Online Library~1
Available:
Copies:
69. 
Cover image for Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings
Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
70. 
Cover image for Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
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: 
Availability 
Online Library~1
Available:
Copies:
71. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
72. 
Cover image for 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
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
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22636-7
Format: 
Availability 
Online Library~1
Available:
Copies:
73. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
74. 
Cover image for Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers
Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
75. 
Cover image for 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
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
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-22646-6
Format: 
Availability 
Online Library~1
Available:
Copies:
76. 
Cover image for Formal Verification of Floating-Point Hardware Design A Mathematical Approach
Formal Verification of Floating-Point Hardware Design A Mathematical Approach
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: 
Availability 
Online Library~1
Available:
Copies:
77. 
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
78. 
Cover image for Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78428-1
Format: 
Availability 
Online Library~1
Available:
Copies:
79. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
80. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
81. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
82. 
Cover image for Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence
Social Networks Science: Design, Implementation, Security, and Challenges From Social Networks Analysis to Social Networks Intelligence
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: 
Availability 
Online Library~1
Available:
Copies:
83. 
Cover image for Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings
Constructive Side-Channel Analysis and Secure Design 9th International Workshop, COSADE 2018, Singapore, April 23–24, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
84. 
Cover image for Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings
Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
85. 
Cover image for Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
Author 
Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94214-8
Format: 
Availability 
Online Library~1
Available:
Copies:
86. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
87. 
Cover image for Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design
Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design
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: 
Availability 
Online Library~1
Available:
Copies:
88. 
Cover image for Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation
Five Design-Sheets: Creative Design and Sketching for Computing and Visualisation
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: 
Availability 
Online Library~1
Available:
Copies:
89. 
Cover image for Cooperative Design, Visualization, and Engineering 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings
Cooperative Design, Visualization, and Engineering 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66805-5
Format: 
Availability 
Online Library~1
Available:
Copies:
90. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
91. 
Cover image for Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
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: 
Availability 
Online Library~1
Available:
Copies:
92. 
Cover image for 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
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
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58071-5
Format: 
Availability 
Online Library~1
Available:
Copies:
93. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
94. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
95. 
Cover image for Essence of Systems Analysis and Design A Workbook Approach
Essence of Systems Analysis and Design A Workbook Approach
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: 
Availability 
Online Library~1
Available:
Copies:
96. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
97. 
Cover image for Cross-Cultural Design 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
Cross-Cultural Design 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Interactive Modeling and Simulation in Business System Design
Interactive Modeling and Simulation in Business System Design
Author 
Roubtsova, Ella. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15102-1
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I
Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I
Author 
Kurosu, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39510-4
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for 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
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
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40355-7
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for 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
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
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40409-7
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for 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
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
Author 
Marcus, Aaron. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40406-6
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Architectural Design Conception and Specification of Interactive Systems
Architectural Design Conception and Specification of Interactive Systems
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: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for Tackling Society's Grand Challenges with Design Science 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings
Tackling Society's Grand Challenges with Design Science 11th International Conference, DESRIST 2016, St. John's, NL, Canada, May 23-25, 2016, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
107. 
Cover image for Design Science Methodology for Information Systems and Software Engineering
Design Science Methodology for Information Systems and Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
108. 
Cover image for Collaborative Design for Embedded Systems Co-modelling and Co-simulation
Collaborative Design for Embedded Systems Co-modelling and Co-simulation
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: 
Availability 
Online Library~1
Available:
Copies:
109. 
Cover image for Process Design for Natural Scientists An Agile Model-Driven Approach
Process Design for Natural Scientists An Agile Model-Driven Approach
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: 
Availability 
Online Library~1
Available:
Copies:
110. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
111. 
Cover image for Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems
Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems
Author 
Biedermann, Alexander. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-08047-1
Format: 
Availability 
Online Library~1
Available:
Copies:
112. 
Cover image for Beginning Responsive Web Design with HTML5 and CSS3
Beginning Responsive Web Design with HTML5 and CSS3
Author 
Fielding, Jonathan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6695-2
Format: 
Availability 
Online Library~1
Available:
Copies:
113. 
Cover image for Irresistible Apps Motivational Design Patterns for Apps, Games, and Web-based Communities
Irresistible Apps Motivational Design Patterns for Apps, Games, and Web-based Communities
Author 
Lewis, Chris. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-1-4302-6422-4
Format: 
Availability 
Online Library~1
Available:
Copies:
114. 
Cover image for Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
Business Modeling and Software Design Second International Symposium, BMSD 2012, Geneva, Switzerland, July 4-6, 2012, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
115. 
Cover image for Creativity and Rationale Enhancing Human Experience by Design
Creativity and Rationale Enhancing Human Experience by Design
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: 
Availability 
Online Library~1
Available:
Copies:
116. 
Cover image for Scala Design Patterns Patterns for Practical Reuse and Design
Scala Design Patterns Patterns for Practical Reuse and Design
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: 
Availability 
Online Library~1
Available:
Copies:
117. 
Cover image for Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings
Design Science at the Intersection of Physical and Virtual Design 8th International Conference, DESRIST 2013, Helsinki, Finland, June 11-12, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
118. 
Cover image for Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
119. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
120. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
121. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
122. 
Cover image for Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
123. 
Cover image for Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
Practical Aspects of Design Science European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
124. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
125. 
Cover image for Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings
Persuasive Technology. Design for Health and Safety 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
126. 
Cover image for Arduino and Kinect Projects Design, Build, Blow Their Minds
Arduino and Kinect Projects Design, Build, Blow Their Minds
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: 
Availability 
Online Library~1
Available:
Copies:
127. 
Cover image for User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern
User Experience Design Mit erlebniszentrierter Softwareentwicklung zu Produkten, die begeistern
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: 
Availability 
Online Library~1
Available:
Copies:
128. 
Cover image for Design Thinking Research Studying Co-Creation in Practice
Design Thinking Research Studying Co-Creation in Practice
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: 
Availability 
Online Library~1
Available:
Copies:
129. 
Cover image for Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
Business Modeling and Software Design First International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
130. 
Cover image for Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC
Analog Circuit Design Low Voltage Low Power; Short Range Wireless Front-Ends; Power Management and DC-DC
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: 
Availability 
Online Library~1
Available:
Copies:
131. 
Cover image for Modeling, Design, and Simulation of Systems with Uncertainties
Modeling, Design, and Simulation of Systems with Uncertainties
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: 
Availability 
Online Library~1
Available:
Copies:
132. 
Cover image for Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings
Service-Oriented Perspectives in Design Science Research 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
133. 
Cover image for Research in Systems Analysis and Design: Models and Methods 4th SIGSAND/PLAIS EuroSymposium 2011, Gdańsk, Poland, September 29, 2011, Revised Selected Papers
Research in Systems Analysis and Design: Models and Methods 4th SIGSAND/PLAIS EuroSymposium 2011, Gdańsk, Poland, September 29, 2011, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
134. 
Cover image for Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems
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: 
Availability 
Online Library~1
Available:
Copies:
135. 
Cover image for The design and implementation of multimedia software with examples in Java
The design and implementation of multimedia software with examples in Java
Author 
Bernstein, David, 1960 June 9-
Preferred Shelf Number 
QA76.76.I59 B47 2011
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
136. 
Cover image for Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
Design Methodologies for Secure Embedded Systems Festschrift in Honor of Prof. Dr.-Ing. Sorin A. Huss
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: 
Availability 
Online Library~1
Available:
Copies:
137. 
Cover image for Agents for Games and Simulations II Trends in Techniques, Concepts and Design
Agents for Games and Simulations II Trends in Techniques, Concepts and Design
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: 
Availability 
Online Library~1
Available:
Copies:
138. 
Cover image for Real-Time Systems Design Principles for Distributed Embedded Applications
Real-Time Systems Design Principles for Distributed Embedded Applications
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: 
Availability 
Online Library~1
Available:
Copies:
139. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
140. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
141. 
Cover image for Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings
Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
142. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation 21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
143. 
Cover image for Embedded Systems Design Based on Formal Models of Computation
Embedded Systems Design Based on Formal Models of Computation
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: 
Availability 
Online Library~1
Available:
Copies:
144. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
145. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
146. 
Cover image for Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
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: 
Availability 
Online Library~1
Available:
Copies:
147. 
Cover image for A Process Algebraic Approach to Software Architecture Design
A Process Algebraic Approach to Software Architecture Design
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: 
Availability 
Online Library~1
Available:
Copies:
148. 
Cover image for Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings
Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
149. 
Cover image for Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
150. 
Cover image for Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.
Global Perspectives on Design Science Research 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings.
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: 
Availability 
Online Library~1
Available:
Copies:
151. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
152. 
Cover image for Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings
Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
153. 
Cover image for OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems
OSS Design Patterns A Pattern Approach to the Design of Telecommunications Management Systems
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: 
Availability 
Online Library~1
Available:
Copies:
154. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
155. 
Cover image for Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers
Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers
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: 
Availability 
Online Library~1
Available:
Copies:
156. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
157. 
Cover image for Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings
Haptic and Audio Interaction Design 4th International Conference, HAID 2009 Dresden, Germany, September 10-11, 2009 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
158. 
Cover image for SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings
SDL 2009: Design for Motes and Mobiles 14th International SDL Forum Bochum, Germany, September 22-24, 2009 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
159. 
Cover image for Electronics System Design Techniques for Safety Critical Applications
Electronics System Design Techniques for Safety Critical Applications
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: 
Availability 
Online Library~1
Available:
Copies:
160. 
Cover image for Hardware Software Co-Design of a Multimedia SOC Platform
Hardware Software Co-Design of a Multimedia SOC Platform
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: 
Availability 
Online Library~1
Available:
Copies:
161. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
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: 
Availability 
Online Library~1
Available:
Copies:
162. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
163. 
Cover image for Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
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: 
Availability 
Online Library~1
Available:
Copies:
164. 
Cover image for Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project
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: 
Availability 
Online Library~1
Available:
Copies:
165. 
Cover image for Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE
Entwicklung IT-basierter Dienstleistungen Co-Design von Software und Services mit ServCASE
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: 
Availability 
Online Library~1
Available:
Copies:
166. 
Cover image for Embedded Systems Specification and Design Languages Selected contributions from FDL’07
Embedded Systems Specification and Design Languages Selected contributions from FDL’07
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: 
Availability 
Online Library~1
Available:
Copies:
167. 
Cover image for Analysis and Design of Information Systems Third Edition
Analysis and Design of Information Systems Third Edition
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: 
Availability 
Online Library~1
Available:
Copies:
168. 
Cover image for Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
169. 
Cover image for Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
170. 
Cover image for Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
Computer Supported Cooperative Work in Design IV 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
171. 
Cover image for Processor Design System-on-Chip Computing for ASICs and FPGAs
Processor Design System-on-Chip Computing for ASICs and FPGAs
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: 
Availability 
Online Library~1
Available:
Copies:
172. 
Cover image for Real-Time Object Uniform Design Methodology with UML
Real-Time Object Uniform Design Methodology with UML
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: 
Availability 
Online Library~1
Available:
Copies:
173. 
Cover image for Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
Advances in Design and Specification Languages for Embedded Systems Selected Contributions from FDL'06
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: 
Availability 
Online Library~1
Available:
Copies:
174. 
Cover image for Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
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: 
Availability 
Online Library~1
Available:
Copies:
175. 
Cover image for Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
Interactive Systems. Design, Specification, and Verification 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
176. 
Cover image for Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers
Task Models and Diagrams for Users Interface Design 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
177. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
178. 
Cover image for The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
The Disappearing Computer Interaction Design, System Infrastructures and Applications for Smart Environments
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: 
Availability 
Online Library~1
Available:
Copies:
179. 
Cover image for Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings
Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
180. 
Cover image for Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
Computer Supported Cooperative Work in Design III 10th International Conference, CSCWD 2006, Nanjing, China, May 3-5, 2006, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
181. 
Cover image for Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
Human-Computer Interaction. Interaction Design and Usability 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
182. 
Cover image for Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings
Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
183. 
Cover image for SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings
SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
184. 
Cover image for Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings
Task Models and Diagrams for User Interface Design 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007. Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
185. 
Cover image for Design for Manufacturability and Yield for Nano-Scale CMOS
Design for Manufacturability and Yield for Nano-Scale CMOS
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: 
Availability 
Online Library~1
Available:
Copies:
186. 
Cover image for Software Engineering 3 Domains, Requirements, and Software Design
Software Engineering 3 Domains, Requirements, and Software Design
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: 
Availability 
Online Library~1
Available:
Copies:
187. 
Cover image for Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
Interactive Systems. Design, Specification, and Verification 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005. Revised Papers
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: 
Availability 
Online Library~1
Available:
Copies:
188. 
Cover image for 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
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
Author 
Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11757283
Format: 
Availability 
Online Library~1
Available:
Copies:
189. 
Cover image for Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
Embedded Robotics Mobile Robot Design and Applications with Embedded Systems
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: 
Availability 
Online Library~1
Available:
Copies:
190. 
Cover image for High Availability and Disaster Recovery Concepts, Design, Implementation
High Availability and Disaster Recovery Concepts, Design, Implementation
Author 
Schmidt, Klaus. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-34582-5
Format: 
Availability 
Online Library~1
Available:
Copies:
191. 
Cover image for Mobile Information Systems Infrastructure and Design for Adaptivity and Flexibility
Mobile Information Systems Infrastructure and Design for Adaptivity and Flexibility
Author 
Pernici, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-31008-8
Format: 
Availability 
Online Library~1
Available:
Copies:
192. 
Cover image for Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
Computer Supported Cooperative Work in Design II 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
193. 
Cover image for Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
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: 
Availability 
Online Library~1
Available:
Copies:
194. 
Cover image for Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings
Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11863649
Format: 
Availability 
Online Library~1
Available:
Copies:
195. 
Cover image for Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
Platform Based Design at the Electronic System Level Industry Perspectives and Experiences
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: 
Availability 
Online Library~1
Available:
Copies:
196. 
Cover image for Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen
Speech Application SDK mit ASP.NET Design und Implementierung sprachgestützter Web-Applikationen
Author 
Zeeck, Achim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/3-540-28086-3
Format: 
Availability 
Online Library~1
Available:
Copies:
197. 
Cover image for Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
Computer Supported Cooperative Work in Design I 8th International Conference, CSCWD 2004, Xiamen, China, May 26-28, 2004. Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
198. 
Cover image for Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings
Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings
Author 
Luo, Yuhua. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11555223
Format: 
Availability 
Online Library~1
Available:
Copies:
199. 
Cover image for 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
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
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
200. 
Cover image for 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
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
Author 
Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560548
Format: 
Availability 
Online Library~1
Available:
Copies:
201. 
Cover image for Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Advances in Design and Specification Languages for SoCs Selected Contributions from FDL’04
Author 
Boulet, Pierre. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136935
Format: 
Availability 
Online Library~1
Available:
Copies:
202. 
Cover image for Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
Design of Adaptive Finite Element Software The Finite Element Toolbox ALBERTA
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: 
Availability 
Online Library~1
Available:
Copies:
203. 
Cover image for Learning Design A Handbook on Modelling and Delivering Networked Education and Training
Learning Design A Handbook on Modelling and Delivering Networked Education and Training
Author 
Koper, Rob. editor. Tattersall, Colin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138966
Format: 
Availability 
Online Library~1
Available:
Copies:
204. 
Cover image for Embedded Systems Design The ARTIST Roadmap for Research and Development
Embedded Systems Design The ARTIST Roadmap for Research and Development
Author 
Bouyssounouse, Bruno. author. Sifakis, Joseph. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106761
Format: 
Availability 
Online Library~1
Available:
Copies:
205. 
Cover image for System Level Design of Reconfigurable Systems-on-Chip
System Level Design of Reconfigurable Systems-on-Chip
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: 
Availability 
Online Library~1
Available:
Copies:
206. 
Cover image for Interconnect-Centric Design for Advanced SoC and NoC
Interconnect-Centric Design for Advanced SoC and NoC
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: 
Availability 
Online Library~1
Available:
Copies:
207. 
Cover image for Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung
Automotive Embedded Systeme Effizientes Framework — Vom Design zur Implementierung
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: 
Availability 
Online Library~1
Available:
Copies:
208. 
Cover image for Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
Author 
Zhuk, Jeff.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
209. 
Cover image for Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
210. 
Cover image for Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
211. 
Cover image for Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
212. 
Cover image for Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
213. 
Cover image for Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
214. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
215. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII
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: 
Availability 
Online Library~1
Available:
Copies:
216. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
217. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII
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: 
Availability 
Online Library~1
Available:
Copies:
218. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III
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: 
Availability 
Online Library~1
Available:
Copies:
219. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X
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: 
Availability 
Online Library~1
Available:
Copies:
220. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX
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: 
Availability 
Online Library~1
Available:
Copies:
221. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV
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: 
Availability 
Online Library~1
Available:
Copies:
222. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI
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: 
Availability 
Online Library~1
Available:
Copies:
223. 
Cover image for Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
224. 
Cover image for Data Protection for Software Development and IT A Practical Introduction
Data Protection for Software Development and IT A Practical Introduction
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: 
Availability 
Online Library~1
Available:
Copies:
225. 
Cover image for Transactions on Pattern Languages of Programming V
Transactions on Pattern Languages of Programming V
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: 
Availability 
Online Library~1
Available:
Copies:
226. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
227. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
228. 
Cover image for Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
229. 
Cover image for Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings
Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
230. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
231. 
Cover image for Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers
Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
232. 
Cover image for Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
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: 
Availability 
Online Library~1
Available:
Copies:
233. 
Cover image for The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
234. 
Cover image for High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
235. 
Cover image for Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings
Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
236. 
Cover image for Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
237. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
238. 
Cover image for Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
239. 
Cover image for Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V
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: 
Availability 
Online Library~1
Available:
Copies:
240. 
Cover image for A Concise Introduction to Software Engineering With Open Source and GenAI
A Concise Introduction to Software Engineering With Open Source and GenAI
Author 
Jalote, Pankaj. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-74318-4
Format: 
Availability 
Online Library~1
Available:
Copies:
241. 
Cover image for Metamodeling for Extended Reality
Metamodeling for Extended Reality
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: 
Availability 
Online Library~1
Available:
Copies:
242. 
Cover image for Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
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: 
Availability 
Online Library~1
Available:
Copies:
243. 
Cover image for Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers
Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
244. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
245. 
Cover image for Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
246. 
Cover image for Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings
Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
247. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
248. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
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: 
Availability 
Online Library~1
Available:
Copies:
249. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
250. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
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: 
Availability 
Online Library~1
Available:
Copies:
251. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
252. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
253. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
254. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
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: 
Availability 
Online Library~1
Available:
Copies:
255. 
Cover image for Videogame Sciences and Arts 14th International Conference, VJ 2024, Leiria, Portugal, December 5-6, 2024, Proceedings
Videogame Sciences and Arts 14th International Conference, VJ 2024, Leiria, Portugal, December 5-6, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
256. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
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: 
Availability 
Online Library~1
Available:
Copies:
257. 
Cover image for Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
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: 
Availability 
Online Library~1
Available:
Copies:
258. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
259. 
Cover image for Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
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: 
Availability 
Online Library~1
Available:
Copies:
260. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
261. 
Cover image for Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings
Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
262. 
Cover image for Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
263. 
Cover image for Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
264. 
Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
265. 
Cover image for Collaboration Technologies and Social Computing 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings
Collaboration Technologies and Social Computing 30th International Conference, CollabTech 2024, Barcelona, Spain, September 11-14, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
266. 
Cover image for Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World
Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World
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: 
Availability 
Online Library~1
Available:
Copies:
267. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
268. 
Cover image for Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
269. 
Cover image for Performance Engineering Learning Through Applications Using JMT
Performance Engineering Learning Through Applications Using JMT
Author 
Serazzi, Giuseppe. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-36763-2
Format: 
Availability 
Online Library~1
Available:
Copies:
270. 
Cover image for Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
271. 
Cover image for Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023
Parallel and Distributed Computing, Applications and Technologies Proceedings of PDCAT 2023
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: 
Availability 
Online Library~1
Available:
Copies:
272. 
Cover image for CyberSecurity in a DevOps Environment From Requirements to Monitoring
CyberSecurity in a DevOps Environment From Requirements to Monitoring
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: 
Availability 
Online Library~1
Available:
Copies:
273. 
Cover image for Videogame Sciences and Arts 13th International Conference, VJ 2023, Aveiro, Portugal, November 28-30, 2023, Revised Selected Papers
Videogame Sciences and Arts 13th International Conference, VJ 2023, Aveiro, Portugal, November 28-30, 2023, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
274. 
Cover image for Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings
Services Computing - SCC 2023 20th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
275. 
Cover image for Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II
Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
276. 
Cover image for Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
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: 
Availability 
Online Library~1
Available:
Copies:
277. 
Cover image for Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers
Autonomous Agents and Multiagent Systems. Best and Visionary Papers AAMAS 2023 Workshops, London, UK, May 29 -June 2, 2023, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
278. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
279. 
Cover image for The French School of Programming
The French School of Programming
Author 
Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Availability 
Online Library~1
Available:
Copies:
280. 
Cover image for Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
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: 
Availability 
Online Library~1
Available:
Copies:
281. 
Cover image for Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
282. 
Cover image for Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
Computer Aided Verification 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III
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: 
Availability 
Online Library~1
Available:
Copies:
283. 
Cover image for The Engineering of Digital Twins
The Engineering of Digital Twins
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: 
Availability 
Online Library~1
Available:
Copies:
284. 
Cover image for Understanding the Digital World Modeling with HERAKLIT
Understanding the Digital World Modeling with HERAKLIT
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: 
Availability 
Online Library~1
Available:
Copies:
285. 
Cover image for Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
Software Architecture 18th European Conference, ECSA 2024, Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
286. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
287. 
Cover image for Computational Thinking First Algorithms, Then Code
Computational Thinking First Algorithms, Then Code
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: 
Availability 
Online Library~1
Available:
Copies:
288. 
Cover image for Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2
Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2
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: 
Availability 
Online Library~1
Available:
Copies:
289. 
Cover image for Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I
Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
290. 
Cover image for Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II
Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II
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: 
Availability 
Online Library~1
Available:
Copies:
291. 
Cover image for Software Architectures Topics Usually Missed in Textbooks
Software Architectures Topics Usually Missed in Textbooks
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: 
Availability 
Online Library~1
Available:
Copies:
292. 
Cover image for Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
293. 
Cover image for 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
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
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: 
Availability 
Online Library~1
Available:
Copies:
294. 
Cover image for Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers
Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
295. 
Cover image for Experimentation in Software Engineering
Experimentation in Software Engineering
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: 
Availability 
Online Library~1
Available:
Copies:
296. 
Cover image for Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I
Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I
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: 
Availability 
Online Library~1
Available:
Copies:
297. 
Cover image for Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers
Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers
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: 
Availability 
Online Library~1
Available:
Copies:
298. 
Cover image for Dependable Computing - EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings
Dependable Computing - EDCC 2024 Workshops SafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings
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: 
Availability 
Online Library~1
Available:
Copies:
299. 
Cover image for Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products
Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products
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: 
Availability 
Online Library~1
Available:
Copies:
300. 
Cover image for ITNG 2023 20th International Conference on Information Technology-New Generations
ITNG 2023 20th International Conference on Information Technology-New Generations
Author 
Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-28332-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets