Zobrazeno 1 - 10
of 341
pro vyhledávání: '"Mathematical theory of computation"'
Autor:
Platzer, André, Rozier, Kristin Yvonne, Pradella, Matteo, Rossi, Matteo
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these pro
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/93254
Autor:
Narodytska, Nina, Rümmer, Philipp
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, technolog
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/93967
Autor:
Exman, Iaakov, Pérez-Castillo, Ricardo, Piattini, Mario, Felderer, Michael
This open access book explains the state of the art in quantum software engineering and design, independent from a specific hardware. It deals with quantum software theoretical aspects and with classical software engineering concepts like agile devel
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/93242
Autor:
Gurfinkel, Arie, Ganesh, Vijay
This open access 3-volume set constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024. The primary focus of CAV is to extend the fronti
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/92707
Autor:
Cimiano, Philipp, Frank, Anette, Kohlhase, Michael, Stein, Benno
This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in Bielefeld, Germany, during June 5-7, 2024. The 20 full papers and 1 short paper included in the
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/92695
Autor:
Benzmüller, Christoph, Heule, Marijn J.H., Schmidt, Renate A.
Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full rese
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/92348
Autor:
Ikeda, Kazushi, Kawamura, Yoshiumi, Makino, Kazuhisa, Tsujimoto, Satoshi, Yamashita, Nobuo, Yoshizawa, Shintaro, Sumita, Hanna
This open access book presents the mathematical methods for huge data and network analysis. The automotive industry has made steady progress in technological innovations under the names of Connected Autonomous-Shared-Electric (CASE) and Mobility as a
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/90475
Autor:
Tranchini, Luca
This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities)
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/90415