Foreslåede emner i din søgning.
Søg alternativer:
program specification » programs specifications, program specialization, program verification
specification https » specification matter, modification https, specification aes
https functioning » status functioning, its functioning, high functioning
functioning using » function using, functions using, functioning among
using https » using http, nursing https, aging https
1
Omslagsbillede
Udgivet 2014
Indholdsfortegnelse: “... of Termination, Confluence and Sufficient Completeness of OBJ Specifications -- The Versatile Synchronous...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
2
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
3
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... Language -- The Specification Language TLA+ -- The Typed Logic of Partial Functions and the Vienna...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
4
Omslagsbillede
Indholdsfortegnelse: “... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
5
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “... of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
6
Omslagsbillede
Udgivet 2005
Indholdsfortegnelse: “... -- Mechatronics Design and Verification -- Modeling and Specification -- Pattern-based Analysis in Distributed...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
7
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... Patterns -- Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
8
Omslagsbillede
Indholdsfortegnelse: “.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
9
Omslagsbillede
af Lew, Art., Lew, Art., Mauch, Holger.
Udgivet 2007
Indholdsfortegnelse: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
10
Omslagsbillede
Udgivet 2015
Indholdsfortegnelse: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
11
Omslagsbillede
Udgivet 2008
Indholdsfortegnelse: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
12
Omslagsbillede
Udgivet 2007
Indholdsfortegnelse: “... Handling Rules -- Computing Fuzzy Answer Sets Using dlvhex -- The Use of a Logic Programming Language...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
13
Omslagsbillede
af Li, Xingfeng., Li, Xingfeng.
Udgivet 2014
Indholdsfortegnelse: “... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
14
Omslagsbillede
Udgivet 2010
Indholdsfortegnelse: “... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
15
Omslagsbillede
Udgivet 2010
Indholdsfortegnelse: “... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
16
Omslagsbillede
Udgivet 2012
Indholdsfortegnelse: “... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
17
Omslagsbillede
Udgivet 2010
Indholdsfortegnelse: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
18
Omslagsbillede
Udgivet 2006
Indholdsfortegnelse: “... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
19
Omslagsbillede
Udgivet 2013
Indholdsfortegnelse: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
20
Omslagsbillede
Udgivet 2010
Indholdsfortegnelse: “... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”
Få fuldtekst
Electronisk eBog
Føj til favoritter
Saved in:
Søgeredskaber: ”Modtag RSS Feed — Email denne søgning — Gem søgning