1
Publicat 2006
Taula de continguts: ... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obtenir text complet
Electrònic eBook
3
Publicat 2014
Taula de continguts: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
Obtenir text complet
Electrònic eBook
4
Publicat 2006
Taula de continguts: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... Contribution to Programming (1946–1950) -- A Miniaturisation of Ramsey’s Theorem -- Graph Structures...
Obtenir text complet
Electrònic eBook
6
Publicat 2014
Taula de continguts: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...
Obtenir text complet
Electrònic eBook
8
Taula de continguts: ...Part I Thermo-Responsive Hydrogel Functional Materials -- Structure-Function Relationship of Thermo...
Obtenir text complet
Electrònic eBook
9
Publicat 2007
Taula de continguts: ... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...
Obtenir text complet
Electrònic eBook
10
Publicat 2008
Taula de continguts: ... Structure Prediction with Large Neighborhood Constraint Programming Search -- An Application of Constraint...
Obtenir text complet
Electrònic eBook
11
Taula de continguts: ... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...
Obtenir text complet
Electrònic eBook
12
Publicat 2014
Taula de continguts: ...Part I Seeking the Climate Change Signal -- Chapter 1 Recent Changes in Climate and Forest...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...
Obtenir text complet
Electrònic eBook
14
Publicat 2010
Taula de continguts: ... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...
Obtenir text complet
Electrònic eBook
15
Publicat 2008
Taula de continguts: ...-Programming in a Mature Agile Team -- Conceptual Models of Agility -- Just Enough Structure at the Edge...
Obtenir text complet
Electrònic eBook
16
Publicat 2010
Taula de continguts: ... Function of Frame Rate and Resolution Changes -- How to Build an Objective Model for Packet Loss Effect...
Obtenir text complet
Electrònic eBook
17
Taula de continguts: ..., and Style -- Tying Content and Structure Together -- Comments -- Beyond The Basics -- Extending Textpattern...
Obtenir text complet
Electrònic eBook
18
Publicat 2010
Taula de continguts: ... Specifications -- Saturated LTSs for Adhesive Rewriting Systems -- A Hoare Calculus for Graph Programs -- Session...
Obtenir text complet
Electrònic eBook
19
Publicat 2006
Taula de continguts: ... for Graph Transformation with Negative Application Conditions -- Adaptive Star Grammars -- Structure...
Obtenir text complet
Electrònic eBook
20
Publicat 2007
Taula de continguts: ... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...
Obtenir text complet
Electrònic eBook