| 321 |
QED at Large: A Survey of Engineering of Formally Verified Software |
Global Now |
Computing and Processing |
2019 |
Open
|
| 322 |
Qualitative and Critical Research in Information Systems and Human-Computer Interaction: Divergent and Convergent Paths |
Global Now |
Computing and Processing |
2019 |
Open
|
| 323 |
Quantified Derandomization: How to Find Water in the Ocean |
Global Now |
Computing and Processing; General Topics for Engineers |
2022 |
Open
|
| 324 |
Quantum Hamiltonian Complexity |
Global Now |
Computing and Processing |
2015 |
Open
|
| 325 |
Quantum Proofs |
Global Now |
Computing and Processing |
2016 |
Open
|
| 326 |
Quantum-Inspired Neural Language Representation, Matching and Understanding |
Global Now |
Computing and Processing |
2023 |
Open
|
| 327 |
Query Processing on Probabilistic Data: A Survey |
Global Now |
Computing and Processing |
2017 |
Open
|