Rekommenderade teman
Rekommenderade teman
Menade du:
methods programming » methods programmed, networks programming, meta programming
interval methods » internal methods, interval method, integral methods
programming java » programming jay, programming janet, programming graph
https » http
methods programming » methods programmed, networks programming, meta programming
interval methods » internal methods, interval method, integral methods
programming java » programming jay, programming janet, programming graph
https » http
1
Publicerad 2010
Innehållsförteckning:
“... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...”Hämta fulltext
Elektronisk
E-bok
2
Publicerad 2006
Innehållsförteckning:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Hämta fulltext
Elektronisk
E-bok
3
Publicerad 2010
Innehållsförteckning:
“... Conversions and Interval Arithmetic -- An Interval Method for Seeking the Nash Equilibria of Non-cooperative...”Hämta fulltext
Elektronisk
E-bok
4
Publicerad 2010
Innehållsförteckning:
“... Model -- An Interval-based Method for Text Clustering -- A GVT Based Algorithm for Butterfly Barrier...”Hämta fulltext
Elektronisk
E-bok
5
Publicerad 2007
Innehållsförteckning:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Hämta fulltext
Elektronisk
E-bok
6
Publicerad 2014
Innehållsförteckning:
“... Geometry Codes -- Reversible Codes and Applications to DNA -- javaPlex: A Research Software Package...”Hämta fulltext
Elektronisk
E-bok
7
Publicerad 2005
Innehållsförteckning:
“... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”Hämta fulltext
Elektronisk
E-bok
8
Publicerad 2005
Innehållsförteckning:
“...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”Hämta fulltext
Elektronisk
E-bok