1
Publicat 2010
Taula de continguts: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Obtenir text complet
Electrònic eBook
2
Publicat 2008
Taula de continguts: ... Networks -- Revocation Schemes for Delegation Licences -- Reusability of Functionality-Based Application...
Obtenir text complet
Electrònic eBook
3
Publicat 2010
Taula de continguts: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Obtenir text complet
Electrònic eBook
4
Publicat 2007
Taula de continguts: ... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...
Obtenir text complet
Electrònic eBook
5
Publicat 2010
Taula de continguts: ... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...
Obtenir text complet
Electrònic eBook
6
Publicat 2013
Taula de continguts: ... -- On Distributability in Process Calculi -- Behavioral Polymorphism and Parametricity in Session-Based Communication...
Obtenir text complet
Electrònic eBook
7
Publicat 2010
Taula de continguts: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Obtenir text complet
Electrònic eBook
8
Taula de continguts: ...The Communication Mechanism of Cognition -- Matters of Method -- Interfaces and Components -- Data...
Obtenir text complet
Electrònic eBook
9
Publicat 2010
Taula de continguts: ... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...
Obtenir text complet
Electrònic eBook
10
Publicat 2005
Taula de continguts: ... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...
Obtenir text complet
Electrònic eBook
11
Publicat 2005
Taula de continguts: ... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...
Obtenir text complet
Electrònic eBook
12
Publicat 2013
Taula de continguts: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
Obtenir text complet
Electrònic eBook
13
Publicat 2010
Taula de continguts: ... Computation, Communication and Resource Interaction -- Regular Papers -- Simulation of Kohn’s Molecular...
Obtenir text complet
Electrònic eBook
14
Publicat 2007
Taula de continguts: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
Obtenir text complet
Electrònic eBook
15
Publicat 2010
Taula de continguts: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
Obtenir text complet
Electrònic eBook
16
Publicat 2008
Taula de continguts: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
Obtenir text complet
Electrònic eBook
17
Publicat 2015
Taula de continguts: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
Obtenir text complet
Electrònic eBook
18
Taula de continguts: ...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...
Obtenir text complet
Electrònic eBook
19
Publicat 2013
Taula de continguts: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
Obtenir text complet
Electrònic eBook
20
Publicat 2005
Taula de continguts: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Obtenir text complet
Electrònic eBook