Product categories

EbookNice.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link. https://ebooknice.com/page/post?id=faq

We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.

For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookNice Team

(Ebook) Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023 Tbilisi, Georgia, September 15–16, 2023 Revised Selected Papers by Nina Gierasimczuk, Fernando R. Velázquez-Quesada ISBN 9783031517761, 3031517768

SKU: EBN-54865264

Zoomable Image

$ 32 ~~$ 40~~ (-20%)

Status:

Available

5.0

27 reviews

Instant download (eBook) Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023 Tbilisi, Georgia, September 15–16, 2023 Revised Selected Papers after payment.

Authors:Nina Gierasimczuk, Fernando R. Velázquez-Quesada

Pages:148 pages.

Year:2024

Editon:-

Publisher:Springer

Language:english

File Size:3.91 MB

Format:pdf

ISBNS:9783031517761, 3031517768

Categories: Ebooks

Product desciption

(Ebook) Dynamic Logic. New Trends and Applications: 5th International Workshop, DaLí 2023 Tbilisi, Georgia, September 15–16, 2023 Revised Selected Papers by Nina Gierasimczuk, Fernando R. Velázquez-Quesada ISBN 9783031517761, 3031517768

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

*Free conversion of into popular formats such as PDF, DOCX, DOC, AZW, EPUB, and MOBI after payment.

Related Products

-20%

(Ebook) Biota Grow 2C gather 2C cook by Loucas, Jason; Viles, James ISBN 9781459699816, 9781743365571, 9781925268492, 1459699815, 1743365578, 1925268497

~~$40~~ $32

-20%

(Ebook) Matematik 5000+ Kurs 2c Lärobok by Lena Alfredsson, Hans Heikne, Sanna Bodemyr ISBN 9789127456600, 9127456609

4.6

12 reviews

~~$40~~ $32

-20%

(Ebook) SAT II Success MATH 1C and 2C 2002 (Peterson's SAT II Success) by Peterson's ISBN 9780768906677, 0768906679

~~$40~~ $32

-20%

(Ebook) Master SAT II Math 1c and 2c 4th ed (Arco Master the SAT Subject Test: Math Levels 1 & 2) by Arco ISBN 9780768923049, 0768923042

4.7

9 reviews

~~$40~~ $32

-20%

(Ebook) Cambridge IGCSE and O Level History Workbook 2C - Depth Study: the United States, 1919-41 2nd Edition by Benjamin Harrison ISBN 9781398375147, 9781398375048, 1398375144, 1398375047

~~$40~~ $32

-20%

(Ebook) Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings by Alexandre Madeira,Mário Benevides (eds.) ISBN 9783319735788, 9783319735795, 3319735780, 3319735799

4.8

28 reviews

~~$40~~ $32

-20%

(Ebook) Tools and Methods of Program Analysis : 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers by Anna Kalenkova,Jose A. Lozano,Rostislav Yavorskiy ISBN 9783030714727, 9783030714710, 3030714721, 3030714713

5.0

25 reviews

~~$40~~ $32

-20%

(Ebook) Statistical Atlases and Computational Models of the Heart. Regular and CMRxRecon Challenge Papers: 14th International Workshop, STACOM 2023 Held in Conjunction with MICCAI 2023 Vancouver, BC, Canada, October 12, 2023 Revised Selected Papers by Oscar Camara, Esther Puyol-Antón, Maxime Sermesant, Avan Suinesiaputra, Qian Tao, (eds.) ISBN 9783031524486, 9783031524479, 3031524489, 3031524470

4.6

41 reviews

~~$40~~ $32

-20%

(Ebook) Constructive Side-Channel Analysis and Secure Design: 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers by Emmanuel Prouff (eds.) ISBN 9783319101743, 9783319101750, 3319101749, 3319101757

~~$40~~ $32