Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
processing certification » processing identification, professions certification, process certification
certification program » verification program, certification process, certification exam
processing java » processing japan, processing james, processing j
java processing » data processing, data processings, data processsing
program https » programs https, program has, program help
processing certification » processing identification, professions certification, process certification
certification program » verification program, certification process, certification exam
processing java » processing japan, processing james, processing j
java processing » data processing, data processings, data processsing
program https » programs https, program has, program help
1
2
Table of Contents:
“...Scratching the Surface -- Fundamentals of Java Programming -- Basic Java Programming -- Data Types...”
View full text
View full text
Electronic
eBook
3
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“... Add Reduction Rules and Close -- Towards a Type System for Analyzing JavaScript Programs -- Java JR...”View full text
Electronic
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“...The MOBIUS Project -- The MOBIUS Proof Carrying Code Infrastructure -- Certification Using...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... and the Real-Time Specification for JavaTM -- Certification and Verification -- Smart Certification of Mixed...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Certification of Java Source Code in Rewriting Logic -- Reverse Engineered Formal Models for GUI Testing...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... of Generic Process Shape Types -- A Java Inspired Semantics for Transactions in SOC -- Responsive Choice...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Without Certificates -- Smart Card -- Performance Evaluation of Java Card Bytecodes -- Reverse Engineering...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Reservation in Grid Environment -- A Novel Adaptive Proxy Certificates Management Scheme in Military Grid...”View full text
Electronic
eBook