6.353 hasil untuk "Computer science"
Menampilkan 1–20 · 0,24 detik · RSS
-
Buku Teks lengkap
Special issue on Many-Valued Logics for Reasoning: Essays in Honor of Lluís Godo on the Occasion of his 60th Birthday
This special issue is dedicated to Lluís Godo in the occasion of his 60th anniversary. Lluís is a man with solid academic foundations. He studied Mathematics at the University of Barcelona and Industrial Engineering at the Technical University of Catalonia, and throughout his academic life, he has…
-
Buku Teks lengkap
Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem
…of—or adapting proofmethods from—temporal logics, games in theoretical computer science andautomata theory.Further information can be found at https://link.springer.com/book/9783032118844
Dari koleksi institusi
- Computer science suatu pengantarJ.glen brookshear · 2008 · UNILAK
- Buku Ajar E-GovermentElvira Asril; Syahtriana.D · 2023 · UNILAK
-
Buku Teks lengkap
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI 2018)
Papers presented at the Twenty-Seventh International Joint Conference on Artificial Intelligence (IJCAI) held in Stockholm, Sweden, from July 13-19, 2018.International Joint Conferences on Artificial Intelligence is a non-profit corporation founded in California, in 1969 for scientific and…
-
Buku Teks lengkap
Proceedings of the 11th Conference on Advances in Modal Logic (AiML'16)
Proceedings of the conference AiML'16. Volume available online http://www.aiml.net/volumes/volume11
-
Buku Teks lengkap
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, Canada
International audience
-
Buku Teks lengkap
Tests and Proofs: 15th International Conference, TAP 2021 Held as Part of STAF 2021Virtual Event, June 21–22, 2021 Proceedings
International audience
-
Buku Teks lengkap
Logique pour l'Informatique: une introduction à la déduction automatique
Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux: bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et…
-
Buku Teks lengkap
Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems
QEST is a leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements and has a broad range of interest with a common thread resting on quantitative evaluation. The range of performance metrics of interest spans classical measures…
-
Buku Teks lengkap
Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System
…One way to greatly increase confidence in floating-point software is by computer-assisted verification of its correctness proofs.This book provides a comprehensive view of how to formally specify and verify tricky floating-point algorithms with the Coq proof assistant. It describes the Flocq…
-
Buku Teks lengkap
Int. J. Unconventional Computing, 9(1-2), special issue on New Worlds of Computation (NWC '11)
International audience
-
Buku Teks lengkap
Int. J. Fundamenta Informaticae, 91(1-2), special issue on Machines, Computations and Universality (MCU '07)
International audience
-
Buku Teks lengkap
Interactive theorem proving and program development. Coq'Art: The Calculus of inductive constructions.
Traduction en chinois parue en 2010. Tsinghua University Press. ISBN 9787302208136
Menampilkan maksimal 50 halaman. Persempit pencarian dengan filter untuk hasil yang lebih spesifik.