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