Conference Record of POPL 2002
Title | Conference Record of POPL 2002 PDF eBook |
Author | |
Publisher | Association |
Pages | 362 |
Release | 2002 |
Genre | Computers |
ISBN |
Conference Record of POPL 2002
Title | Conference Record of POPL 2002 PDF eBook |
Author | |
Publisher | |
Pages | 343 |
Release | 2002 |
Genre | |
ISBN | 9781581134506 |
Conference Record of POPL 2002
Title | Conference Record of POPL 2002 PDF eBook |
Author | ACM. |
Publisher | |
Pages | |
Release | 2002 |
Genre | |
ISBN |
Conference Record of POPL 2002
Title | Conference Record of POPL 2002 PDF eBook |
Author | ACM Symposium on Principles of Programming Languages |
Publisher | |
Pages | 0 |
Release | 2002 |
Genre | Computer Science |
ISBN |
PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023
Title | PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023 PDF eBook |
Author | Alexander Nadel |
Publisher | TU Wien Academic Press |
Pages | 332 |
Release | 2023-10-13 |
Genre | Computers |
ISBN | 3854480601 |
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
Computer Aided Verification
Title | Computer Aided Verification PDF eBook |
Author | Isil Dillig |
Publisher | Springer |
Pages | 558 |
Release | 2019-07-12 |
Genre | Computers |
ISBN | 3030255433 |
The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
Theory of Cryptography
Title | Theory of Cryptography PDF eBook |
Author | Shai Halevi |
Publisher | Springer |
Pages | 629 |
Release | 2006-03-01 |
Genre | Computers |
ISBN | 3540327320 |
This book constitutes the refereed proceedings of the Third Theory of Cryptography Conference, TCC 2006, held in March 2006. The 31 revised full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on zero-knowledge, primitives, assumptions and models, the bounded-retrieval model, privacy, secret sharing and multi-party computation, universally-composible security, one-way functions and friends, and pseudo-random functions and encryption.