Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs developing » projects developing, program development, process developing
function selection » functions selection, functional selection, function detection
selection programs » selection programme, selecting programs, selection progress
developing java » developing a, developing asia, developing areas
https » http
programs developing » projects developing, program development, process developing
function selection » functions selection, functional selection, function detection
selection programs » selection programme, selecting programs, selection progress
developing java » developing a, developing asia, developing areas
https » http
1
2
Table of Contents:
“... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...”
View full text
View full text
Electronic
eBook
3
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”View full text
Electronic
eBook
7
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”View full text
Electronic
eBook
9
10
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
11
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
12
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
13
Published 2005
Table of Contents:
“... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...”View full text
Electronic
eBook
16
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
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 2006
Table of Contents:
“... -- Slicing JavaTM Programs Using the JPDA and Dynamic Object Relationship Diagrams with XML...”View full text
Electronic
eBook
19
Table of Contents:
“...Setting Up -- Developing Successful Oracle Applications -- Architecture -- Locking and Concurrency...”
View full text
View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook