Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing programming » computer programming, computers programming
interfaces computing » interfaces comparing, interfaces computer, interface comparing
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
computing programming » computer programming, computers programming
interfaces computing » interfaces comparing, interfaces computer, interface comparing
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
1
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”View full text
Electronic
eBook
3
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Programs -- Deriving Acceptance Tests from Goal Requirements -- Human-Computer Interfaces and the Web...”View full text
Electronic
eBook
5
Published 2006
Table of Contents:
“... Software Upgrades for Distributed Systems -- Demeter Interfaces: Adaptive Programming Without Surprises...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Horizontal Fragmentation for Data Outsourcing with Formula-Based Confidentiality Constraints -- Experimental...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Prediction -- Multi-context logics-a general introduction -- Constraint programming for context comprehension...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“...An Application-Level Scheduling with Task Bundling Approach for Many-Task Computing...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“...On Generating Soft Real-Time Programs for Non-Real-Time Environments -- A Formal Ontology...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... -- Video Indexing and Retrieval in Compressed Domain Using Fuzzy-Categorization -- Computing Homology...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Impaired PSENs through a Computer Mediated Distance Learning Program....”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... Morality Computationally with Logic Programming -- A Declarative Specification of Giant Number Arithmetic...”View full text
Electronic
eBook
17
Published 2013
Table of Contents:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...ST: Computational Bioimaging I -- Ontology-Driven Image Analysis for Histopathological Images...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... CT Imaging -- Video Event Detection as Matching of Spatiotemporal Projection -- PixelLaser: Computing...”View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”View full text
Electronic
eBook