Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programming » programming programmed, programming program
integration section » integration session, integration action, integration setting
section programming » sector programming, session programming, action programming
based https » based http
programming programming » programming programmed, programming program
integration section » integration session, integration action, integration setting
section programming » sector programming, session programming, action programming
based https » based http
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
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... JaCaMo -- Notes on Pragmatic Agent-Programming with Jason -- Integrating Expectation Monitoring into BDI...”View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... and Refutations in Invariant-Based Programming -- Automated Theorem Prover Assisted Program Calculations...”View full text
Electronic
eBook
5
Published 2012
Table of Contents:
“... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...”View full text
Electronic
eBook
6
by Lindley, Cody., Lindley, Cody., Potts, Kevin., Sable, Robert., Smith, Roderick., Fredborg, Mary.
Published 2007
Table of Contents:
“... -- Creating The Content:Categories and Articles -- Customizing The Presentation: Sections, Pages, Forms...”Published 2007
View full text
Electronic
eBook
7
Published 2011
Table of Contents:
“... -- Closure and Consistency Rationalities in Logic-Based Argumentation -- Manifold Answer-Set Programs...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... to Support Continuous Integration: A Multiple Case Study -- Comparing a Hybrid Testing Process with Scripted...”View full text
Electronic
eBook
9
Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation 19th...
Published 2010
Table of Contents:
“... Management -- On-chip Thermal Modeling Based on SPICE Simulation -- Switching Noise Optimization in the Wake...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“....- 14. Behavioral and Psychological-Based Therapies.- 15. Physical Activity for Obesity.- 16...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... of Solvent Systems for Membrane-, Cell- and Tissue-Based Permeability Assessment -- The Use of Solubilizing...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“... Application of Answer Set Programming for Advanced Data Integration -- Implementing Query Answering for Hybrid...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Architectural Design Decisions -- Style-Based Model Transformation for Early Extrafunctional Analysis...”View full text
Electronic
eBook
14
Published 2011
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... -- Location-Based Software Modeling and Analysis: Tropos-Based Approach -- Risk Evaluation for Personal...”View full text
Electronic
eBook
16
Published 2013
Table of Contents:
“... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... Mediator-Based System -- VisGenome and Ensembl: Usability of Integrated Genome Maps -- An Entity Resolution...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... to Examine the Extent of SPI Activity in an Organisation -- Team SPICE: A SPICE-Based Teamwork Assessment...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... -- An Instrumentation-Based Approach to Controller Model Validation -- TestML - A Test Exchange Language for Model-Based...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... -- 13. Interdisciplinary Functional Restoration and Pain Programs -- 14. Pain and Spirituality -- 15...”View full text
Electronic
eBook