Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
12 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Higher Education Computer Science A Manual of Practical Approaches
Higher Education Computer Science A Manual of Practical Approaches
Author 
Carter, Jenny. editor. O'Grady, Michael. editor. (orcid)0000-0002-6250-4736 Rosen, Clive. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-98590-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for On the Higher-Order Sheffer Orthogonal Polynomial Sequences
On the Higher-Order Sheffer Orthogonal Polynomial Sequences
Author 
Galiffa, Daniel J. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331912.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-5969-9
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Changing Cultures in Higher Education Moving Ahead to Future Learning
Changing Cultures in Higher Education Moving Ahead to Future Learning
Author 
Ehlers, Ulf-Daniel. editor. Schneckenberg, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03582-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Higher-Order Components for Grid Programming Making Grids More Usable
Higher-Order Components for Grid Programming Making Grids More Usable
Author 
Dünnweber, Jan. author. Gorlatch, Sergei. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Theorem Proving in Higher Order Logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009. Proceedings
Author 
Berghofer, Stefan. editor. Nipkow, Tobias. editor. Urban, Christian. editor. Wenzel, Makarius. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03359-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
Author 
Mohamed, Otmane Ait. editor. Muñoz, César. editor. Tahar, Sofiène. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71067-7
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings
Author 
Schneider, Klaus. editor. Brandt, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74591-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making 9th Asian Computing Science Conference. Dedicated to Jean-Louis Lassez on the Occasion of His 5th Birthday. Chiang Mai, Thailand, December 8-10, 2004. Proceedings
Author 
Maher, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103476
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Author 
Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11541868
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Creative approaches towards development of computing and multidisciplinary IT solutions for society
Creative approaches towards development of computing and multidisciplinary IT solutions for society
Author 
Bijalwan, Anchit, editor.
Preferred Shelf Number 
QA76 .C74 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272303
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
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:
12. 
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: