Yazar
Hutton, Graham. editor. (orcid)0000-0001-9584-5150
Format:
Electronic Resources
Alıntı:
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal
Yazar
Beyer, Dirk. editor. (orcid)0000-0003-4832-7662
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics
View Other Search Results
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference
Yazar
Hjort Blindell, Gabriel. author.
Format:
Electronic Resources
Alıntı:
Instruction Selection Principles, Methods, and Applications / Hjort Blindell, Gabriel. author.
Yazar
Painer, Sven. author.
Format:
Electronic Resources
Alıntı:
Variation Based Dense 3D Reconstruction Application on Monocular Mini-Laparoscopic Sequences /
Yazar
Liu, Shaoying. editor.
Format:
Electronic Resources
Alıntı:
Programs in Coq -- Runtime Verification Monitor Construction for Three-valued PPTL -- Applying SOFL to a
Yazar
Steinfeld, Ron. editor. (orcid)0000-0003-1745-4183
Format:
Electronic Resources
Alıntı:
Signcryption: Notion and Construction -- FSPVDsse: A Forward Secure Publicly Verifiable Dynamic SSE scheme -- A
Yazar
Hinze, Thomas. editor.
Format:
Electronic Resources
Alıntı:
-- Solving QSAT in Sublinear Depth -- Design of specific P systems simulators on GPUs -- Construction of
Yazar
Baek, Joonsang. editor.
Format:
Electronic Resources
Alıntı:
Signatures and a Post-Quantum Instantiation -- A Simpler Construction of Identity-Based Ring Signatures from
Yazar
Da Silva, Dilma. editor.
Format:
Electronic Resources
Alıntı:
Induction of Relations from Quantitative Performance Logs -- Systematic Construction, Execution, and
Yazar
Korošec, Peter. editor.
Format:
Electronic Resources
Alıntı:
-- sMulti-Objective Optimization Algorithms -- Construction of heuristic for protein structure optimization using deep
Arama Sonuçlarını Sınırlandır
Daraltılmış: