Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing program » processing programs, processing programmed, proceedings program
method processing » metal processing, method process, methods preprocessing
interval method » internal methods, integral method, integral methods
program java » program jarak, program a, program jom
https » http
processing program » processing programs, processing programmed, proceedings program
method processing » metal processing, method process, methods preprocessing
interval method » internal methods, integral method, integral methods
program java » program jarak, program a, program jom
https » http
1
Published 2006
Table of Contents:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Conversions and Interval Arithmetic -- An Interval Method for Seeking the Nash Equilibria of Non-cooperative...”View full text
Electronic
eBook
3
Published 2005
Table of Contents:
“... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“...++ Programs -- Implementation of Embedded Cores-Based Digital Devices in JBits Java Simulation Environment...”View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... Model -- An Interval-based Method for Text Clustering -- A GVT Based Algorithm for Butterfly Barrier...”View full text
Electronic
eBook