1
Subjects: ...Java. https://scigraph.springernature.com/ontologies/product-market-codes/I29070...
View full text
Electronic eBook
2
by Brooks, David R., Brooks, David R.
Published 2011
Table of Contents: ... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ..., Kitakyushu-city, Japan : Approaching from Multi Functional Landscape Planning -- Part III. Ecologies...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Invited Talks -- Symbolic and Analytic Techniques for Resource Analysis of Java Bytecode...
View full text
Electronic eBook
5
Published 2010
Subjects: ...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... -- Here’s Your LegoTM Security Kit: How to Give Developers All Protection Mechanisms They Will Ever Need...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... for Execution of Transactional Composite WS -- Poster Session -- A LarKC Approach to Development of Service...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...Formal Methods and Tools -- Transforming Stream Processing Functions into State Transition Machines...
View full text
Electronic eBook
11
Published 2015
Table of Contents: ...Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing...
View full text
Electronic eBook
12
Table of Contents: ...: Style Your Select with the DOM....
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... International Workshop on Service Web Engineering (SWEng) -- REST Inspired Code Partitioning with a Java...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... Software Development? -- Invited Tutorials -- Algorithms for Interface Synthesis -- A Tutorial...
View full text
Electronic eBook
17
Published 2013
Table of Contents: ...Aspects, Components, and Modularity -- CoCo: Sound and Adaptive Replacement of Java Collections...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
19
Published 2013
Table of Contents: ... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...
View full text
Electronic eBook
20
Published 2011
Table of Contents: ...From the content: Patterns improving the Common Criteria compliant IT security development process...
View full text
Electronic eBook