1
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
2
by Dea, Carl., Dea, Carl.
Published 2011
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- An Interactive Tool for Analyzing Embedded SQL Queries -- Session 3 -- Simple and Precise Widenings for H...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... -- Uncertain Reasoning and Decision Making -- Diagnosing Java Programs with Static Abstractions of Data...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Programming Models for Graceful Graphs -- A Simple Distribution-Free Approach to the Max k-Armed Bandit...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security...
View full text
Electronic eBook
8
by Smith, Joshua B., Smith, Joshua B.
Published 2007
Table of Contents: ...Why Objective Caml (OCaml)? -- Interacting with OCaml: The Toplevel -- Syntax and Semantics...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... Agent Development in Open Distributed Systems -- simpA: A Simple Agent-Oriented Java Extension...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... and Embedding in the Frequency Domain -- Business Intelligence Made Simple -- A Process Model for Supporting...
View full text
Electronic eBook