1
Published 2013
Table of Contents: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
View full text
Electronic eBook
2
Table of Contents: ... -- Reconfigurable Logic Devices. Field-Programmable Gate Arrays. Coarse-Grained Reconfigurable Arrays. Summary...
View full text
Electronic eBook
3
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
4
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
5
Subjects: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
View full text
Electronic eBook
6
Table of Contents: ... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...
View full text
Electronic eBook
7
Table of Contents: ...Overview -- Introduction to Problem Solving -- Introduction to Programming Languages...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
9
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
10
Published 2015
Table of Contents: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
View full text
Electronic eBook
11
Table of Contents: ...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...
View full text
Electronic eBook
12
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
13
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
14
Published 2010
Table of Contents: ... Induced Structure in Chemical Reaction with Small Number of Molecules -- Parallel Retrieval of Nanometer...
View full text
Electronic eBook
15
Table of Contents: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Recognizing Equal-Length Languages -- Aspects of Reversibility for Classical Automata -- A Weakly Universal...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
View full text
Electronic eBook
18
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
19
Published 2014
Table of Contents: ...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ... Counter Propagation Neural Network for Abnormal Retinal Image Classification -- A Language Independent...
View full text
Electronic eBook