1
Published 2013
Table of Contents: ... and Extensible Package Management System for Lua -- On the Performance of Multidimensional Array Representations...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
View full text
Electronic eBook
3
Table of Contents: ...Developing Smarter with JavaServer™ Faces -- The Foundation of JSF: Components -- Defining the Date...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP...
View full text
Electronic eBook
5
Table of Contents: ... Returning an Array of Components -- Sending E-mail the Right Way -- ColdFusion and Microsoft Exchange...
View full text
Electronic eBook
6
by Brooks, David R., Brooks, David R.
Published 2008
Table of Contents: ...Creating a Server-Side Environment for PHP -- Working with PHP -- PHP Arrays -- Summary of Selected...
View full text
Electronic eBook
7
by Brooks, David R., Brooks, David R.
Published 2007
Table of Contents: ... of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions....
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
View full text
Electronic eBook
9
Table of Contents: ...Introducing Java -- Your First Java Program -- Object Orientation in a Nutshell -- The Primitive...
View full text
Electronic eBook
10
Published 2015
Table of Contents: ... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Sampling Component of the Dendritic Cell Algorithm -- FDCM: A Fuzzy Dendritic Cell Method -- Modular RADAR...
View full text
Electronic eBook
12
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
View full text
Electronic eBook
17
Published 2005
Table of Contents: ..., Component Based Programming Environment -- A WSRF Based Shopping Cart System -- Grid Access Middleware...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... Optimization Component.-Time Series Prediction by Artificial Neural Networks and Differential Evolution...
View full text
Electronic eBook
19
Published 2012
Table of Contents: ... with OCL -- Multi-perspectives on Feature Models -- Generating Better Partial Covering Arrays by Modeling...
View full text
Electronic eBook
20
Table of Contents: ... -- Partitioning the Phylogenetic, Functional, Environmental and Spatial Components of Community Diversity...
View full text
Electronic eBook