Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
functional function » functionals function, functional functions, function function
parallel function » parallel functional, parallel auction, parallel union
tool functional » tools functional, total functional, oil functional
function https » functions https, fiction https
function tool » functions tools, function total, function two
functional function » functionals function, functional functions, function function
parallel function » parallel functional, parallel auction, parallel union
tool functional » tools functional, total functional, oil functional
function https » functions https, fiction https
function tool » functions tools, function total, function two
1
Udgivet 2006
Indholdsfortegnelse:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Få fuldtekst
Electronisk
eBog
2
Indholdsfortegnelse:
“...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
3
Udgivet 2012
Indholdsfortegnelse:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2006
Indholdsfortegnelse:
“... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”Få fuldtekst
Electronisk
eBog
5
af Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Udgivet 2012
Indholdsfortegnelse:
“... -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Floating Point Arithmetic...”Udgivet 2012
Få fuldtekst
Electronisk
eBog
6
Indholdsfortegnelse:
“...Basic Tools and Techniques -- The Universal Generating Function in Reliability Analysis of Binary...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
7
Udgivet 2014
Indholdsfortegnelse:
“...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2007
Indholdsfortegnelse:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2010
Indholdsfortegnelse:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“... of Functionally Defined Objects on Distributed Systems -- Automated Digital Image Registration and its Parallel...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2015
Indholdsfortegnelse:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”Få fuldtekst
Electronisk
eBog
15
Udgivet 2008
Indholdsfortegnelse:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2010
Indholdsfortegnelse:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2010
Indholdsfortegnelse:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Få fuldtekst
Electronisk
eBog
18
af Canuto, Claudio., Canuto, Claudio., Hussaini, M. Yousuff., Quarteroni, Alfio., Zang, Thomas A.
Udgivet 2007
Fag:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”Udgivet 2007
Få fuldtekst
Electronisk
eBog
19
Udgivet 2008
Indholdsfortegnelse:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2005
Indholdsfortegnelse:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Få fuldtekst
Electronisk
eBog