Limit Search Results
Author
SpringerLink (Online service)
(51)
Castelli, Mauro. editor.
(2)
Dimitrova, Rayna. editor.
(2)
Dongarra, Jack. editor.
(2)
Kobayashi, Naoki. editor.
(2)
Language
Publication Date
-
Subject
Theory of Computation.
(21)
Software engineering.
(19)
Artificial intelligence.
(17)
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
54 Results Found Subscribe to search results
000000DEFAULT
Print
49. 
Cover image for Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
Author 
Larsen, Kim Guldstrand. editor. Potapov, Igor. editor. Srba, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-45994-3
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
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:
51. 
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:
52. 
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:
53. 
Cover image for Computing handbook
Computing handbook
Author 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Topi, Heikki, editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number 
QA76 .C5732 2014 EB
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9780429171529
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
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:
Select an Action