Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming decision » programming decisions, programming recursion, programming design
decision https » vision https, religion https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programming decision » programming decisions, programming recursion, programming design
decision https » vision https, religion https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
2
Table of Contents:
“...Getting Started with JavaScript -- Data and Decisions -- From DHTML to DOM Scripting -- HTML...”
View full text
View full text
Electronic
eBook
3
4
by Deinum, Marten., Deinum, Marten., Serneels, Koen., Yates, Colin., Ladd, Seth., Vervaet, Erwin., Vanfleteren, Christophe.
Published 2012
Subjects:
“...Java (Computer program language)....”Published 2012
View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... Random Boolean Function -- Concurrent Constraint-Based Memory Machines: A Framework for Java Memory...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...”View full text
Electronic
eBook
9
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
10
Table of Contents:
“... Rockstar Developer -- Chapter 7 The Hiring Decision Checklist -- Chapter 8 Making Interviews Fun for Your...”
View full text
View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... -- Approximating the Pareto Front of Multi-criteria Optimization Problems -- Decision Procedures -- An Alternative...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... for Emergency Decision-Making Support -- Interactive Fuzzy Goal Programming Approach for Optimization...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... cminor -- Formalising Java’s Data Race Free Guarantee -- Finding Lexicographic Orders for Termination...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...”View full text
Electronic
eBook