Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program compilation » program composition, program computational, program comparison
compilation https » computation https, complications https, communication https
function centered » function altered, function central, function monitored
https function » its function, sites function, ups function
centered https » cultured https
program compilation » program composition, program computational, program comparison
compilation https » computation https, complications https, communication https
function centered » function altered, function central, function monitored
https function » its function, sites function, ups function
centered https » cultured https
1
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”View full text
Electronic
eBook
3
Table of Contents:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
View full text
View full text
Electronic
eBook
4
Table of Contents:
“... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
View full text
View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... Distance in Tanner Graphs -- Multi-stack Boundary Labeling Problems -- Computing a Center-Transversal Line...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...: Parallelization and Optimization -- Vectorization for Java -- Just-in-Time Compiler Assisted Object Reclamation...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... -- Peripheral and Cranial Nerves -- Peripheral and Cranial Nerve Injury -- Functional Neurosurgery -- Pain...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Systems to Exercise -- Exercise Modes and Vascular Functions -- Exercise, Appetite Control, and Body...”View full text
Electronic
eBook
11
Published 2011
Table of Contents:
“... and defensive Mutualism: Moving Target Defense -- Manipulating Program Functionality to Eliminate Security...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“... of Coordination in Resource Management -- sPAC (Web Services Performance Analysis Center): Performance Analysis...”View full text
Electronic
eBook
15
Published 2006
Table of Contents:
“... Compiler Really Understands Me: An Adaptive Programming Language Tutor -- Doctoral Consortium -- Adaptive...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...”View full text
Electronic
eBook