Limit Search Results
Author
SpringerLink (Online service)
(21)
Garcia Diaz, Vicente. editor.
(2)
Nandan Mohanty, Sachi. editor.
(2)
Satish Kumar, G. A. E. editor.
(2)
Ammeraal, Leen. author.
(1)
Language
Publication Date
-
Subject
Software engineering.
(6)
Artificial intelligence.
(5)
Computer science.
(5)
Computer science -- Mathematics.
(4)
Electronic books.
(4)
Material Type
Shelf Location
Switch to list view
Switch to thumbnail view
32 Results Found Subscribe to search results
00000000DEFAULT
Print
25. 
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:
26. 
Cover image for System Dynamics Modeling with R
System Dynamics Modeling with R
Author 
Duggan, Jim. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-34043-2
Format: 
Availability 
Online Library~1
Available:
Copies:
27. 
Cover image for Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
Author 
Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-27683-0
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Introduction to the History of Computing A Computing History Primer
Introduction to the History of Computing A Computing History Primer
Author 
O'Regan, Gerard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-33138-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Computing handbook : computer science and software engineering
Computing handbook : computer science and software engineering
Author 
Tucker, Allen B., editor. Gonzalez, Teofilo F., editor. Diaz-Herrera, Jorge L., 1950- editor.
Preferred Shelf Number 
QA76 .C57315 2014
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Numerical methods for equations and its applications
Numerical methods for equations and its applications
Author 
Argyros, Ioannis K., author. Cho, Yeol Je. Hilout, Said.
Preferred Shelf Number 
QA246 .A74 2012
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Mathematical aspects of logic programming semantics
Mathematical aspects of logic programming semantics
Author 
Hitzler, Pascal., author. Seda, Anthony.
Preferred Shelf Number 
QA76.63 .H58 2011
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Handbook of linear algebra
Handbook of linear algebra
Author 
Hogben, Leslie.
Preferred Shelf Number 
QA184.2 .H36 2007
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets