1
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...
View full text
Electronic eBook
5
Table of Contents: ...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ...: Extending the Recovery Algorithm -- Hash Functions for Datatype Signatures in MPI -- Extensions...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... Visualization -- Visualization in Bayesian Data Analysis -- Programming Statistical Data Visualization...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... on Probability-Possibility Transformation -- Functional Verification of Class Invariants in CleanJava...
View full text
Electronic eBook