Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
6 Results Found Subscribe to search results
000000DEFAULT
Print
1. 
Cover image for HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
Author 
Akleylek, Sedat. Dundua, Besik.
Preferred Shelf Number 
QA76.9 .D335
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003090052
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Mathematical modelling : simulation analysis and industrial applications
Mathematical modelling : simulation analysis and industrial applications
Author 
Borkar, Kanchan, author. Modak, Jayant, author. Belkhode, Pramod, author. Maheshwary, Prashant, author.
Preferred Shelf Number 
HD9720
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003318699
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Mathematical modelling and simulation : case studies on drilling operations in the ore mining industry
Mathematical modelling and simulation : case studies on drilling operations in the ore mining industry
Author 
Belkhode, Pramod, editor.
Preferred Shelf Number 
TN281 .M325 2022
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003132127
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Predictive analytics : modeling and optimization
Predictive analytics : modeling and optimization
Author 
Kumar, Vijay, editor. Ram, Mangey, editor.
Preferred Shelf Number 
TA340
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003083177
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Topics in Contemporary Mathematical Analysis and Applications
Topics in Contemporary Mathematical Analysis and Applications
Author 
Dutta, Hemen, 1981- editor.
Preferred Shelf Number 
QA300 .T67 2021
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003081197
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Risk and uncertainty reduction by using algebraic inequalities
Risk and uncertainty reduction by using algebraic inequalities
Author 
Todinov, M. T., author.
Preferred Shelf Number 
TA169.55 .R57
Electronic Access 
Taylor & Francis https://www.taylorfrancis.com/books/9781003032502
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Availability 
Online Library~1
Available:
Copies: