1
Published 2008
Table of Contents: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Protocol for Live Streaming Services -- Session 3: Web Techniques -- Dynamic Thread Management in Kernel...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Functions -- Fast Generic Model-Checking for Data-Based Systems -- Logic and Model Checking for Hidden...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...
View full text
Electronic eBook
5
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ... Connecting It All Together -- 4.6 Top-Level Scope -- 4.7 Program — Module Interactions -- 4.8 SystemVerilog...
View full text
Electronic eBook