Search alternatives:
https function » its function, sites function, ups function
programs time » programs timber, programs t.e, programs type
function java » function jane, function jason, function james
time https » crime https
1
Published 2012
Table of Contents: ...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...
View full text
Electronic eBook
2
by Daggett, Mark E., Daggett, Mark E.
Published 2013
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
3
Subjects: ...Java (Computer program language)....
View full text
Electronic eBook
4
Table of Contents: ...Java ME Platform -- Java ME Virtual Machines -- Connected Limited Device Configuration -- Mobile...
View full text
Electronic eBook
5
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
6
by Resig, John., Resig, John.
Published 2007
Table of Contents: ...Introducing Modern JavaScript -- Modern JavaScript Programming -- Professional Java...
View full text
Electronic eBook
7
Published 2012
Table of Contents: ... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...
View full text
Electronic eBook
8
Published 2005
Table of Contents: ...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties...
View full text
Electronic eBook
11
Subjects: ...Computer programming....
View full text
Electronic eBook
12
Published 2006
Table of Contents: ...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ...-Based Systems -- Efficient Upgrading in a Purely Functional Component Deployment Model -- Real-Time...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...
View full text
Electronic eBook
16
Published 2012
Table of Contents: ... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Analysis and Controller Synthesis for Real-Time Systems -- rCOS: Theory and Tool for Component-Based Model...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...
View full text
Electronic eBook
20
by Dupont, Andrew., Dupont, Andrew.
Published 2008
Table of Contents: ... -- Working with the DOM -- Advanced JavaScript: Functional Programming and Class-Based OOP -- Other Helpful...
View full text
Electronic eBook