Limit Search Results
Author
SpringerLink (Online service)
(125)
Hunt, John. author.
(3)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Badger, Julia M. editor.
(2)
Language
English
(130)
Publication Date
-
Subject
Software engineering.
(81)
Computer logic.
(58)
Computer programming.
(36)
Artificial intelligence.
(26)
Mathematical logic.
(24)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
130 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Author 
Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34175-6
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
Cover image for Formal Languages and Compilation
Formal Languages and Compilation
Author 
Crespi Reghizzi, Stefano. author. Breveglieri, Luca. author. (orcid)0000-0001-5294-6840 Morzenti, Angelo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04879-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Product-Focused Software Process Improvement 20th International Conference, PROFES 2019, Barcelona, Spain, November 27–29, 2019, Proceedings
Author 
Franch, Xavier. editor. (orcid)0000-0001-9733-8830 Männistö, Tomi. editor. (orcid)0000-0001-7470-5183 Martínez-Fernández, Silverio. editor. (orcid)0000-0001-9928-133X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-35333-9
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Author 
Ahrendt, Wolfgang. editor. (orcid)0000-0002-5671-2555 Tapia Tarifa, Silvia Lizeth. editor. (orcid)0000-0001-9948-2748 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-34968-4
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Search-Based Software Engineering 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 – September 1, 2019, Proceedings
Author 
Nejati, Shiva. editor. Gay, Gregory. editor. (orcid)0000-0001-6794-9585 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27455-9
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Author 
Ölveczky, Peter Csaba. editor. Salaün, Gwen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30446-1
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16–17, 2019, Proceedings
Author 
Fonseca i Casas, Pau. editor. (orcid)0000-0002-6747-9736 Sancho, Maria-Ribera. editor. (orcid)0000-0002-5904-8709 Sherratt, Edel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30690-8
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Agreement Technologies 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers
Author 
Lujak, Marin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-17294-7
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
Cover image for Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Willemse, Tim. editor. (orcid)0000-0003-3049-7962 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-27008-7
Format: 
Availability 
Online Library~1
Available:
Copies:
34. 
Cover image for Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Author 
Dillig, Isil. editor. Tasiran, Serdar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-25540-4
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Graph Transformation 12th International Conference, ICGT 2019, Held as Part of STAF 2019, Eindhoven, The Netherlands, July 15–16, 2019, Proceedings
Author 
Guerra, Esther. editor. (orcid)0000-0002-2818-2278 Orejas, Fernando. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23611-3
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
Data Analytics and Management in Data Intensive Domains 20th International Conference, DAMDID/RCDL 2018, Moscow, Russia, October 9–12, 2018, Revised Selected Papers
Author 
Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23584-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets