Limit Search Results
Author
Jain, Lakhmi C. editor.
(137)
Filipe, Joaquim. editor.
(75)
Nguyen, Ngoc Thanh. editor.
(72)
Abraham, Ajith. editor.
(69)
Kacprzyk, Janusz. editor.
(67)
Language
Publication Date
-
2013
(7991)
2012
(6632)
2011
(6512)
2009
(5781)
2010
(5642)
Subject
Computer science.
(11576)
Engineering.
(7871)
Medicine.
(7488)
Economics.
(7225)
Artificial intelligence.
(6167)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
65976 Results Found Subscribe to search results
000000000000DEFAULT
Print
6157. 
Cover image for Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I
Author 
Chockler, Hana. editor. (orcid)0000-0003-1219-0713 Weissenbacher, Georg. editor. (orcid)0000-0002-0143-632X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-96145-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6158. 
Cover image for Stromal Immunology
Stromal Immunology
Author 
Owens, Benjamin M.J. editor. Lakins, Matthew A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-78127-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6159. 
Cover image for Human Neural Stem Cells From Generation to Differentiation and Application
Human Neural Stem Cells From Generation to Differentiation and Application
Author 
Buzanska, Leonora. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-93485-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6160. 
Cover image for Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
Combinatorial Algorithms 29th International Workshop, IWOCA 2018, Singapore, July 16–19, 2018, Proceedings
Author 
Iliopoulos, Costas. editor. Leong, Hon Wai. editor. Sung, Wing-Kin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94667-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6161. 
Cover image for Advances in Internal Combustion Engine Research
Advances in Internal Combustion Engine Research
Author 
Srivastava, Dhananjay Kumar. editor. Agarwal, Avinash Kumar. editor. Datta, Amitava. editor. Maurya, Rakesh Kumar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-10-7575-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6162. 
Cover image for Sustainable Agriculture Reviews 27
Sustainable Agriculture Reviews 27
Author 
Lichtfouse, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-75190-0
Format: 
Availability 
Online Library~1
Available:
Copies:
6163. 
Cover image for Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings
Author 
Howar, Falk. editor. Barnat, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-00244-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6164. 
Cover image for Bone Marrow Failure
Bone Marrow Failure
Author 
Kupfer, Gary M. editor. Reaman, Gregory H. editor. Smith, Franklin O. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-61421-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6165. 
Cover image for Human Temperature Control A Quantitative Approach
Human Temperature Control A Quantitative Approach
Author 
Wissler, Eugene H. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57397-6
Format: 
Availability 
Online Library~1
Available:
Copies:
6166. 
Cover image for Algorithms for Functional Programming
Algorithms for Functional Programming
Author 
Stone, John David. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-662-57970-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6167. 
Cover image for Thesis Writing for Master's and Ph.D. Program
Thesis Writing for Master's and Ph.D. Program
Author 
Parija, Subhash Chandra. editor. Kate, Vikram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-0890-1
Format: 
Availability 
Online Library~1
Available:
Copies:
6168. 
Cover image for Lymphatic Filariasis Epidemiology, Treatment and Prevention - The Indian Perspective
Lymphatic Filariasis Epidemiology, Treatment and Prevention - The Indian Perspective
Author 
Tyagi, Brij Kishore. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-1391-2
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action