Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Search
  Browse All Reviews > Theory Of Computation (F)  
  Theory Of Computation (F) See Reviews  
 
F.0 General (132)
F.1 Computation By Abstract Devices
  General (72)
  Models Of Computation (276)
  Modes Of Computation (14)
  Complexity Measures And Classes (262)
  Miscellaneous (7)
F.2 Analysis Of Algorithms And Problem Complexity
  General (322)
  Numerical Algorithms And Problems (390)
  Nonnumerical Algorithms And Problems (667)
  Tradeoffs between Complexity Measures (27)
  Miscellaneous (23)
F.2 Analysis Of Algorithms And Problem Complexity (cont.)
F.3 Logics And Meanings Of Programs
  General (46)
  Specifying And Verifying And Reasoning About Programs (36)
  Semantics Of Programming Languages (316)
  Studies Of Program Constructs (120)
  Miscellaneous (0)
F.4 Mathematical Logic And Formal Languages
  General (72)
  Mathematical Logic (11)
  Grammars And Other Rewriting Systems (153)
  Formal Languages (198)
  Miscellaneous (13)
F.m Miscellaneous (26)
 
         
 
Reviews limited to:
 
 

Reviews in category "Theory Of Computation (F)":
 Information dynamics: in classical and quantum systems
Dittrich T., Springer, New York, NY , 2022. 557 pp.  Type: Book (978-3030967444)
Automata theory: an algorithmic approach
Esparza J., Blondin M., MIT Press, Cambridge, MA, 2023. 560 pp.  Type: Book (0262048639)
 Simple type theory: a practical logic for expressing and reasoning about mathematical ideas
Farmer W., BIRKHAUSER, Basel, Switzerland, 2023. 312 pp.  Type: Book (3031211138)
Algorithms for constructing computably enumerable sets
Supowit K., Springer International Publishing, Cham, Switzerland, 2023. 183 pp.  Type: Book (9783031269035)
Randomness and elements of decision theory applied to signals
Borda M., Terebes R., Malutan R., Ilea I., Cislariu M., Miclea A., Barburiceanu S., Springer International Publishing, Cham, Switzerland, 2021. 259 pp.  Type: Book (978-3-030903-13-8)
more...

Related Topics

F.1.1
Models Of Computation
  - Mathematical Logic

F.2
Analysis Of Algorithms And Problem Complexity
  - Complexity Measures And Classes
  - Logic Design
  - Integrated Circuits

F.2.1
Numerical Algorithms And Problems
  - Mathematical Software
  - Symbolic and Algebraic Manipulation
  - Numerical Analysis
   more
   
 
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy