Limit Search Results
Author
SpringerLink (Online service)
(91)
Câmpeanu, Cezar. editor.
(2)
Deelman, Ewa. editor. (orcid)0000-0001-5106-503X
(2)
Dongarra, Jack. editor.
(2)
Karczewski, Konrad. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(64)
Computer Science Logic and Foundations of Programming.
(57)
Software engineering.
(51)
Computer programming.
(39)
Formal Languages and Automata Theory.
(39)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
97 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
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:
50. 
Cover image for Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Logic and Its Applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings
Author 
Ghosh, Sujata. editor. Prasad, Sanjiva. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54069-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Author 
de Moura, Leonardo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-63046-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Language and Automata Theory and Applications 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings
Author 
Drewes, Frank. editor. Martín-Vide, Carlos. editor. Truthe, Bianca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-53733-7
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
Author 
Zeume, Thomas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54314-6
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Author 
Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-54577-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings
Author 
Pighizzini, Giovanni. editor. Câmpeanu, Cezar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60252-3
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings
Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings
Author 
El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-59647-1
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
Parallel Processing and Applied Mathematics 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
Author 
Wyrzykowski, Roman. editor. (orcid)0000-0003-1724-1786 Deelman, Ewa. editor. (orcid)0000-0001-5106-503X Dongarra, Jack. editor. Karczewski, Konrad. editor. Kitowski, Jacek. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-32149-3
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
Languages and Compilers for Parallel Computing 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
Author 
Shen, Xipeng. editor. Mueller, Frank. editor. Tuck, James. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29778-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
Author 
Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-28228-2
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
Author 
Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-30734-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action