Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
case programme » cases programme, based programme, scale programme
function https » functions https, fiction https
parallel case » parallel cable, parallel phase, parallel crane
programme function » programming function, programme action, programs functional
function function » function functional, functions functional, function dysfunction
case programme » cases programme, based programme, scale programme
function https » functions https, fiction https
parallel case » parallel cable, parallel phase, parallel crane
1
Published 2013
Table of Contents:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”View full text
Electronic
eBook
2
Table of Contents:
“...Algebraic Preliminaries -- Integration of Rational Functions -- Differential Fields -- The Order...”
View full text
View full text
Electronic
eBook
3
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
4
Published 2010
Table of Contents:
“... of the Paparella–Young epsilon theorem -- Inertia-gravity-wave generation: a geometric-optics approach -- Parallels...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... Formation Using Cellular Automata and L-Systems: A Case Study in Producing Islamic Patterns -- Interactive...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Benchmark Queries for Linked Open Data -- RDFS Reasoning on Massively Parallel Hardware -- An Efficient Bit...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- Exploring Chaotic Neural Network for Cryptographic Hash Function -- Protocol to Authenticate the Objects...”View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... urban space: A case study of cozy space design pattern -- Quantum-Membership-Function-Based Adaptive...”View full text
Electronic
eBook
12
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
13
Subjects:
“...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
View full text
View full text
Electronic
eBook
14
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook