Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
https functioning » status functioning, its functioning, high functioning
functioning peer » functioning other, functioning chapter, functioning _
peer https » gender https
program computing » program comparing, programs compiling, problem computing
https functioning » status functioning, its functioning, high functioning
functioning peer » functioning other, functioning chapter, functioning _
peer https » gender 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 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... of Simulated Snake-Like Robot -- Evolving Crossover Operators for Function Optimization -- Genetic Programming...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”View full text
Electronic
eBook
9
Published 2015
Table of Contents:
“... Needs -- Why the Development Outcome Does Not Meet the Product Owners’ Expectations? -- Functional Size...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... in Peer-to-Peer Networks -- The Shortest Path Game: Complexity and Algorithms -- Online Scheduling of Unit...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”View full text
Electronic
eBook
14
Published 2005
Table of Contents:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... for Chinese Question Answering Service in E-Learning -- Focus and Attitude in Computer-Mediated Peer...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Statistics -- Part IV: Brain Imaging -- Part V: Computational Econometrics -- Part VI: Computer-Intensive...”View full text
Electronic
eBook
19
“... learning
management system (LMS) and assessment records from a higher education computer science program...”
View full text
View full text
Article
20
Published 2012
Table of Contents:
“...Abdominal Imaging, Computer Assisted Interventions and Robotics -- Computer-Aided Diagnosis...”View full text
Electronic
eBook