Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
14 Results Found Subscribe to search results
00000000000000DEFAULT
Print
1. 
Cover image for Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I
Computer Science and Education 17th International Conference, ICCSE 2022, Ningbo, China, August 18-21, 2022, Revised Selected Papers, Part I
Author 
Hong, Wenxing. editor. Weng, Yang. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520318.1)
Electronic Access 
https://doi.org/10.1007/978-981-99-2443-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Smart Card Research and Advanced Applications 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers
Smart Card Research and Advanced Applications 21st International Conference, CARDIS 2022, Birmingham, UK, November 7-9, 2022, Revised Selected Papers
Author 
Buhan, Ileana. editor. Schneider, Tobias. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520887.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-25319-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Recent Trends in Algebraic Development Techniques 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Author 
Madeira, Alexandre. editor. Martins, Manuel A. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521254.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-43345-0
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
Advanced Network Technologies and Intelligent Computing Second International Conference, ANTIC 2022, Varanasi, India, December 22-24, 2022, Proceedings, Part I
Author 
Woungang, Isaac. editor. Dhurandher, Sanjay Kumar. editor. Pattanaik, Kiran Kumar. editor. Verma, Anshul. editor. Verma, Pradeepika. editor.
Preferred Shelf Number 
XX(520368.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-28180-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520840.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30820-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Guide to Java A Concise Introduction to Programming
Guide to Java A Concise Introduction to Programming
Author 
Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520560.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-22842-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Advances in Neural Networks - ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings
Author 
Hu, Xiaolin. editor. Xia, Yousheng. editor. Zhang, Yunong. editor. Zhao, Dongbin. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(519279.1)
Electronic Access 
https://doi.org/10.1007/978-3-319-25393-0
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Electromagnetic well logging : models for MWD/LWD interpretation and tool design
Electromagnetic well logging : models for MWD/LWD interpretation and tool design
Author 
Chin, Wilson C.
Preferred Shelf Number 
ONLINE(341852.1)
Electronic Access 
Cover image http://catalogimages.wiley.com/images/db/jimages/9781118831038.jpg
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=1643666
ebrary http://site.ebrary.com/id/10845586
John Wiley http://dx.doi.org/10.1002/9781118835074
MyiLibrary http://www.myilibrary.com?id=580376
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Mathematical handbook of formulas and tables
Mathematical handbook of formulas and tables
Author 
Spiegel, Murray R. Lipschutz, Seymour. Liu, John.
Preferred Shelf Number 
QA41 S32 2013
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
10. 
Cover image for Reinforcement learning and dynamic programming using function approximators
Reinforcement learning and dynamic programming using function approximators
Author 
Busoniu, Lucian.
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Navigating through discrete mathematics in prekindergarten through grade 5
Navigating through discrete mathematics in prekindergarten through grade 5
Author 
DeBellis, Valerie A.
Preferred Shelf Number 
QA135.6 N34 2009
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
12. 
Cover image for The compiler design handbook optimizations and machine code generation
The compiler design handbook optimizations and machine code generation
Author 
Srikant, Y. N. Shankar, P. (Priti)
Preferred Shelf Number 
ONLINE
Electronic Access 
Distributed by publisher. Purchase or institutional license may be required for access.
Format: 
Availability 
Online Library~1
Available:
Copies:
13. 
Cover image for An introduction to programming with specifications a mathematical approach
An introduction to programming with specifications a mathematical approach
Author 
Kubiak, Ryszard. Rudziński, Roman. Sokołowski, S. (Stefan)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780124276208
Format: 
Availability 
Online Library~1
Available:
Copies:
14. 
Cover image for Introduction to interval computations
Introduction to interval computations
Author 
Alefeld, G., 1941- Herzberger, Jürgen.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780120498208
Format: 
Availability 
Online Library~1
Available:
Copies: