Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programme function » programming function, programme action, programs functional
logical programme » logical program, biological programme, clinical programme
function function » function functional, functions functional, function dysfunction
parallel logical » parallel logic, parallel local, parallel surgical
function https » functions https, fiction https
programme function » programming function, programme action, programs functional
logical programme » logical program, biological programme, clinical programme
function function » function functional, functions functional, function dysfunction
parallel logical » parallel logic, parallel local, parallel surgical
function https » functions https, fiction https
1
Published 2013
Table of Contents:
“... -- Beautiful Imperative Code: A Functional Ace in the Hole for Imperative Programmers....”View full text
Electronic
eBook
2
Table of Contents:
“...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...”
View full text
View full text
Electronic
eBook
3
Table of Contents:
“... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...”
View full text
View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Satisfaction Approach for Programmable Logic Detailed Placement -- Minimizing Models for Tseitin-Encoded SAT...”View full text
Electronic
eBook
7
Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday /
Published 2014
Table of Contents:
“... -- Computing Boolean Functions via Quantum Hashing -- Complexity of Promise Problems on Classical and Quantum...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... for Static Deadlock Prevention -- Automatically Partitioning Data to Facilitate the Parallelization...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... for Parallel Embedded Systems -- Remarks on Parallel Bit-Byte CPU Structures of the Programmable Logic...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
11
Table of Contents:
“... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...”
View full text
View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... on an Organic Molecular Matrix -- Noise-Based Logic and Computing: From Boolean Logic Gates to Brain Circuitry...”View full text
Electronic
eBook
14
Published 2012
Table of Contents:
“...+ Reasoning on Programmable Logic Controllers -- Experiences with Modeling Composite Phenotypes...”View full text
Electronic
eBook
15
Published 2012
Table of Contents:
“...+ Reasoning on Programmable Logic Controllers -- Experiences with Modeling Composite Phenotypes...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... on Reduced-Round MISTY1.- Efficient Parallel Evaluation of Multivariate Quadratic Polynomials on GPUs...”View full text
Electronic
eBook
17
Table of Contents:
“... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...”
View full text
View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Communication Systems -- Re-Programmable Logic Array for Logic Design and Its Reliability Analysis in QCA...”View full text
Electronic
eBook
19
Subjects:
“...Circuits and Systems. https://scigraph.springernature.com/ontologies/product-market-codes/T24068...”
View full text
View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... -- Multiple Error Detection in Substitution Blocks for Block Ciphers -- Parallelization Method of Encryption...”View full text
Electronic
eBook