147,64 €
173,69 €
-15% su kodu: ENG15
Theoretical Aspects of Computing - Ictac 2025
Theoretical Aspects of Computing - Ictac 2025
147,64 €
173,69 €
  • Išsiųsime per 12–18 d.d.
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 Sy…
  • Leidėjas:
  • ISBN-10: 3032111757
  • ISBN-13: 9783032111753
  • Formatas: 15.6 x 23.4 x 2.5 cm, minkšti viršeliai
  • Kalba: Anglų
  • Extra -15 % nuolaida šiai knygai su kodu: ENG15

Theoretical Aspects of Computing - Ictac 2025 (el. knyga) (skaityta knyga) | knygos.lt

Atsiliepimai

Įvertinimų nėra.
Įvertink ir tu! Visi atsiliepimai

Aprašymas

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.

NEMOKAMAS PRISTATYMAS

EXTRA 15 % nuolaida su kodu: ENG15

147,64 €
173,69 €
Išsiųsime per 12–18 d.d.

Akcija baigiasi už 16d.09:31:44

Nuolaidos kodas galioja perkant nuo 10 €. Nuolaidos nesumuojamos.

Prisijunkite ir už šią prekę
gausite 1,74 Knygų Eurų!?
Įsigykite dovanų kuponą
Daugiau
  • Leidėjas:
  • ISBN-10: 3032111757
  • ISBN-13: 9783032111753
  • Formatas: 15.6 x 23.4 x 2.5 cm, minkšti viršeliai
  • Kalba: Anglų Anglų

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.

Atsiliepimai

  • Atsiliepimų nėra
0 pirkėjai įvertino šią prekę.
5
0%
4
0%
3
0%
2
0%
1
0%
(rodomas nebus)
[{"option":"139","probability":1.4,"style":{"backgroundColor":"#f2f2f2"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6932acb7d59721764928695.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"138","probability":1.4,"style":{"backgroundColor":"#d9212f"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6932ac7dd73281764928637.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"137","probability":1.4,"style":{"backgroundColor":"#f2f2f2"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6932ac361763c1764928566.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"136","probability":1.5,"style":{"backgroundColor":"#d91e2d"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6932ac08e74dc1764928520.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"135","probability":1.4,"style":{"backgroundColor":"#f2f2f2"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6932abe8176a41764928488.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"134","probability":1.4,"style":{"backgroundColor":"#d91e2d"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6932abb33d1ea1764928435.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"132","probability":1.4,"style":{"backgroundColor":"#f2f2f2"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6932ab7b45e141764928379.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}},{"option":"131","probability":0.1,"style":{"backgroundColor":"#d91e2d"},"image":{"uri":"\/uploads\/images\/wheel_of_fortune\/6932ab26c176f1764928294.png","sizeMultiplier":0.6,"landscape":true,"offsetX":-50}}]