Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for A Modern Perspective on Type Theory From its Origins until Today
A Modern Perspective on Type Theory From its Origins until Today
Author 
Kamareddine, Fairouz. author. Laan, Twan. author. Nederpelt, Rob. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-2335-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Intelligent Technologies and Applications First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers
Intelligent Technologies and Applications First International Conference, INTAP 2018, Bahawalpur, Pakistan, October 23-25, 2018, Revised Selected Papers
Author 
Bajwa, Imran Sarwar. editor. Kamareddine, Fairouz. editor. Costa, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-13-6052-7
Format: 
Availability 
Online Library~1
Available:
Copies: