Limit Search Results
Author
Tschinkel, Yuri. editor.
(3)
Fried, Michael D. author.
(2)
Gerdt, Vladimir P. editor.
(2)
Jarden, Moshe. author.
(2)
Koepf, Wolfram. editor.
(2)
Language
Publication Date
-
Subject
Mathematics.
(27)
Arithmetic and logic units, Computer.
(17)
Computer science.
(15)
Geometry, algebraic.
(15)
Number theory.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
86 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Arithmetic and Geometry Around Hypergeometric Functions Lecture Notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005
Arithmetic and Geometry Around Hypergeometric Functions Lecture Notes of a CIMPA Summer School held at Galatasaray University, Istanbul, 2005
Author 
Holzapfel, Rolf-Peter. editor. Uludağ, A. Muhammed. editor. Yoshida, Masaaki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-7643-8284-1
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Noncommutative Geometry and Number Theory Where Arithmetic meets Geometry and Physics
Noncommutative Geometry and Number Theory Where Arithmetic meets Geometry and Physics
Author 
Consani, Caterina. editor. Marcolli, Matilde. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-0352-8
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Applied Fuzzy Arithmetic An Introduction with Engineering Applications
Applied Fuzzy Arithmetic An Introduction with Engineering Applications
Author 
Hanss, Michael. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138914
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
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 I
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 I
Author 
Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520843.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30823-9
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
Parallel Processing and Applied Mathematics 14th International Conference, PPAM 2022, Gdansk, Poland, September 11-14, 2022, Revised Selected Papers, Part II
Author 
Wyrzykowski, Roman. editor. Dongarra, Jack. editor. Deelman, Ewa. editor. Karczewski, Konrad. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520846.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-30445-3
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
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:
43. 
Cover image for Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
Author 
Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(521258.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-44245-2
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Concrete Abstractions Formalizing and Analyzing Discrete Theories and Algorithms with the RISCAL Model Checker
Author 
Schreiner, Wolfgang. author. SpringerLink (Online service)
Preferred Shelf Number 
XX(520401.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-24934-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
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 
XX(520984.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-33170-1
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings
Cyber Security, Cryptology, and Machine Learning 7th International Symposium, CSCML 2023, Be'er Sheva, Israel, June 29-30, 2023, Proceedings
Author 
Dolev, Shlomi. editor. Gudes, Ehud. editor. Paillier, Pascal. editor. SpringerLink (Online service)
Preferred Shelf Number 
XX(520998.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-34671-2
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Applied Cryptography and Network Security Workshops ACNS 2023 Satellite Workshops, ADSC, AIBlock, AIHWS, AIoTS, CIMSS, Cloud S&P, SCI, SecMT, SiMLA, Kyoto, Japan, June 19-22, 2023, Proceedings
Author 
Zhou, Jianying. editor. (orcid) Batina, Lejla. editor. Li, Zengpeng. editor. Lin, Jingqiang. editor. Losiouk, Eleonora. editor.
Preferred Shelf Number 
XX(521216.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41181-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
Computational Collective Intelligence 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings
Author 
Nguyen, Ngoc Thanh. editor. Botzheim, János. editor. Gulyás, László. editor. Núñez, Manuel. editor. Treur, Jan. editor.
Preferred Shelf Number 
XX(521308.1)
Electronic Access 
https://doi.org/10.1007/978-3-031-41456-5
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action