|
|
books
| book details |
Theoretical Aspects of Computing – ICTAC 2025: 22nd International Colloquium, Marrakech, Morocco, November 24–28, 2025, Proceedings
Edited by Zhiming Liu, Edited by Adnane Saoud, Edited by Heike Wehrheim
|
|
| on special |
normal price: R 3 095.95
Price: R 2 785.95
|
| book description |
This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Computing, ICTAC 2025, which took place in Marrakesh, Morocco, during November 24–28, 2025. The 21 full papers, 2 short papers and 1 tool paper presented in this book were carefully reviewed and selected from 64 submissions. The papers were categorized into the following topical sections: Invited Papers; Tutorial; Verification and Synthesis; Session Types; Logic and Theorem Provers; Probabilistic Systems; Automata; Cryptography and Choreography; Algorithms and Complexity; and Tool and Short Papers.
| product details |
Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 23 Nov 2025
Language |
Format | Paperback / softback
Pages | 480
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0321-1175-3
Readership Age |
BISAC | computers / machine theory
| other options |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
|
|
Mason Coile
Paperback / softback
224 pages
was: R 517.95
now: R 465.95
|
A terrifying locked-room mystery set in a remote outpost on Mars.
|
|
|
|
