Limit Search Results
Author
SpringerLink (Online service)
(92)
Taylor and Francis.
(5)
Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
(3)
Roman, Dumitru. editor.
(3)
Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853
(3)
Language
Subject
Computer science.
(65)
Software engineering.
(57)
Artificial intelligence.
(40)
Logic design.
(28)
Computer network architectures.
(23)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
109 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings
Author 
Bae, Kyungmin. editor. (orcid)0000-0002-6430-5175 Ölveczky, Peter Csaba. editor. (orcid)0000-0002-0708-3721 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02146-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Machine Learning for Dynamic Software Analysis: Potentials and Limits International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
Author 
Bennaceur, Amel. editor. (orcid)0000-0002-6124-9622 Hähnle, Reiner. editor. (orcid)0000-0001-8000-7613 Meinke, Karl. editor. (orcid)0000-0002-9706-5008 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96562-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28–30, 2018, Proceedings
Author 
Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931 Schneider, Kurt. editor. Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Amasaki, Sousuke. editor. Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03673-7
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings
Author 
Colombo, Christian. editor. Leucker, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-03769-7
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
Service-Oriented and Cloud Computing 7th IFIP WG 2.14 European Conference, ESOCC 2018, Como, Italy, September 12-14, 2018, Proceedings
Author 
Kritikos, Kyriakos. editor. (orcid)0000-0001-9633-1610 Plebani, Pierluigi. editor. (orcid)0000-0001-8245-226X de Paoli, Flavio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-99819-0
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Lectures on Runtime Verification Introductory and Advanced Topics
Lectures on Runtime Verification Introductory and Advanced Topics
Author 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Falcone, Yliès. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75632-5
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings
Author 
Kamsties, Erik. editor. (orcid)0000-0002-7373-8466 Horkoff, Jennifer. editor. (orcid)0000-0002-2019-5277 Dalpiaz, Fabiano. editor. (orcid)0000-0003-4480-3887 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-77243-1
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers
Author 
Gorentla Venkata, Manjunath. editor. (orcid)0000-0002-5282-1682 Imam, Neena. editor. (orcid)0000-0001-8860-4738 Pophale, Swaroop. editor. (orcid)0000-0001-8544-6367 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-73814-7
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
Performance Evaluation and Benchmarking for the Analytics Era 9th TPC Technology Conference, TPCTC 2017, Munich, Germany, August 28, 2017, Revised Selected Papers
Author 
Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-72401-0
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
Author 
Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 Roveri, Marco. editor. (orcid)0000-0001-9483-3940 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-74781-1
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Author 
Lahiri, Shuvendu K. editor. Wang, Chao. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-01090-4
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings
Author 
Sun, Jing. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-02450-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action