Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration computing » integration competing, interaction computing, integration computer
computing progress » composing progress, computing problems, computing processor
progress program » programs program, process program, progression program
program java » program jarak, program a, program jom
https » http
integration computing » integration competing, interaction computing, integration computer
computing progress » composing progress, computing problems, computing processor
progress program » programs program, process program, progression program
program java » program jarak, program a, program jom
https » http
1
2
3
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Java Program -- Keynote 3 -- Disciplined Heterogeneous Modeling -- Design Guidelines...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook
7
8
Published 2010
Table of Contents:
“... Computing -- A Method for Safekeeping Cryptographic Keys from Memory Disclosure Attacks -- Attestation...”View full text
Electronic
eBook
9
Published 2005
Table of Contents:
“... to Mobile Computing – Keynote Address -- Extending Wide-Area Replication Support with Mobility and Improved...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... and JavaServer Faces -- On Refining XML Artifacts -- Mixup: A Development and Runtime Environment for Integration...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“...: Implications for Robot Software Development -- Software Environments for Robot Programming -- Sidebar...”View full text
Electronic
eBook