Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
models computing » model computing, modern computing, models computer
problems models » problem model, problems modeling
java problems » data problems, java programs, a problems
integer java » integer data, integer base, integer dea
https » http
models computing » model computing, modern computing, models computer
problems models » problem model, problems modeling
java problems » data problems, java programs, a problems
integer java » integer data, integer base, integer dea
https » http
1
Published 2010
Table of Contents:
“... -- Modeling and Analyzing Security in the Presence of Compromising Adversaries -- On Bounding Problems...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
3
Table of Contents:
“...Appetizer: Integer Arithmetics -- Representing Sequences by Arrays and Linked Lists -- Hash Tables...”
View full text
View full text
Electronic
eBook
4
5
Table of Contents:
“... Analyses -- Implementation Issues -- Problems in General Form -- Convex Analysis -- Game Theory...”
View full text
View full text
Electronic
eBook
6
Published 2006
Table of Contents:
“... Satisfaction Problems -- Static and Dynamic Structural Symmetry Breaking -- The Modelling Language Zinc -- A...”View full text
Electronic
eBook