Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(43)
Cupillari, Antonella.
(3)
Finkbeiner, Bernd. editor.
(3)
Kovács, Laura. editor.
(3)
Taylor and Francis.
(3)
Dil
Yayın Yılı
-
Konu
Proof theory.
(27)
Computer science.
(21)
Formal Languages and Automata Theory.
(12)
Logic, Symbolic and mathematical.
(12)
Machine theory.
(12)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
94 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
13. 
BEGINNER'S GUIDE TO MATHEMATICAL PROOF için kapak resmi
BEGINNER'S GUIDE TO MATHEMATICAL PROOF
Yazar 
DeBonis, Mark J.
Yer Numarası 
QA9.54
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781032687728
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
14. 
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation için kapak resmi
Computational Complexity and Local Algorithms On the Interplay Between Randomness and Computation
Yazar 
Goldreich, Oded. editor. (orcid)0000-0002-4329-135X SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-88946-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
15. 
Maximal Planar Graph Theory and the Four-Color Conjecture için kapak resmi
Maximal Planar Graph Theory and the Four-Color Conjecture
Yazar 
Xu, Jin. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4745-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
16. 
A bridge to higher mathematics için kapak resmi
A bridge to higher mathematics
Yazar 
Kirkwood, James R., author. Robeva, Raina S., author.
Yer Numarası 
QA9.54
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781032623849
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
17. 
Taking the "oof!" out of proofs için kapak resmi
Taking the "oof!" out of proofs
Yazar 
Draganov, Alexandr, author.
Yer Numarası 
QA9.54
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003456766
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
18. 
Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I için kapak resmi
Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part I
Yazar 
Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47754-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
19. 
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I için kapak resmi
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Yazar 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63498-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
20. 
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II için kapak resmi
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Yazar 
Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-63501-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
21. 
Efficient Energy-Saving Control and Optimization for Multi-Unit Systems A Guide for Electrical Engineers için kapak resmi
Efficient Energy-Saving Control and Optimization for Multi-Unit Systems A Guide for Electrical Engineers
Yazar 
Yao, Fulai. author. Yao, Yaming. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-97-4492-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
22. 
Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environments için kapak resmi
Attribute-based encryption (ABE) : foundations and applications within blockchain and cloud environments
Yazar 
Xia, Qi, author.
Yer Numarası 
TK5102.94 .G365 2024
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119989387
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
23. 
Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II için kapak resmi
Financial Cryptography and Data Security 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1-5, 2023, Revised Selected Papers, Part II
Yazar 
Baldimtsi, Foteini. editor. Cachin, Christian. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-47751-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
24. 
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove için kapak resmi
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
Yazar 
Morazán, Marco T. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43973-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç