1
Publicado em 2007
Sumário: ... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2008
Sumário: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
Publicado em 2005
Sumário: ... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...
Obter o texto integral
Recurso Eletrônico livro eletrônico
4
Publicado em 2014
Sumário: ... and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs -- Typelets — A Rule-Based Evaluation...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2008
Sumário: ... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
Publicado em 2008
Sumário: ... Linear Approximation of Non-overlap Constraints -- Extremes Are Better: Investigating Mental Map...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2008
Sumário: ... Diagram -- Constraint-Aware XSLT Evaluation -- A Quality Circle Tool for Software Models -- Generating...
Obter o texto integral
Recurso Eletrônico livro eletrônico
8
Publicado em 2005
Sumário: ... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...
Obter o texto integral
Recurso Eletrônico livro eletrônico
9
Publicado em 2006
Sumário: ... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2010
Sumário: ... Disambiguation -- Telemedical System in Evaluation of Auditory Brainsteam Responses and Support of Diagnosis...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2015
Sumário: ... of Energy-aware WSN Agents in fUML -- Reusable Model Interfaces with Instantiation Cardinalities -- A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2014
Sumário: ... -- An Interactive Verification Tool Meets an IDE -- An Analysis Pathway for the Quantitative Evaluation of Public...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2006
Sumário: ... with Operating Constraints -- Evaluation of Project Quality: A DEA-Based Approach -- Process Management -- A...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2008
Sumário: ... Behavior for Reuse Evaluation -- Product Line -- Combining Different Product Line Models to Balance Needs...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
Publicado em 2008
Sumário: ... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
Publicado em 2010
Sumário: ...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
por Marwedel, Peter., Marwedel, Peter.
Publicado em 2011
Assuntos: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2012
Sumário: ... for Networked Control and Cyber-Physical System Evaluation -- Dempster-Shafer Theory to Identify Insider...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2005
Sumário: ... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2006
Sumário: ... Applications -- Conceptual Modelling -- Incremental Evaluation of OCL Constraints -- Object-Relational...
Obter o texto integral
Recurso Eletrônico livro eletrônico