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
25. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57249-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
26. 
The French School of Programming için kapak resmi
The French School of Programming
Yazar 
Meyer, Bertrand. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-34518-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
27. 
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:
28. 
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:
29. 
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I için kapak resmi
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
Yazar 
Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-57246-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
30. 
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:
31. 
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:
32. 
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings için kapak resmi
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Yazar 
Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43513-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
33. 
Algorithms for Constructing Computably Enumerable Sets için kapak resmi
Algorithms for Constructing Computably Enumerable Sets
Yazar 
Supowit, Kenneth J. author. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-26904-2
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
34. 
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings için kapak resmi
Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings
Yazar 
Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-43264-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
35. 
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings için kapak resmi
Unity of Logic and Computation 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings
Yazar 
Della Vedova, Gianluca. editor. Dundua, Besik. editor. Lempp, Steffen. editor. Manea, Florin. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-36978-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
36. 
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings için kapak resmi
Rigorous State-Based Methods 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2, 2023, Proceedings
Yazar 
Glässer, Uwe. editor. Creissac Campos, Jose. editor. Méry, Dominique. editor. Palanque, Philippe. editor. (orcid) SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-33163-3
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç