Filter by
Communication Complexity: A New Approach to Circuit Depth
Communication Complexity describes a new intuitive model for studying circuit networks that captures the essence of circuit depth. Although the complexity of boolean functions has been studied for almost 4 decades, the main problems the inability to show a separation of any two classes, or to obtain nontrivial lower bounds remain unsolved. The communication complexity approach provides clues as…
- Edition
- -
- ISBN/ISSN
- 9780262256490
- Collation
- 1 online resource (68 pages).
- Series Title
- -
- Call Number
- -
Certified programming with dependent types :a pragmatic introduction to the C…
The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, empha…
- Edition
- -
- ISBN/ISSN
- 9780262317870
- Collation
- 1 online resource (xii, 424 pages)
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography