Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
location verification » calculations verification
verification program » verification problems, verification process, verification proving
programming concepts » programming congresses
program programming » programs programming, programmer programming, pram programming
https » http
location verification » calculations verification
verification program » verification problems, verification process, verification proving
programming concepts » programming congresses
program programming » programs programming, programmer programming, pram programming
https » http
1
Julkaistu 2006
Sisällysluettelo:
“... Declarative Debugger -- Automatic Verification of a Model Checker by Reflection -- Probabilistic-Logical...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2006
Sisällysluettelo:
“...-Technique of Web Services Analysis and Dependability Ensuring -- On Specification and Verification...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2008
Sisällysluettelo:
“... -- An SMT Approach to Bounded Reachability Analysis of Model Programs -- Verification -- Parameterized Tree...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2010
Sisällysluettelo:
“... -- Creating Passion for Augmented Reality Applications – A Teaching Concept for a Lab Course -- Applications...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2014
Sisällysluettelo:
“... Algebraically -- Abstract Dynamic Frames -- Automated Verification of Relational While-Programs -- On Faults...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2006
Sisällysluettelo:
“...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2010
Sisällysluettelo:
“... in Smart Cameras -- A Formal Framework for Compositional Verification of Organic Computing Systems...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2013
Sisällysluettelo:
“... Programming Concepts -- Real-Time System for Monitoring and Analyzing Personal Electrocardiogram on Cell Phone...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2015
Sisällysluettelo:
“... using Soft Computing Methods -- A new method for the dynamic signature verification based on the stable...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2008
Sisällysluettelo:
“... Facility Location Problem -- Fourier Series Chaotic Neural Networks -- Numerical Simulation...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2014
Sisällysluettelo:
“... Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions...”Hae kokoteksti
Elektroninen
E-kirja