1
منشور في 2012
جدول المحتويات: ...Account on Intervals -- Constructing Resilient Structures in Graphs: Rigid vs. Competitive Fault...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2015
جدول المحتويات: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2008
جدول المحتويات: ... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2010
جدول المحتويات: ...-based Adaptive Resource Control for Information Sharing in P2P Networks -- Challenges in Web Information...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2008
جدول المحتويات: ... Learning for Real-Time Systems Applications -- Discriminative Structure Learning of Markov Logic Networks...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2014
جدول المحتويات: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2008
جدول المحتويات: ...Invited Papers -- Beyond Nash Equilibrium: Solution Concepts for the 21st Century -- Service...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2012
جدول المحتويات: ... Equilibrium Concept for Network Creation Games -- Maximum Cliques in Graphs with Small Intersection Number...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2008
جدول المحتويات: ... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2008
جدول المحتويات: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2008
جدول المحتويات: ...: Representational Frameworks for Discrete Dynamic Systems -- Constructing Web Corpora through Topical Web...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2008
جدول المحتويات: ...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2008
جدول المحتويات: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2008
جدول المحتويات: ... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2010
جدول المحتويات: ... Selection -- Evaluating the Distance between Two Uncertain Categorical Objects -- Construction Cosine Radial...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2012
جدول المحتويات: ... -- Decoding Network Activity from LFPs: A Computational Approach -- Evolutionary Design of the Closed Loop...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2014
جدول المحتويات: ... Gyrodactylus SEM images using ASM and complex network model. Linked Tucker2 decomposition for flexible multi...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2007
جدول المحتويات: ... -- The Behaviour-Based Control Architecture iB2C for Complex Robotic Systems -- Concept for Controlled Self...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2008
جدول المحتويات: ... -- Mining Natural Language Programming Directives with Class-Oriented Bayesian Networks -- Boosting over...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2012
جدول المحتويات: ... Neural Spike Train Data -- Online Techniques for Dealing with Concept Drift in Process Mining...
احصل على النص الكامل
الكتروني كتاب الكتروني