Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programs reactive » programs relative, programs active, programs adaptive
reactive https » reactive htns, reactions https, practice https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programs reactive » programs relative, programs active, programs adaptive
reactive https » reactive htns, reactions https, practice https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Pubblicazione 2013
Sommario:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Testo
Elettronico
eBook
2
Pubblicazione 2010
Sommario:
“... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...”Testo
Elettronico
eBook
3
Pubblicazione 2008
Sommario:
“... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...”Testo
Elettronico
eBook
4
Pubblicazione 2006
Sommario:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”Testo
Elettronico
eBook
5
Pubblicazione 2008
Sommario:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Testo
Elettronico
eBook
6
Pubblicazione 2007
Sommario:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Testo
Elettronico
eBook
7
Pubblicazione 2005
Sommario:
“... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”Testo
Elettronico
eBook
8
Pubblicazione 2010
Sommario:
“... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...”Testo
Elettronico
eBook
9
Pubblicazione 2013
Sommario:
“... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...”Testo
Elettronico
eBook