Limit Search Results
Author
SpringerLink (Online service)
(18)
Abbasov, Ali M. editor.
(1)
Ahrendt, Wolfgang. editor.
(1)
Arbel, Eli. editor.
(1)
Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291
(1)
Language
Publication Date
-
Subject
Artificial intelligence.
(10)
Software engineering.
(9)
Compilers (Computer programs).
(6)
Compilers and Interpreters.
(6)
Computer Science Logic and Foundations of Programming.
(6)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
19 Results Found Subscribe to search results
0000000DEFAULT
Print
1. 
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:
2. 
Cover image for Deductive Software Verification - The KeY Book From Theory to Practice
Deductive Software Verification - The KeY Book From Theory to Practice
Author 
Ahrendt, Wolfgang. editor. Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291 Bubel, Richard. editor. Hähnle, Reiner. editor. Schmitt, Peter H. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49812-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
Author 
Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-49052-6
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
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:
5. 
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:
6. 
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:
7. 
Cover image for Operational risk management a practical approach to intelligent data analysis
Operational risk management a practical approach to intelligent data analysis
Author 
Kenett, Ron. Raanan, Yossi.
Preferred Shelf Number 
ONLINE(318959.1)
Electronic Access 
Access restricted to McGill users
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=589233
ebrary http://site.ebrary.com/id/10412605
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=336702
John Wiley http://dx.doi.org/10.1002/9780470972571
Format: 
Availability 
Online Library~1
Available:
Copies: