Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
interactive computers » interactive computer, interactice computer, interactive compilers
computers programming » computer programming, computer program, computer programs
programming under » programming using
under https » gender https
programming programming » programming programmed, programming program
interactive computers » interactive computer, interactice computer, interactive compilers
computers programming » computer programming, computer program, computer programs
programming under » programming using
under https » gender https
1
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... Distance -- On Commutativity Based Edge Lean Search -- Commitment Under Uncertainty: Two-Stage Stochastic...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Extensions of Answer Set Programming -- Forgetting under the Well-Founded Semantics -- The Fourth Answer Set...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...Multimodal Human Computer Interaction: A Survey -- Multimodal Human Computer Interaction: A Survey...”View full text
Electronic
eBook
8
Published 2015
Table of Contents:
“... and Adult Drug-seeking Behavior: Interactions with Genes and Relation to Non-drug Related Behavior -- A Self...”View full text
Electronic
eBook
9
Table of Contents:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
View full text
View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Error Verification and Timing Analysis -- Formal Testing of Multimodal Interactive Systems -- Knowledge...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Multi-Objective Stochastic Programming Approaches for Supply Chain Management -- A Review of Goal...”View full text
Electronic
eBook
13
Subjects:
“...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Under Selective Pressure: Plato Algorithm Parallelization -- Techniques for Parallel Programming...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Interaction Using Concept Hierarchies -- Estimating Top-k Destinations in Data Streams -- A Data Mining...”View full text
Electronic
eBook
16
Table of Contents:
“... -- Stochastic Linear Programming -- Interactive Fuzzy Multiobjective Stochastic Linear Programming -- Purchase...”
View full text
View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... for Improving the Infection Module of a Hospital Intensive Care Unit Information System -- Interaction...”View full text
Electronic
eBook
18
Subjects:
“...Computer Imaging, Vision, Pattern Recognition and Graphics. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... -- Group Signature Implies PKE with Non-interactive Opening and Threshold PKE -- Network Security -- A...”View full text
Electronic
eBook