Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions 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
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions 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
Publicat 2008
Taula de continguts:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“... Design -- A Reconfigurable Implementation of the Tate Pairing Computation over GF(2 m ) -- Session 3...”Obtenir text complet
Electrònic
eBook
4
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicat 2013
Taula de continguts:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”Obtenir text complet
Electrònic
eBook
5
Publicat 2008
Taula de continguts:
“... CEGAR -- Session 4: Hybrid Systems -- Computing Differential Invariants of Hybrid Systems as Fixedpoints...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”Obtenir text complet
Electrònic
eBook
7
Taula de continguts:
“... the Vehicle Radiator -- Using VEE Pro to Create UserFunctions -- Using VEE Pro for Application Simulations...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
8
Publicat 2007
Taula de continguts:
“... -- Modelling Interdependencies Between the Electricity and Information Infrastructures -- Poster Session 1...”Obtenir text complet
Electrònic
eBook
9
Publicat 2007
Taula de continguts:
“... Verification Using Lazy Learning -- Local Proofs for Global Safety Properties -- Session II: Verification...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... Recovery Protocols Using MPICH-GF -- Session 2B: Assessment and Analysis -- An Approach to Experimentally...”Obtenir text complet
Electrònic
eBook
11
Publicat 2006
Taula de continguts:
“... and Non-functional Requirements -- SOCK: A Calculus for Service Oriented Computing -- A Priori Conformance...”Obtenir text complet
Electrònic
eBook
12
Publicat 2005
Taula de continguts:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”Obtenir text complet
Electrònic
eBook
13
Publicat 2008
Taula de continguts:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...”Obtenir text complet
Electrònic
eBook
15
Taula de continguts:
“...Introducing PHP -- Configuring Your Environment -- PHP Basics -- Functions -- Arrays -- Object...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“... in Architecture Representation -- Flexible Working Architectures: Agile Architecting Using PPCs -- Lightweight...”Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... Engineering (WiSME’2004) -- Open Issues in Industrial Use Case Modeling -- Models for Non-functional Aspects...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Obtenir text complet
Electrònic
eBook