1
Table of Contents: ... -- Elastic–Plastic Problems -- Mesh Generation -- Mesh Generator -- Two-dimensional Mesh Generators...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Generation through People’s Participation: Kitchen Gardening Practices of Three Marginalized bagdi Villages...
View full text
Electronic eBook
3
by Myatt, Adam., Myatt, Adam.
Published 2007
Table of Contents: ...Creating and Managing Projects -- Integrated Development Environments -- Installing and Customizing...
View full text
Electronic eBook
4
by Freeman, Adam., Freeman, Adam.
Published 2011
Subjects: ...Web Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29050...
View full text
Electronic eBook
5
Table of Contents: ...-Defined Functions to ColdFusion Components -- onMissingTemplate()—Error Handler and So Much More -- “Say...
View full text
Electronic eBook
6
Published 2007
Table of Contents: ... Software Development? -- Invited Tutorials -- Algorithms for Interface Synthesis -- A Tutorial...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions -- Modelling...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
9
Published 2013
Table of Contents: ... for Large Systems -- Improving Post-silicon Validation Efficiency by Using Pre-generated Data -- Development...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... -- Abstract Interpretation Plugins for Type Systems -- Separation Logic Contracts for a Java-Like Language...
View full text
Electronic eBook
11
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
12
Published 2014
Table of Contents: ... Algebra Subprograms -- Function Interval Arithmetic -- Generating Optimized Sparse Matrix Vector Product...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ... -- Quo Vadis Explicit-State Model Checking -- The Dos and Dont’s of Crowdsourcing Software Development...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Automata Learning with Model-Driven Development -- Generation of Domain-Specific Graphical Development...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Applications (RSIA 2010) -- A Cryptographic Algorithm Based on Hybrid Cubes -- Java Implementation for Pairing...
View full text
Electronic eBook
17
Published 2010
Subjects: ...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Motions -- Key Generations Model for Mobile Cryptosystems -- Development of Stakeholder Oriented Corporate...
View full text
Electronic eBook
19
Published 2012
Subjects: ...Software Engineering. https://scigraph.springernature.com/ontologies/product-market-codes/I14029...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...
View full text
Electronic eBook