1
Έκδοση 2006
Πίνακας περιεχομένων: ... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
2
Έκδοση 2015
Πίνακας περιεχομένων: ... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
3
Έκδοση 2007
Πίνακας περιεχομένων: ...-Observing Satellite -- Solving an Air Conditioning System Problem in an Embodiment Design Context Using...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
4
Πίνακας περιεχομένων: .... Abstract Interpretation -- B. Transformation of Conditions -- References. List of Figures. List of Tables...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
5
Έκδοση 2013
Πίνακας περιεχομένων: ... -- Run-Time Measurement of Harvested Energy for Autarkic Sensor Operation -- Observability Conditions...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
6
Έκδοση 2008
Πίνακας περιεχομένων: ...: Two Patients, Two Programs, Two Dramatically Different Outcomes -- Integrating Mental Health Services...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
7
...The dual-teacher teaching model in Guangxi China is a typical case of urban-rural education support...
Άρθρο
8
Έκδοση 2010
Πίνακας περιεχομένων: ...Keynote and Invited Talks -- Interval-Based Models for Decision Problems -- On Choquet Integral...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
9
Έκδοση 2008
Πίνακας περιεχομένων: ...Scientific and Technological Cooperation in the Agri-Food Sector: The Case of the CYTED Program...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
10
Έκδοση 2013
Πίνακας περιεχομένων: ... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
11
... of the participation process. Using Malete youth Integrated Training Farm, qualitative case study method was employed...
Λήψη πλήρους κειμένου
Άρθρο
12
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Program Verification in SPARK and ACSL: A Comparative Case Study -- Static Versioning of Global State...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
13
Έκδοση 2010
Πίνακας περιεχομένων: ... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
14
Έκδοση 2006
Πίνακας περιεχομένων: ...Invited Talks -- From Inductive Logic Programming to Relational Data Mining -- Answer Set...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
15
Έκδοση 2010
Πίνακας περιεχομένων: ... -- Web Science: The Digital-Heritage Case -- Model-Driven Software Product Line Testing: An Integrated...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
16
Έκδοση 2010
Πίνακας περιεχομένων: ... Approach to View-Based Development -- Dynamic Management of the Organizational Knowledge Using Case-Based...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
17
Έκδοση 2007
Πίνακας περιεχομένων: ... Automata: The Case of Rule 90 -- Methods and Tools of Parallel Programming of Multicomputers -- Intensive...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
18
Έκδοση 2008
Πίνακας περιεχομένων: ... -- UseCase-Wise Development: Retrenchment for Event-B -- Towards Modelling Obligations in Event-B -- A...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
19
ανά STEMKOSKI, LEE., STEMKOSKI, LEE.
Έκδοση 2015
Πίνακας περιεχομένων: .... Integrating Third-Party Software -- 8. Introduction to 3D Programming -- 9. Taking Your Games Further...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο
20
Έκδοση 2010
Πίνακας περιεχομένων: ... Proof of a Necessary and Sufficient Condition for Deadlock-Free Adaptive Networks -- Regular Papers...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο