1
منشور في 2013
جدول المحتويات: ... Monitoring Solutions in an Ageing Society -- The Impact of Explanation Dialogues on Human-Computer Trust...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2011
جدول المحتويات: ... -- Part VI Sound, Text and Image Processing -- Part VII Design and Decision Support -- Part VIII Rough...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2007
جدول المحتويات: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2015
جدول المحتويات: ... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2006
جدول المحتويات: ...Workshop on Business Processes and Services -- Preface (BPS 2005) -- Guided Interaction: A Language...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2010
جدول المحتويات: ... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2007
جدول المحتويات: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2008
جدول المحتويات: ... for Nondeterministic Dataflow -- Symbolic Reachability for Process Algebras with Recursive Data Types -- Inclusion Test...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2006
جدول المحتويات: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2008
جدول المحتويات: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2006
جدول المحتويات: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2014
جدول المحتويات: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2013
جدول المحتويات: ...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2007
جدول المحتويات: ... for the Symmetric Interaction Combinators -- Two Session Typing Systems for Higher-Order Mobile Processes...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
بواسطة Malizia, Alessio., Malizia, Alessio.
منشور في 2006
جدول المحتويات: ... -- Meshes and Sprites -- Animations -- Ray intersections -- Building an M3G demo -- Summary -- Direct 3D...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2010
جدول المحتويات: ... -- MXL3: An Efficient Algorithm for Computing Gröbner Bases of Zero-Dimensional Ideals -- Improved Linear...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2011
جدول المحتويات: ... GUI Generation with Optimization for Screens with Limited Resolution -- 3.1.3. Process-Centred Design...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2014
جدول المحتويات: ...Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus -- Concurrent...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
منشور في 2011
جدول المحتويات: ... fusion Wiener filter with applied to signal processing -- Covariance Intersection Fusion Kalman Filter...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2005
جدول المحتويات: ...) -- Statistical Tools for Digital Forensics -- Relative Generic Computational Forensic Techniques -- Session 4...
احصل على النص الكامل
الكتروني كتاب الكتروني