Search Results - "Theory of Computation."

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Theory of Computation.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Theory of Computation.…”
Link to Metadata

Foundations of Software Science and Computation Structures 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Subjects: “…Theory of Computation.…”
Link to Metadata

Sublinear Computation Paradigm Algorithmic Revolution in the Big Data Era /

Subjects: “…Theory of Computation.…”
Link to Metadata

Cognitive Robotics

Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Managed Software Evolution

Subjects: “…Theory of Computation.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Theory of Computation.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Theory of Computation.…”
Link to Metadata

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /

Subjects: “…Theory of Computation.…”
Link to Metadata

Objective Information Theory by Xu, Jianfeng, Wang, Shuliang, Liu, Zhenyu, Wang, Yashi, Wang, Yingfei, Dang, Yingxu

Subjects: “…Theory of Computation.…”
Link to Metadata

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 by Linge, Svein

Subjects: “…Mathematical theory of computation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Programming for Computations - Python A Gentle Introduction to Numerical Simulations with Python 3.6 by Linge, Svein

Subjects: “…Mathematical theory of computation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Programming Languages and Systems 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022,...

Subjects: “…Theory of Computation.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Theory of Computation.…”
Link to Metadata

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /

Subjects: “…Theory of Computation.…”
Link to Metadata

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…Theory of Computation.…”
Link to Metadata

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /

Subjects: “…Theory of Computation.…”
Link to Metadata

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,...

Subjects: “…Theory of Computation.…”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Theory of Computation.…”
Link to Metadata

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...

Subjects: “…Theory of Computation.…”
Link to Metadata