Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration function » integration functions, integration functional, integration dysfunction
function proceedings » education proceedings, nutrition proceedings, production proceedings
proceedings program » proceedings from
program java » program jarak, program a, program jom
https » http
integration function » integration functions, integration functional, integration dysfunction
function proceedings » education proceedings, nutrition proceedings, production proceedings
proceedings program » proceedings from
program java » program jarak, program a, program jom
https » http
1
Publicado 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2013
Table of Contents:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Ligazón do recurso
Electrónico
eBook
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado 2013
Table of Contents:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2014
Table of Contents:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2007
Table of Contents:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2005
Table of Contents:
“...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2008
Table of Contents:
“...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2008
Table of Contents:
“... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2014
Table of Contents:
“... -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2005
Table of Contents:
“... Survivability -- Information Systems Development and Management -- Integration and Maintenance of Heterogeneous...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”Ligazón do recurso
Electrónico
eBook
- 1
- 2
- Seguinte »
- [2]