Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
dysfunction https » dysfunction after, dysfunction james, dysfunction ahfs
computing tool » computing tools, computing two, computing today
function https » functions https, fiction https
tool function » tool functions, tool functional, tools functions
dysfunction https » dysfunction after, dysfunction james, dysfunction ahfs
computing tool » computing tools, computing two, computing today
function https » functions https, fiction https
tool function » tool functions, tool functional, tools functions
1
Gepubliceerd in 2006
Inhoudsopgave:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2007
Inhoudsopgave:
“... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2006
Inhoudsopgave:
“... in the Lambda Calculus with Interaction Nets -- Proof Tool Support for Explicit Strictness -- A Rational...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2012
Inhoudsopgave:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Volledige tekst
Elektronisch
E-boek
5
Inhoudsopgave:
“...Preface -- 1. Getting Acquainted -- 2. Complex Functions -- 3. Analytic Functions -- 4. Complex...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
6
Inhoudsopgave:
“...Basic Tools and Techniques -- The Universal Generating Function in Reliability Analysis of Binary...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
7
door Deschamps, Jean-Pierre., Deschamps, Jean-Pierre., Sutter, Gustavo D., Cantó, Enrique.
Gepubliceerd in 2012
Inhoudsopgave:
“... -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Floating Point Arithmetic...”Gepubliceerd in 2012
Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2005
Inhoudsopgave:
“... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2008
Inhoudsopgave:
“...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2010
Inhoudsopgave:
“... Implementations on FPGA -- Comparison of Bit Serial Computation with Bit Parallel Computation for Reconfigurable...”Volledige tekst
Elektronisch
E-boek
11
Inhoudsopgave:
“...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
12
Inhoudsopgave:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2010
Inhoudsopgave:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2010
Inhoudsopgave:
“... on Highly Parallel Processing on a Chip -- The Next 25 Years of Computer Architecture? -- Software...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2010
Inhoudsopgave:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2015
Inhoudsopgave:
“... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2008
Inhoudsopgave:
“... Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2005
Inhoudsopgave:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2010
Inhoudsopgave:
“...Theory of Evolutionary Computing (I) -- Optimal Fixed and Adaptive Mutation Rates...”Volledige tekst
Elektronisch
E-boek
20
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments 15th...
Gepubliceerd in 2013
Inhoudsopgave:
“... in Smart Environments -- Parallel Rendering of Human-Computer Interaction Industrial Applications on Multi...”Volledige tekst
Elektronisch
E-boek