Limit Search Results
Author
SpringerLink (Online service)
(66)
Butler, Michael. editor.
(3)
State, Radu. editor.
(3)
Boca, Paul. editor.
(2)
Bowen, Jonathan P. editor.
(2)
Language
Publication Date
-
Subject
Software engineering.
(21)
Theory of Computation.
(21)
Artificial intelligence.
(20)
Formal Languages and Automata Theory.
(14)
Machine theory.
(14)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
69 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Genetic Programming 20th European Conference, EuroGP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
Author 
McDermott, James. editor. Castelli, Mauro. editor. Sekanina, Lukas. editor. Haasdijk, Evert. editor. García-Sánchez, Pablo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-55696-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Self-Aware Computing Systems
Self-Aware Computing Systems
Author 
Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-47474-8
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Author 
Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-70389-3
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Theory of Reversible Computing
Theory of Reversible Computing
Author 
Morita, Kenichi. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-4-431-56606-9
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
Author 
Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-60134-2
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
55. 
Cover image for Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Verified Software. Theories, Tools, and Experiments 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Author 
Blazy, Sandrine. editor. Chechik, Marsha. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-48869-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Directed Algebraic Topology and Concurrency
Directed Algebraic Topology and Concurrency
Author 
Fajstrup, Lisbeth. author. Goubault, Eric. author. Haucourt, Emmanuel. author. Mimram, Samuel. author. Raussen, Martin. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15398-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Author 
Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-29613-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Process Mining Data Science in Action
Process Mining Data Science in Action
Author 
van der Aalst, Wil M. P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-49851-4
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Decision Diagrams for Optimization
Decision Diagrams for Optimization
Author 
Bergman, David. author. Cire, Andre A. author. van Hoeve, Willem-Jan. author. Hooker, John. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-42849-9
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Self-aware Computing Systems An Engineering Approach
Self-aware Computing Systems An Engineering Approach
Author 
Lewis, Peter R. editor. Platzner, Marco. editor. Rinner, Bernhard. editor. Tørresen, Jim. editor. Yao, Xin. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-39675-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action