 | | | | | |
Bild | | | | | Bestellen |
|
|
|
Computer Science - Theory and Applications (1 Angebot) Proving Church's Thesis.- The Limits of Quantum Computers.- Marrying Words and Trees.- TPTP, TSTP, CASC, etc..- Abstract Modeling and Formal Verification of Microprocessors.- Sequences of Level 1, ... |
1 |
Springer Verlag 9783540745099 |
€ 49,99*
pro Stück |
|
|
Computer Science - Theory and Applications (1 Angebot) This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. The 33 revised papers presented to... |
1 |
Springer Verlag 9783540797081 |
€ 49,99*
pro Stück |
|
|
Computer Science - Theory and Applications (1 Angebot) Invited Papers.- Well-Founded and Partial Stable Semantics Logical Aspects.- The Reachability Problem over Infinite Graphs.- Kolmogorov Complexity and Model Selection.- Automatic Verification of He... |
1 |
Springer Verlag 9783642033506 |
€ 49,99*
pro Stück |
|
|
|
1 |
Springer Verlag 9783030794156 |
€ 49,99*
pro Stück |
|
|
|
1 |
Springer Verlag 9783319587462 |
€ 49,99*
pro Stück |
|
|
|
1 |
Springer Verlag 9783030500252 |
€ 49,99*
pro Stück |
|
|
|
1 |
Springer Verlag 9783319341705 |
€ 49,99*
pro Stück |
|
|
Computer Science - Theory and Applications (1 Angebot) This book constitutes the proceedings of the 17th International Computer Science Symposium in Russia, CSR 2022, held in St. Petersburg, Russia, June 29-July 3, 2022. The 21 full papers were careful... |
1 |
Springer Verlag 9783031095733 |
€ 74,99*
pro Stück |
|
|
Computer Science -- Theory and Applications (1 Angebot) Invited Papers.- Non-black-box Techniques in Cryptography.- Complexity of Polynomial Multiplication over Finite Fields.- Synchronous Elastic Circuits.- Theory Track.- SZK Proofs for Black-Box Group... |
1 |
Springer Verlag 9783540341666 |
€ 99,99*
pro Stück |
|
|
|
1 |
Springer Verlag 9783319202969 |
€ 49,99*
pro Stück |
|
|
Computer Science Logic (1 Angebot) Invited Lectures.- Notions of Average-Case Complexity for Random 3-SAT.- Abstract Interpretation of Proofs: Classical Propositional Calculus.- Applications of Craig Interpolation to Model Checking.... |
1 |
Springer Verlag 9783540230243 |
€ 49,99*
pro Stück |
|
|
Computer Science Logic (1 Angebot) Invited Lectures.- Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract).- The Symbolic Approach to Repeated Games (Abstract).- Proofs, Programs and Abstr... |
1 |
Springer Verlag 9783540749141 |
€ 99,99*
pro Stück |
|
|
Computer Science Logic (1 Angebot) Invited Lectures.- XML Navigation and Tarski's Relation Algebras.- Verification in Predicate Logic with Time: Algorithmic Questions.- Note on Formal Analogical Reasoning in the Juridical Context.- ... |
1 |
Springer Verlag 9783540282310 |
€ 49,99*
pro Stück |
|
|
Computer Science Logic (1 Angebot) Invited Papers.- Local Reasoning about Programs that Alter Data Structures.- Applications of Alfred Tarski's Ideas in Database Theory.- Locus Solum: From the Rules of Logic to the Logic of Rules.- ... |
1 |
Springer Verlag 9783540425540 |
€ 99,99*
pro Stück |
|
|
Computer Science Logic (1 Angebot) Invited Presentations.- Functorial Boxes in String Diagrams.- Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract).- Automata and Logic... |
1 |
Springer Verlag 9783540454588 |
€ 99,99*
pro Stück |
|
|
