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 Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings
Author 
Charlier, Émilie. editor. Leroy, Julien. editor. Rigo, Michel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-62809-7
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
Author 
Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-68034-7
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers
Author 
Battiti, Roberto. editor. (orcid)0000-0002-0259-8603 Kvasov, Dmitri E. editor. Sergeyev, Yaroslav D. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69404-7
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
Author 
Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-66176-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings
Author 
Abate, Alessandro. editor. Geeraerts, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-65765-3
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 II
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 II
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-54580-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Fundamentals of Computation Theory 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings
Author 
Klasing, Ralf. editor. Zeitoun, Marc. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-55751-8
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Cyber Physical Systems. Design, Modeling, and Evaluation 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Author 
Berger, Christian. editor. Mousavi, Mohammad Reza. editor. Wisniewski, Rafael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-51738-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers
Author 
Mauw, Sjouke. editor. Kordy, Barbara. editor. Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29968-6
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 DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
DNA Computing and Molecular Programming 22nd International Conference, DNA 22, Munich, Germany, September 4-8, 2016. Proceedings
Author 
Rondelez, Yannick. editor. Woods, Damien. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43994-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action