Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality transactions » functionality interactions, functionality evaluation
program functionality » protein functionality, programs functional, supra functionality
transactions https » translation https, transactions html5, transactions types
processing java » processing japan, processing james, processing j
java program » java programs, a program, java programming
functionality transactions » functionality interactions, functionality evaluation
program functionality » protein functionality, programs functional, supra functionality
transactions https » translation https, transactions html5, transactions types
processing java » processing japan, processing james, processing j
java program » java programs, a program, java programming
1
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“...: Operationally, Denotationally, Axiomatically -- Immutable Objects for a Java-Like Language -- Process Algebraic...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... in the Future of Intelligent Information Processing -- Knowledge Mining Biological Network Models...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Transaction Service Configurations -- Alice: Modularization of Middleware Using Aspect-Oriented Programming...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... -- Injecting Communication Faults to Experimentally Validate Java Distributed Applications -- Implementing...”View full text
Electronic
eBook
7
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



