Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing developing » forecasting developing, housing developing
developing computer » development computer, developing competent, developing complex
control processing » central processing, control proceedings, control processes
deduction control » reduction control, detection control, induction control
computer https » computers https, computing https, computer arts
processing developing » forecasting developing, housing developing
developing computer » development computer, developing competent, developing complex
control processing » central processing, control proceedings, control processes
deduction control » reduction control, detection control, induction control
computer https » computers https, computing https, computer arts
1
Published 2007
Table of Contents:
“... Software Development? -- Invited Tutorials -- Algorithms for Interface Synthesis -- A Tutorial...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... -- Controlling Process Modularity in Mobile Computing -- Failures: Their Definition, Modelling and Analysis -- C...”View full text
Electronic
eBook
4
Table of Contents:
“... for Hybrid Systems -- Deduction Modulo Real Algebra and Computer Algebra -- Computing Differential Invariants...”
View full text
View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... for the Similarity Algebra -- On Modal Deductive Databases -- Declarative Data Fusion – Syntax, Semantics...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Class Diagrams as Static Views of Formal B Developments -- 29 New Unclarities in the Semantics of UML...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... in Evolving Fuzzy Systems -- Restoring Consistency in P2P Deductive Databases -- On the Complexity...”View full text
Electronic
eBook