Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration verification » integrity verification, location verification, integration applications
verification program » verification problems, verification process, verification proving
program instruction » programed instruction, program construction, programmed instruction
instruction https » interaction https, instrumentation https
program program » programs program, programming program
integration verification » integrity verification, location verification, integration applications
verification program » verification problems, verification process, verification proving
program instruction » programed instruction, program construction, programmed instruction
instruction https » interaction https, instrumentation https
program program » programs program, programming program
1
Published 2007
Table of Contents:
“... Programming -- Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web -- View...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”View full text
Electronic
eBook
3
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Published 2007
Table of Contents:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... EventB to Create a Virtual Machine Instruction Set Architecture -- 4. Z Papers -- Z2SAL - Building a...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... -- Extending Coq with Imperative Features and Its Application to SAT Verification -- A Tactic Language...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... on Instructions Statistics: Algorithm for Deciding Offload Function Set on Mobile Cloud System -- Improved...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Course Delivery: A Study of Critical Success Factors for Instructional Systems Design -- A Game-Based...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“...Formal Hardware/Software Co-verification of Application Specific Instruction Set Processors...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“...-Time Embedded Systems -- Energy-Effective Instruction Fetch Unit for Wide Issue Processors -- Rule...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Transducers -- Knowledge Processing for Web Search — An Integrated Model -- Applying Social Behaviours...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Computer Program for Modeling and Simulation of Dynamic Systems -- A Software Architecture for Inventory...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“..., Information and Knowledge Harmonization, Integration and Fusion in GIS -- Intelligent Images Analysis in GIS...”View full text
Electronic
eBook



