1
Baskı/Yayın Bilgisi 2015
İçindekiler: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2010
İçindekiler: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2014
İçindekiler: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
Tam Metin Erişim
Elektronik Ekitap
4
Baskı/Yayın Bilgisi 2012
İçindekiler: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
Tam Metin Erişim
Elektronik Ekitap
5
Baskı/Yayın Bilgisi 2008
İçindekiler: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
Tam Metin Erişim
Elektronik Ekitap
6
Baskı/Yayın Bilgisi 2008
İçindekiler: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
Tam Metin Erişim
Elektronik Ekitap
7
Baskı/Yayın Bilgisi 2008
İçindekiler: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
Tam Metin Erişim
Elektronik Ekitap
8
Baskı/Yayın Bilgisi 2008
İçindekiler: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
Tam Metin Erişim
Elektronik Ekitap
9
Baskı/Yayın Bilgisi 2010
İçindekiler: ... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...
Tam Metin Erişim
Elektronik Ekitap
10
Baskı/Yayın Bilgisi 2015
İçindekiler: ... methodology to support mobile application design and evaluation: a case study in m-Learning -- SCPL: a Social...
Tam Metin Erişim
Elektronik Ekitap
11
Baskı/Yayın Bilgisi 2010
İçindekiler: ... -- Fuzzy Conceptual Clustering -- Mining Concept Similarities for Heterogeneous Ontologies -- Re-mining...
Tam Metin Erişim
Elektronik Ekitap
12
Baskı/Yayın Bilgisi 2007
İçindekiler: ... Intelligence? -- Artificial Intelligence Is Engineering Intelligence – Why Should We Care About Natural...
Tam Metin Erişim
Elektronik Ekitap
13
Baskı/Yayın Bilgisi 2008
İçindekiler: ...Keynotes -- An Introduction to Transfer Learning -- Autonomy-Oriented Computing (AOC), Self...
Tam Metin Erişim
Elektronik Ekitap
14
İçindekiler: ... - Introduction to Core Concepts and Key Examples of HIA -- HIA: A Methodological Overview -- U.S. Case Studies...
Tam Metin Erişim
Elektronik Ekitap
15
Baskı/Yayın Bilgisi 2015
İçindekiler: ... Cultural Lens. A Case Study: Brazil -- 6. Marina Massimi (University of São Paulo/USP, Brazil) Conceptions...
Tam Metin Erişim
Elektronik Ekitap