Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
computation programming » communication programming, computation programmatic, computing programming
deduction computation » prediction computation, detection computational, education computational
1
Published 2010
Table of Contents:
“... of Comparative Similarity over Arbitrary Distance Spaces -- Extended Computation Tree Logic -- Using Causal...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Programs with Chalice -- Static Timing Analysis for Hard Real-Time Systems -- Invited Tutorials -- Abstract...”View full text
Electronic
eBook
4
Published 2015
Table of Contents:
“... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Programming Language -- Distance-Based Repairs of Databases -- Natural Deduction Calculus for Linear-Time...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Envelope -- Uniform Interpolation of ALC-Ontologies Using Fixpoints -- Abduction in Logic Programming...”View full text
Electronic
eBook