Több mint 4 millió cím angol és más nyelveken! Fedezd fel új történetedet még ma!

Theoretical Aspects of Computing - ICTAC 2025

Name: Theoretical Aspects of Computing - ICTAC 2025
Brand: Springer-Verlag GmbH
SKU: 9783032111753
Price: 29211 HUF
Availability: InStock

Szerző: Adnane Saoud, Heike Wehrheim

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag GmbH

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

29 211 Ft

This book constitutes the proceedings of 22nd International Colloquium on Theoretical Aspects of Com...

Információk a könyvről

Szerző

Adnane Saoud, Heike Wehrheim

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2025

oldal

426

EAN

9783032111753

ISBN

3032111757

Enbook ID

49819719

Kiadó

Springer-Verlag GmbH

Súly

745

Méretek

155 x 235

Teljes leírás

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 presented here were carefully reviewed and selected from 64 submissions. They 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.