Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function solution » function evolution, function section, functional evolution
program verifier » program series
https function » its function, sites function, ups function
solution https » pollution https, sedation https, evaluation https
function solution » function evolution, function section, functional evolution
program verifier » program series
https function » its function, sites function, ups function
solution https » pollution https, sedation https, evaluation https
1
Publicado 2014
Table of Contents:
“...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2007
Table of Contents:
“...Verifying Temporal Properties of CommUnity Designs -- Precise Scenarios – A Customer-Friendly...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“... -- Grammar-Based Compression in a Streaming Model -- Simplifying Regular Expressions -- A Programming...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2015
Table of Contents:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2007
Table of Contents:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2010
Table of Contents:
“... of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems -- Fuzzy Solution...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2008
Table of Contents:
“...Invited Talk -- Hardware Verification: Techniques, Methodology and Solutions -- Parameterized...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2008
Table of Contents:
“...Invited Talk -- Attestation: Evidence and Trust -- Authentication -- A Novel Solution for End...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2008
Table of Contents:
“... for the Future -- Parallelization of Sphere-Decoding Methods -- Improving the Performance of a Verified Linear...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2014
Table of Contents:
“... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”Ligazón do recurso
Electrónico
eBook
11
Table of Contents:
“... of Numerical Mathematics -- II Numerical Linear Algebra -- 3 Direct Methods for the Solution of Linear Systems...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
12
Publicado 2006
Table of Contents:
“... Deployable Secure-Mailing-List Solution -- Mathematical Foundations for the Design of a Low-Rate DoS Attack...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“... Negotiation -- Modeling and Verifying Business Interactions via Commitments and Dialogue Actions...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2011
Table of Contents:
“...Appling Bounded Model Checking to Verifying Web Navigation Model -- A Metri-Based Approach for Anti...”Ligazón do recurso
Electrónico
eBook
15
Table of Contents:
“... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
16
Publicado 2007
Table of Contents:
“...-device Web Applications with Database Access -- Enriching Hypermedia Application Interfaces -- Functional...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2007
Table of Contents:
“... for Web Services -- Finite Model Reasoning on UML Class Diagrams Via Constraint Programming -- Model...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2005
Table of Contents:
“... of the DES -- Robust Key Extraction from Physical Uncloneable Functions -- Efficient Constructions for One...”Ligazón do recurso
Electrónico
eBook