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
Select an Action
917 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
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:
51. 
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:
52. 
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:
53. 
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:
54. 
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:
55. 
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:
56. 
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:
57. 
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:
58. 
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:
59. 
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:
60. 
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:
Select an Action