Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration terminal » interaction terminal, integrated terminal, integration personal
terminal programming » hormonal programming, perinatal programming, chemical programming
programming program » programming programmed, programming problem, programming problems
program cases » programs cases, program case, program casper
cases https » atlases https, spaces https, nurses https
integration terminal » interaction terminal, integrated terminal, integration personal
terminal programming » hormonal programming, perinatal programming, chemical programming
programming program » programming programmed, programming problem, programming problems
program cases » programs cases, program case, program casper
cases https » atlases https, spaces https, nurses 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 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”View full text
Electronic
eBook
4
Table of Contents:
“... -- Probabilistic loops: Invariants and variants -- Case studies in termination: Choice coordination, the dining...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Driven Development -- Session 2. Regular Papers -- Termination in Higher-Order Concurrent Calculi...”View full text
Electronic
eBook
6
Published 2012
Table of Contents:
“...: A Fredhopper Case Study.-Modeling and Analyzing the Interaction of C and C++ Strings -- Integration...”View full text
Electronic
eBook
7
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Published 2007
Table of Contents:
“... - Low Power Design Techniques -- Template Vertical Dictionary-Based Program Compression Scheme...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Garner Algorithm for Chinese Remainder Theorem -- dMPI: Facilitating Debugging of MPI Programs via...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Transaction-Level Modeling in Communication Engine Design: A Case Study -- Object-Oriented Transaction-Level...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... and Programming Languages -- Random Generators for Dependent Types -- A Proof of Weak Termination Providing...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... for Declarative Proofs -- Programming Language Techniques for Cryptographic Proofs -- Nitpick: A Counterexample...”View full text
Electronic
eBook
12
Published 2014
Table of Contents:
“... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... Model -- Pex–White Box Test Generation for .NET -- Non-termination Checking for Imperative Programs...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... and Applications (RSSA 2010) -- Development of a Hybrid Case-Based Reasoning for Bankruptcy Prediction -- The Time...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“...Hierarchical Control of Equipment in Automated Container Terminals -- A Node Flow Model...”View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“...Part I Case Studies in Control of Distributed Systems. -C4C Case Studies -- A Model Predictive...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”View full text
Electronic
eBook
18
Published 2007
Table of Contents:
“... Bounds for ?-Backbone Colorings Along Matchings and Stars -- About the Termination Detection...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Applications -- A Case for Visualization-Integrated System-Level Design Space Exploration -- Mixed Virtual/Real...”View full text
Electronic
eBook
20
Published 2013
Table of Contents:
“... and Communication Technique of Mobile Information Acquisition Terminal in Facility Production -- CFD Modeling...”View full text
Electronic
eBook