Limit Search Results
Author
SpringerLink (Online service)
(907)
Voronkov, Andrei. editor.
(13)
Bernardo, Marco. editor.
(11)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Language
Publication Date
-
Subject
Computer science.
(814)
Logic design.
(742)
Computer Communication Networks.
(268)
Artificial intelligence.
(214)
Information Systems.
(100)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
917 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
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:
2. 
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:
3. 
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:
4. 
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:
5. 
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:
6. 
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:
7. 
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:
8. 
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:
9. 
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:
10. 
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:
11. 
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:
12. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets