Limit Search Results
Author
SpringerLink (Online service)
(68)
Ao, Sio-Iong. editor.
(3)
Kim, Haeng Kon. editor.
(2)
Abrahamsson, Pekka. editor.
(1)
Ahrendt, Wolfgang. editor.
(1)
Language
Publication Date
-
Subject
Computer science.
(15)
Compilers (Computer programs).
(10)
Compilers and Interpreters.
(10)
Computer Science Logic and Foundations of Programming.
(10)
Artificial intelligence.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
69 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings
Author 
Moral, Serafín. editor. Pivert, Olivier. editor. Sánchez, Daniel. editor. Marín, Nicolás. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-67582-4
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015
Author 
Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-2717-8
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective
Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective
Author 
Bermbach, David. author. Wittern, Erik. author. Tai, Stefan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55483-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
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:
29. 
Cover image for Automotive Software Architectures An Introduction
Automotive Software Architectures An Introduction
Author 
Staron, Miroslaw. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-58610-6
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Pervasive Computing Engineering Smart Systems
Pervasive Computing Engineering Smart Systems
Author 
Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51655-4
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Requirements Engineering
Requirements Engineering
Author 
Dick, Jeremy. author. Hull, Elizabeth. author. Jackson, Ken. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61073-3
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
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:
33. 
Cover image for Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
Author 
Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-56841-6
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
Author 
Lindley, Sam. editor. McBride, Conor. editor. Trinder, Phil. editor. Sannella, Don. editor. (orcid)0000-0003-4520-8924 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30936-1
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Distributed Simulation A Model Driven Engineering Approach
Distributed Simulation A Model Driven Engineering Approach
Author 
Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-03050-0
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change
Managing Software Process Evolution Traditional, Agile and Beyond - How to Handle Process Change
Author 
Kuhrmann, Marco. editor. Münch, Jürgen. editor. Richardson, Ita. editor. Rausch, Andreas. editor. Zhang, He. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-31545-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action