Limit Search Results
Author
SpringerLink (Online service)
(27)
Masulli, Paolo. editor.
(2)
Pons Rivero, Antonio Javier. editor.
(2)
Villa, Alessandro E.P. editor.
(2)
Agresti, Alan. editor.
(1)
Language
Publication Date
-
Subject
Software engineering.
(11)
Artificial intelligence.
(8)
Computer Science Logic and Foundations of Programming.
(7)
Theory of Computation.
(7)
Automated Pattern Recognition.
(4)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
28 Results Found Subscribe to search results
0000DEFAULT
Print
25. 
Cover image for Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Author 
Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-40229-1
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Nutrient Use Efficiency: from Basics to Advances
Nutrient Use Efficiency: from Basics to Advances
Author 
Rakshit, Amitava. editor. Singh, Harikesh Bahadur. editor. Sen, Avijit. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-81-322-2169-2
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Strength in Numbers: The Rising of Academic Statistics Departments in the U. S.
Strength in Numbers: The Rising of Academic Statistics Departments in the U. S.
Author 
Agresti, Alan. editor. Meng, Xiao-Li. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331361.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-3649-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets