1
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
2
Published 2005
Table of Contents: ... -- The nomore?+?+ Approach to Answer Set Solving -- Optimizing the Runtime Processing of Types in Polymorphic...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
View full text
Electronic eBook
5
by Townsend, RJ., Townsend, RJ.
Published 2010
Table of Contents: ...An Overview of Drupal -- Setting Up a Web Host and Installing Drupal -- Configuring a Basic Drupal...
View full text
Electronic eBook
6
Table of Contents: ... Your Java Virtual Machine: Finding Your Ideal JVM Settings Through Metrics Log Analysis...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...
View full text
Electronic eBook
9
Published 2008
Table of Contents: ... -- Multivariate Visualization by Density Estimation -- Structured Sets of Graphs -- Regression by Parts: Fitting...
View full text
Electronic eBook
10
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
11
Published 2015
Table of Contents: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
View full text
Electronic eBook
12
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
14
Published 2007
Table of Contents: ... -- Personalized E-Learning Process Using Effective Assessment and Feedback -- Optimally Pricing European Options...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
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 2007
Table of Contents: ... the Multifaceted Divide -- Discovering Latent Structures: Experience with the CoIL Challenge 2000 Data Set...
View full text
Electronic eBook
18
Published 2007
Table of Contents: ...Keynote -- Security Issues for the Use of Semantic Web in E-Commerce -- Business Process Management...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
View full text
Electronic eBook
20
Published 2013
Table of Contents: ... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...
View full text
Electronic eBook