Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
programming session » programming series, programming service, programs session
session using » sessions using, mission using, fission using
using tools » cutting tools, making tools, mining tools
computation programming » communication programming, computation programmatic, computing programming
function computation » function computing, function decomposition, section computational
programming session » programming series, programming service, programs session
session using » sessions using, mission using, fission using
using tools » cutting tools, making tools, mining tools
1
Vydáno 2008
Obsah:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2010
Obsah:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Získat plný text
Elektronický zdroj
E-kniha
3
Vydáno 2010
Obsah:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”Získat plný text
Elektronický zdroj
E-kniha
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Vydáno 2013
Obsah:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2008
Obsah:
“... CEGAR -- Session 4: Hybrid Systems -- Computing Differential Invariants of Hybrid Systems as Fixedpoints...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2010
Obsah:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Získat plný text
Elektronický zdroj
E-kniha
7
Obsah:
“... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2007
Obsah:
“... -- Modelling Interdependencies Between the Electricity and Information Infrastructures -- Poster Session 1...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2007
Obsah:
“... Verification Using Lazy Learning -- Local Proofs for Global Safety Properties -- Session II: Verification...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2005
Obsah:
“... Recovery Protocols Using MPICH-GF -- Session 2B: Assessment and Analysis -- An Approach to Experimentally...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2006
Obsah:
“... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2005
Obsah:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”Získat plný text
Elektronický zdroj
E-kniha
13
Vydáno 2008
Obsah:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2010
Obsah:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”Získat plný text
Elektronický zdroj
E-kniha
15
Obsah:
“...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2008
Obsah:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2010
Obsah:
“... in Architecture Representation -- Flexible Working Architectures: Agile Architecting Using PPCs -- Lightweight...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2005
Obsah:
“... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2008
Obsah:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2014
Obsah:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Získat plný text
Elektronický zdroj
E-kniha