Search for Topics All Reviews
	Browse All Reviews > Theory Of Computation (F)     Theory Of Computation (F) See Reviews     F.0 General (133) F.1 Computation By Abstract Devices   General (72)   Models Of Computation (279)   Modes Of Computation (15)   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 (668)   Tradeoffs between Complexity Measures (27)   Miscellaneous (23) F.2 Analysis Of Algorithms And Problem Complexity (cont.) F.3 Logics And Meanings Of Programs   General (47)   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 (75)   Mathematical Logic (7)   Grammars And Other Rewriting Systems (154)   Formal Languages (200)   Miscellaneous (13) F.m Miscellaneous (26)               Reviews limited to: All General Terms Algorithms Design Documentation Economics Experimentation Human factors Languages Legal Aspects Management Measurement Performance Reliability Security Standardization Theory Verification     Reviews in category "Theory Of Computation (F)": Principles of verification: cycling the probabilistic landscape: essays dedicated to Joost-Pieter Katoen on the occasion of his 60th birthday, Part II Kaminski B., Matheja C., Stoelinga M., Volk M., Jansen N., Junges S., Springer International Publishing, Cham, Switzerland, 2024. 395 pp.  Type: Book (9783031757747) Software architecture and decision-making: leveraging leadership, technology, and product management to build great products Perera S., Pearson, Hoboken, NJ, 2023. 208 pp.  Type: Book (9780138249731) Weighted synchronous automata Gomes L., Madeira A., Barbosa L. Mathematical Structures in Computer Science 321234-1253, 2022.  Type: Article Petri net primer: a compendium on the core model, analysis, and synthesis Best E., Devillers R., Springer International Publishing, Cham, Switzerland, 2024. 545 pp.  Type: Book (9783031482779) Metainferential logics Pailos F., Da Ré B., Springer International Publishing, cham, Switzerland, 2023. 134 pp.  Type: Book (9783031443800) more... Related Topics F.1.1 Models Of Computation   - Mathematical Logic F.2 Analysis Of Algorithms And Problem Complexity   - Integrated Circuits   - Complexity Measures And Classes   - Logic Design F.2.1 Numerical Algorithms And Problems   - Numerical Analysis   - Mathematical Software   - Symbolic and Algebraic Manipulation    more
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2025 ThinkLoud® Terms of Use | Privacy Policy