Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
integration function » integration functions, integration functional, integration dysfunction
function proceedings » education proceedings, nutrition proceedings, production proceedings
proceedings programs » proceedings program, processing programs, procedures programs
programs java » program java, programs a, programs case
https » http
1
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “...-to-End Integrity Protection in Signed PGP Mail -- Unclonable Lightweight Authentication Scheme -- Threat...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... -- Approximating Generators for Integral Arithmetic Groups -- Software for Groups: Theory and Practice...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “...-Supporting the Definition of Software Measurement Programs -- Predicting Software Metrics at Design Time -- A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Survivability -- Information Systems Development and Management -- Integration and Maintenance of Heterogeneous...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern