Springer

Lecture Notes in Computer Science17239- Theoretical Aspects of Computing - ICTAC 2026

Name: Lecture Notes in Computer Science17239- Theoretical Aspects of Computing - ICTAC 2026
Brand: Springer
SKU: 63399540db3d0ce51defbdefc5cbd161

1/1

Afbeelding van Lecture Notes in Computer Science17239- Theoretical Aspects of Computing - ICTAC 2026

Bol

Prijzen vanaf

84,99

Gesponsorde links

	84,99	Naar shop
	171,56	Naar shop
	171,56	Naar shop
VERGELIJK ALLE AANBIEDERS (3)

Beschrijving

Bol This book constitutes the proceedings of 23rd International Colloquium on Theoretical Aspects of Computing, ICTAC 2026, which took place in Bariloche, Argentina, during November 11–13, 2026.The 23 full papers, 3 short papers and 3 tool papers presented in this book were carefully reviewed and selected from 60 submissions. This book constitutes the proceedings of 23rd International Colloquium on Theoretical Aspects of Computing, ICTAC 2026, which took place in Bariloche, Argentina, during November 11–13, 2026. The 23 full papers, 3 short papers and 3 tool papers presented in this book were carefully reviewed and selected from 60 submissions. They include topics in Logic, Program analysis, Language and Automata, Verification, Stochastic Systems, Distributed Systems, and Proof Assistants.

Lees meer

Vergelijk aanbieders (3)

Gesponsorde links · Sommige shops betalen ons een vergoeding

Sorteren op:

€ 84,99 Gratis verzending

€ 171,56 € 12,50 verzendkosten Totaal € 184,06

Beschrijving (1)

This book constitutes the proceedings of 23rd International Colloquium on Theoretical Aspects of Computing, ICTAC 2026, which took place in Bariloche, Argentina, during November 11–13, 2026.The 23 full papers, 3 short papers and 3 tool papers presented in this book were carefully reviewed and selected from 60 submissions. This book constitutes the proceedings of 23rd International Colloquium on Theoretical Aspects of Computing, ICTAC 2026, which took place in Bariloche, Argentina, during November 11–13, 2026. The 23 full papers, 3 short papers and 3 tool papers presented in this book were carefully reviewed and selected from 60 submissions. They include topics in Logic, Program analysis, Language and Automata, Verification, Stochastic Systems, Distributed Systems, and Proof Assistants.

Lees meer