Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing foundations » processing conditions, processing operations, processing communications
foundations https » equations https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
processing foundations » processing conditions, processing operations, processing communications
foundations https » equations https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
2
Table of Contents:
“...Jython, Java and jHepWork -- to Jython -- Mathematical Functions -- One-dimensional Data -- Two...”
View full text
View full text
Electronic
eBook
3
Published 2007
Table of Contents:
“... Templates for Information Systems: Foundations and Perspectives -- Reduction Based Symbolic Value Partition...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Arithmetic -- Forward Slicing by Conjunctive Partial Deduction and Argument Filtering -- A New Foundation...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Foundation for Security -- Combining Domain-Specific and Foundational Logics to Verify Complete Software...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“...Keynote Talk -- What is Computation: An Epistemic Approach -- Foundations of Computer Science...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... Personal Networks over Heterogeneous Ad-hoc Scenarios -- Analysis of Algorithms for Radial Basis Function...”View full text
Electronic
eBook
14
by Baker, Paul., Baker, Paul., Dai, Zhen Ru., Grabowski, Jens., Schieferdecker, Ina., Williams, Clay.
Published 2008
Table of Contents:
“...Foundations -- Model-Based Testing -- Basics -- Library Example Introduction -- Functional Testing...”Published 2008
View full text
Electronic
eBook