Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming definitions » programming decisions, programming defining, reframing definitions
using tools » cutting tools, making tools, mining tools
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming definitions » programming decisions, programming defining, reframing definitions
using tools » cutting tools, making tools, mining tools
1
Table of Contents:
“...Using GCC’s C Compiler -- Using GCC’s C++ Compiler -- Using GCC’s Fortran Compiler -- Using GCC’s...”
View full text
View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
4
Table of Contents:
“... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
View full text
View full text
Electronic
eBook
5
Table of Contents:
“...Numbers -- Real-Valued Functions -- Trigonometry -- Complex Numbers -- Sequences and Series...”
View full text
View full text
Electronic
eBook
6
7
Published 2008
Table of Contents:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”View full text
Electronic
eBook
8
by Muller, Jean-Michel., Muller, Jean-Michel., Brisebarre, Nicolas., de Dinechin, Florent., Jeannerod, Claude-Pierre., Lefèvre, Vincent., Melquiond, Guillaume., Revol, Nathalie., Stehlé, Damien., Torres, Serge.
Published 2010
Table of Contents:
“...Introduction, Basic Definitions, and Standards -- Definitions and Basic Notions -- Floating-Point...”Published 2010
View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... Procedure for UTVPI Constraints -- Declarative Constraint Programming with Definitional Trees -- Logical...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“...Domain Endurants: An Analysis and Description Process Model -- On Formal Definition and Analysis...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Semidefinite Programming Problems -- Reliable and Efficient Geometric Computing -- The Sage Project: Unifying...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... of Software Evolution -- Using PSU for Early Prediction of COSMIC Size of Functional and Non-functional...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... of Science and Public Education -- The Grid for Learning -- Online Social Networks: Why Do “We” Use Facebook...”View full text
Electronic
eBook
15
Table of Contents:
“... -- Data Definition and Manipulation -- Transactions and Locking -- Functions, Stored Procedures...”
View full text
View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... -- Decision on Replacing Components of Security Functions in COTS-Based Information Systems -- Best Papers...”View full text
Electronic
eBook
17
Table of Contents:
“... -- Using Report Designer -- Building Reports -- Using Custom .NET Code with Reports -- Rendering Reports...”
View full text
View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“...-Order Encodings in the Logical Framework LF -- Automatically Translating Type and Function Definitions...”View full text
Electronic
eBook
19
Table of Contents:
“... -- Chap. 11 Elliptic Curve Cryptography -- App. A Some Maple Conversion Functions -- Acronyms...”
View full text
View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Identifying Clones in Functional Programs for Refactoring -- Management System Integration Supported...”View full text
Electronic
eBook