Cover: Theoretical Aspects of Computing - ICTAC 2026 (E-Book) von Pedro R. D'Argenio
NEU
Pedro R. D'Argenio

Theoretical Aspects of Computing - ICTAC 2026

23rd International Colloquium, Bariloche, Argentina, November 11-13, 2026, Proceedings
Angebot€85,59
inkl. MwSt. • Kein physischer Versand
Sofort per Download lieferbar
Ihr Downloadlink kommt direkt per E-Mail.
PDF: lesbar auf Smartphone, Tablet, Computer und in vielen PDF-Apps.
E-Book
eBook-Format: PDF
✓14 Tage Widerrufsrecht
✓Sicher bezahlen – auch auf Rechnung mit Klarna
PayPal Klarna Visa Mastercard Maestro Apple Pay Google Pay
Inhaltsangabe
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.

Produktdetails
  • Erscheinungsdatum: 10.11.2026
  • Autor/Autorin: Pedro R. D'Argenio
  • Format: E-Book
  • Dateiformat: PDF
  • Kopierschutz: Wasserzeichen
  • Dateigröße: 22.3 MB
  • Verlag: SPRINGER
  • Sprache: Englisch
  • Umfang: 494 Seiten
  • ISBN: 9783032438683
  • Lieferung: Sofort per Download
  • Hinweis: Sofort per Download lieferbar. Kein physischer Versand.
  • Kompatibilität: Lesbar auf Geräten und Apps mit PDF-Unterstützung.
Herstellerinformationen
Springer Nature Customer Service Center GmbH

Email: ProductSafety@springernature.com

Wird oft zusammen gekauft

Cover: Deep Learning for Object Detection and Localization (E-Book) von Abdussalam Elhanashi
Abdussalam Elhanashi
Deep Learning for Object Detection and Localization Angebot€160,49
Cover: Generative AI in Cybersecurity (E-Book) von Leslie F. Sikos
Leslie F. Sikos
Generative AI in Cybersecurity Angebot€48,14
Cover: Effektive Softwarearchitekturen (E-Book) von Gernot Starke
Gernot Starke
Effektive Softwarearchitekturen Angebot€49,99
Cover: The Handbook of Data Science and AI (E-Book) von Stefan Papp
Stefan Papp
The Handbook of Data Science and AI Angebot€99,99
Cover: WALCOM: Algorithms and Computation (E-Book)
Emilio Di Giacomo
WALCOM: Algorithms and Computation Angebot€78,10
Cover: Visual Computing For Architects (E-Book) von Yuhao Zhu
Yuhao Zhu
Visual Computing For Architects Angebot€64,19
Cover: Variable Neighborhood Search (E-Book)
Sergio Cavero
Variable Neighborhood Search Angebot€53,49
Cover: Sustainable Development through Machine Learning, AI and IoT (E-Book)
Pawan Whig
Sustainable Development through Machine Learning, AI and IoT Angebot€90,94
Cover: Software Fault Prevention, Verification, and Validation (E-Book)
Yuting Chen
Software Fault Prevention, Verification, and Validation Angebot€69,54
Cover: Socially Aware and Responsible AI Applications (E-Book)
Anna Esposito
Socially Aware and Responsible AI Applications Angebot€213,99