Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functional programs » functional programming, educational programs, functional properties
programs program » programming program
program care » program cara, program case, program carmen
care https » change https
functional programs » functional programming, educational programs, functional properties
programs program » programming program
program care » program cara, program case, program carmen
care https » change https
1
Published 2008
Table of Contents:
“... Knowledge Base System for an Integration of Logic Programming and Classical Logic -- SMS and ASP: Hype...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
6
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”View full text
Electronic
eBook
8
Published 2013
Table of Contents:
“...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”View full text
Electronic
eBook
9
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
10
Table of Contents:
“... -- Programming Principles and Guidelines -- Testing Methodologies -- Defect Analysis and Prevention....”
View full text
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“...Invited Talks -- Optimization for Policy Making: The Cornerstone for an Integrated Approach...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... in the Maintenance of Functional Integrity and Quality of Life -- HIV/AIDS and Palliative Care: Models of Care...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“...: Application to HealthCare -- Using Formal Specification Techniques for Advanced Counseling Systems in Health...”View full text
Electronic
eBook
14
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text
View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Languages -- Terminyzer: An Automatic Non-termination Analyzer for Large Logic Programs -- Integrative...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... -- 13. Interdisciplinary Functional Restoration and Pain Programs -- 14. Pain and Spirituality -- 15...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... from the Health Care Domain -- Decision-Making Ontology for Information System Engineering -- Reasoning...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... performance analysis -- Designing the Enterprise Architecture Function -- Quality Prediction of Service...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook