1
Published 2007
Table of Contents: ... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
6
Table of Contents: ... -- Data Definition and Manipulation -- Transactions and Locking -- Functions, Stored Procedures...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...
View full text
Electronic eBook
8
by Lair, Robert., Lair, Robert.
Published 2012
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
9
by Lair, Robert., Lair, Robert.
Published 2010
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ...-device Web Applications with Database Access -- Enriching Hypermedia Application Interfaces -- Functional...
View full text
Electronic eBook
18
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... BA Program -- Comparing Two Methods of Sound Spatialization: Vector-Based Amplitude Panning vs...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Composition Environment -- A Survey of Comparative Business Process Modeling Approaches -- Web Services -- Web...
View full text
Electronic eBook