Search Results for Arithmetic.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

16 Results Found

1 2

000000000000DEFAULT

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

Author

Mostowski, Andrzej

Preferred Shelf Number

BC 135 M6 1952

Format:

Availability

Beytepe Library~1

Available:
Copies:

Next Generation Arithmetic 4th International Conference, CoNGA 2023, Singapore, March 1-2, 2023, Proceedings

Author

Gustafson, John. editor. (orcid) Leong, Siew Hoon. editor. Michalewicz, Marek. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(520858.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32180-1

Format:

Availability

Online Library~1

Available:
Copies:

Cover image for Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers

Arithmetic of Finite Fields 9th International Workshop, WAIFI 2022, Chengdu, China, August 29 - September 2, 2022, Revised Selected Papers

Author

Mesnager, Sihem. editor. Zhou, Zhengchun. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520791.1)

Electronic Access

https://doi.org/10.1007/978-3-031-22944-2

Format:

Availability

Online Library~1

Available:
Copies:

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:

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:

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:

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:

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:

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:

10.

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:

11.

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:

12.

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

Place Hold(s)
Add to My Lists
Email
Print

1 2

	{displayName}	{count}
{error}