Limit Search Results
Author
SpringerLink (Online service)
(72)
Lee, Roger. editor.
(4)
Ao, Sio-Iong. editor.
(3)
Dimitrova, Rayna. editor.
(2)
Dongarra, Jack. editor.
(2)
Language
Publication Date
-
Subject
Artificial intelligence.
(21)
Computer science.
(19)
Computer networks .
(14)
Application software.
(13)
Computer and Information Systems Applications.
(12)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
73 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Agile Modeling with UML Code Generation, Testing, Refactoring
Agile Modeling with UML Code Generation, Testing, Refactoring
Author 
Rumpe, Bernhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58862-9
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method
Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method
Author 
Alebrahim, Azadeh. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-17694-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for The Handbook of Formal Methods in Human-Computer Interaction
The Handbook of Formal Methods in Human-Computer Interaction
Author 
Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51838-1
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for S-BPM in the Production Industry A Stakeholder Approach
S-BPM in the Production Industry A Stakeholder Approach
Author 
Neubauer, Matthias. editor. Stary, Christian. editor. (orcid)0000-0001-9764-5021 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48466-2
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions
TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions
Author 
Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56593-4
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Author 
Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60134-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Reachability Problems 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings
Author 
Hague, Matthew. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67089-8
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Author 
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66176-6
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Cloud Broker and Cloudlet for Workflow Scheduling
Cloud Broker and Cloudlet for Workflow Scheduling
Author 
Youn, Chan-Hyun. author. Chen, Min. author. Dazzi, Patrizio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-5071-8
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support
Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support
Author 
Kolesnikov, Andrey. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-19102-3
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Computational Sustainability
Computational Sustainability
Author 
Lässig, Jörg. editor. Kersting, Kristian. editor. Morik, Katharina. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31858-5
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Author 
Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33600-8
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action