Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings - Image 1

£59.96

Springer Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Name: Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings
Brand: Springer
Price: 59.96 GBP
Availability: InStock

Computing & Internet

Price History & Forecast

Last 47 days • 47 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 47 days • 1 price levels

Days at Price

Price Analysis

Most common price: £60 (47 days, 100.0%)

Price range: £60 - £60

Price levels: 1 different prices over 47 days

Description

This book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. The 20 full papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers cover a wide variety of topics, including: getting the best price for selling your personal data; attacking Bitcoin; optimizing various forms of model checking; synthesizing and learning algorithms; formalizing and verifying contracts, languages, and compilers; analyzing the correctness and complexity of programs and distributed systems; and finding connections from proofs in propositional logic to quantum programming languages.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3030853144
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Release Date: 20 August 2021
Listed Since: 20 August 2020

Barcode

No barcode data available

Springer Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Computational Science – ICCS 2021: 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part II: 12743 (Lecture Notes in Computer Science, 12743)

Computational Science – ICCS 2021: 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part I: 12742 (Lecture Notes in Computer Science, 12742)

Computational Science – ICCS 2021: 21st International Conference, Krakow, Poland, June 16–18, 2021, Proceedings, Part IV: 12745 (Lecture Notes in Computer Science, 12745)

Neural Computing for Advanced Applications: Second International Conference, NCAA 2021, Guangzhou, China, August 27-30, 2021, Proceedings: 1449 ... in Computer and Information Science, 1449)

Advances in Cryptology – ASIACRYPT 2021: 27th International Conference on the Theory and Application of Cryptology and Information Security, ... (Lecture Notes in Computer Science, 13092)

Intelligent Computing Theories and Application: 14th International Conference, ICIC 2018, Wuhan, China, August 15-18, 2018, Proceedings, Part I: 10954 (Lecture Notes in Computer Science, 10954)

Advances on Smart and Soft Computing: Proceedings of ICACIn 2020: 1188 (Advances in Intelligent Systems and Computing, 1188)

Intelligent Computing Theories and Application: 17th International Conference, ICIC 2021, Shenzhen, China, August 12–15, 2021, Proceedings, Part I: 12836 (Lecture Notes in Computer Science, 12836)

Language Computability and Formal Language Theory

Advances in Unconventional Computing: Volume 1: Theory: 22 (Emergence, Complexity and Computation, 22)

Smart Computing Techniques and Applications: Proceedings of the Fourth International Conference on Smart Computing and Informatics, Volume 2: 224 (Smart Innovation, Systems and Technologies, 224)

Intelligent Computing Paradigm and Cutting-edge Technologies: Proceedings of the Second International Conference on Innovative Computing and ... and Analytics in Intelligent Systems, 21)

New Developments of IT, IoT and ICT Applied to Agriculture: Proceedings of ICAIT 2019: 183 (Smart Innovation, Systems and Technologies, 183)

New Developments of IT, IoT and ICT Applied to Agriculture: Proceedings of ICAIT 2019: 183 (Smart Innovation, Systems and Technologies, 183)

Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, ... (Lecture Notes in Computer Science, 12710)

Proceedings of International Conference on Innovations in Software Architecture and Computational Systems: ISACS 2021 (Studies in Autonomic, Data-driven and Industrial Computing)

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing: 1012 (Studies in Computational Intelligence, 1012)

Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, ... (Lecture Notes in Computer Science, 12711)

Proceedings of the Future Technologies Conference (FTC) 2021, Volume 3: 360 (Lecture Notes in Networks and Systems, 360)

Lecture Notes in Computational Intelligence and Decision Making: 2021 International Scientific Conference "Intellectual Systems of Decision-making and ... and Communications Technologies, 77)

14th International Conference on Computational Intelligence in Security for Information Systems and 12th International Conference on European ... in Intelligent Systems and Computing, 1400)

Proceedings of the Future Technologies Conference (FTC) 2021, Volume 2: 359 (Lecture Notes in Networks and Systems, 359)

High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production: 11th International Conference, HPCST ... in Computer and Information Science, 1526)

High Performance Computing: ISC High Performance Digital 2021 International Workshops, Frankfurt am Main, Germany, June 24 – July 2, 2021, Revised ... (Lecture Notes in Computer Science, 12761)