Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
program certification » program verification, programs verification, produce certification
certification https » certification paths, certification step, certification gets
function relation » function relations, function regulation, function section
https function » its function, sites function, ups function
relation https » relations https, religion https, relations http
program certification » program verification, programs verification, produce certification
certification https » certification paths, certification step, certification gets
function relation » function relations, function regulation, function section
https function » its function, sites function, ups function
relation https » relations https, religion https, relations http
1
Julkaistu 2006
Sisällysluettelo:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2006
Sisällysluettelo:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2012
Sisällysluettelo:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Hae kokoteksti
Elektroninen
E-kirja
4
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Julkaistu 2008
Sisällysluettelo:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Hae kokoteksti
Elektroninen
E-kirja
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Julkaistu 2010
Sisällysluettelo:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2005
Sisällysluettelo:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Hae kokoteksti
Elektroninen
E-kirja
7
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Julkaistu 2005
Sisällysluettelo:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2014
Sisällysluettelo:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2011
Aiheet:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2015
Sisällysluettelo:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2008
Sisällysluettelo:
“..., and Neither Are Testers -- Contract-Based Reasoning for Verification and Certification of Secure Information...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2011
Aiheet:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2005
Sisällysluettelo:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2010
Sisällysluettelo:
“... to Life -- LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling -- Task Forces...”Hae kokoteksti
Elektroninen
E-kirja
15
Sisällysluettelo:
“... Logarithm Problem -- Elliptic Curve Cryptosystems -- Digital Signatures -- Hash Functions -- Message...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2010
Sisällysluettelo:
“... Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective -- Certification...”Hae kokoteksti
Elektroninen
E-kirja
17
Aiheet:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2005
Sisällysluettelo:
“... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”Hae kokoteksti
Elektroninen
E-kirja
19
Sisällysluettelo:
“... -- Indexes -- Full-Text Search -- Views -- SQL Server Functions -- Conditional Processing, Control-of-Flow...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
20
Tekijä Muller, Jean-Michel., Muller, Jean-Michel., Brisebarre, Nicolas., de Dinechin, Florent., Jeannerod, Claude-Pierre., Lefèvre, Vincent., Melquiond, Guillaume., Revol, Nathalie., Stehlé, Damien., Torres, Serge.
Julkaistu 2010
Sisällysluettelo:
“... Arithmetic -- Elementary Functions -- Evaluating Floating-Point Elementary Functions -- Solving the Table...”Julkaistu 2010
Hae kokoteksti
Elektroninen
E-kirja
- 1
- 2
- 3
- Seuraava »
- [3]