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