Limit Search Results
Author
Language
Publication Date
-
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
10 Results Found Subscribe to search results
0000000000DEFAULT
Print
1. 
Cover image for Beginning Solidity : learn to program smart contracts with solidity
Beginning Solidity : learn to program smart contracts with solidity
Author 
Dolgov, Alexandros, author.
Preferred Shelf Number 
QA76.73 .S57 D65 2025
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394352159
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Demystifying deep learning : an introduction to the mathematics of neural networks
Demystifying deep learning : an introduction to the mathematics of neural networks
Author 
Santry, Douglas J., author.
Preferred Shelf Number 
Q325.73 .S36 2024
Electronic Access 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781394205639
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Ubiquitous Security Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers
Ubiquitous Security Second International Conference, UbiSec 2022, Zhangjiajie, China, December 28-31, 2022, Revised Selected Papers
Author 
Wang, Guojun. editor. Choo, Kim-Kwang Raymond. editor. Wu, Jie. editor. Damiani, Ernesto. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-981-99-0272-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings
Author 
Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-24841-2
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II
Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part II
Author 
Liu, Fei. editor. Duan, Nan. editor. Xu, Qingting. editor. Hong, Yu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44696-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
Author 
Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery Proceedings of the ICNC-FSKD 2022
Advances in Natural Computation, Fuzzy Systems and Knowledge Discovery Proceedings of the ICNC-FSKD 2022
Author 
Xiong, Ning. editor. Li, Maozhen. editor. Li, Kenli. editor. Xiao, Zheng. editor. Liao, Longlong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-20738-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings
Author 
Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-43240-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
Author 
Canal, Carlos. editor. Idani, Akram. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-15201-1
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Boilerplate Clauses, International Commercial Contracts and the Applicable Law
Boilerplate Clauses, International Commercial Contracts and the Applicable Law
Author 
Cordero-Moss, Giuditta.
Preferred Shelf Number 
ONLINE
Electronic Access 
Access by subscription
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets