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