Limit Search Results
Author
SpringerLink (Online service)
(155)
Legay, Axel. editor.
(3)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(3)
Ait Ameur, Yamine. editor.
(2)
Artho, Cyrille. editor.
(2)
Language
English
(160)
Publication Date
-
Subject
Software engineering.
(96)
Mathematical logic.
(64)
Programming languages (Electronic computers).
(58)
Artificial intelligence.
(56)
Computers.
(29)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
160 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
Author 
Fontaine, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-29436-6
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings
Author 
Mercaş, Robert. editor. (orcid)0000-0001-6034-433X Reidenbach, Daniel. editor. (orcid)0000-0001-7996-5291 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-28796-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Runtime Verification 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Author 
Finkbeiner, Bernd. editor. (orcid)0000-0002-4280-8441 Mariani, Leonardo. editor. (orcid)0000-0001-9527-7042 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32079-9
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Author 
McQuillan, Ian. editor. Seki, Shinnosuke. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-19311-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers
Author 
Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Massink, Mieke. editor. (orcid)0000-0001-5089-002X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31517-7
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Author 
Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31280-0
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
Developments in Language Theory 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings
Author 
Hofman, Piotrek. editor. Skrzypczak, Michał. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-24886-4
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings
Author 
Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31095-0
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings
Author 
Filiot, Emmanuel. editor. Jungers, Raphaël. editor. Potapov, Igor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-30806-3
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings
Author 
Hospodár, Michal. editor. Jirásková, Galina. editor. Konstantinidis, Stavros. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-23247-4
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Author 
Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601 Cleaveland, Rance. editor. Grosu, Radu. editor. (orcid)0000-0001-5715-2142 Sokolsky, Oleg. editor. (orcid)0000-0001-5282-0658 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-31514-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Author 
Dongol, Brijesh. editor. (orcid)0000-0003-0446-3507 Petre, Luigia. editor. Smith, Graeme. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-32441-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action