Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
program report » programme report, programmes report, progress report
https function » its function, sites function, ups function
report https » sport https, sports https
function computing » education computing, generation computing
program report » programme report, programmes report, progress report
https function » its function, sites function, ups function
report https » sport https, sports https
1
Published 2013
Table of Contents:
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“...Evolutionary Computation: from Genetic Algorithms to Genetic Programming -- Automatically Defined...”View full text
Electronic
eBook
9
Table of Contents:
“...The VEE Pro Development Environment -- Preparing and Testing a Program -- Controlling...”
View full text
View full text
Electronic
eBook
10
Subjects:
“...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...”
View full text
View full text
Electronic
eBook
11
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
12
Published 2015
Table of Contents:
“... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... Dissortative Mating Genetic Algorithm in Fast Non-stationary Fitness Functions -- A Receding Horizon Genetic...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”View full text
Electronic
eBook
19
Table of Contents:
“...Introducing the Reporting Services Architecture -- Report Authoring: Designing Efficient Queries...”
View full text
View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I...”View full text
Electronic
eBook