Limit Search Results
Author
Language
Publication Date
-
Subject
Software engineering.
(6)
Computer science.
(5)
Artificial intelligence.
(4)
Computer science -- Mathematics.
(4)
Theory of Computation.
(4)
Material Type
Library
Switch to list view
Switch to thumbnail view
17 Results Found Subscribe to search results
00000DEFAULT
Print
13. 
Cover image for Understanding Control Flow Concurrent Programming Using μC++
Understanding Control Flow Concurrent Programming Using μC++
Author 
Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
Go to:Search Results
|
Top of Page
|
Search Facets