1
יצא לאור 2012
תוכן הענינים: ... -- An Analytical and Experimental Comparison of CSP Extensions and Tools -- Symbolic Model-Checking of Stateful...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2015
תוכן הענינים: ... and Discontinuous Galerkin Methods; Nonreflecting Conditions and Non-Asymptotic Homogenization -- On Extension...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים: ...Study on MRF and REF to Semi-supervised Classification -- An Extension Method of Space Syntax...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... Partial-Order Reduction of Concurrent Systems in Polynomial Time -- An Extensible Space-Based Coordination...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2012
תוכן הענינים: ... of Concrete Elements -- 56.The Shape Beauty of Glass Material -- 57.A New Method for Distributed Denial...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2015
תוכן הענינים: ... Duplicate-Free State-Space Model for Optimal Task Scheduling -- On the Heterogeneity Bias of Cost Matrices...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2014
תוכן הענינים: ...) -- Verification of Polyhedral Optimizations with Constant Loop Bounds in Finite State Space Computations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים: ... Using Extension Neural Network and Nonparametric Auto-regression Method -- K-optimal Chaos Ant Colony...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2010
תוכן הענינים: ... in Recommender Systems for Tourism -- A Method for Assessing Website Communicative Efficacy Using a Semantic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2007
תוכן הענינים: ...-Based State Space Exploration -- On Sampling Abstraction of Continuous Time Logic with Durations...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2013
תוכן הענינים: ... Technology Independent Security Gateway for Real-Time Multimedia Communication -- Efficient Attribute Based...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים: ... Estimation -- Querying Distributed RDF Data Sources with SPARQL -- Improving Interoperability Using Query...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2012
תוכן הענינים: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים: ...Data Warehouse Architecture -- A Hilbert Space Compression Architecture for Data Warehouse...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2006
תוכן הענינים: ... for Interoperation in Distributed Environment -- Business Process Collaboration Using Semantic Interoperability...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים: ... with Real Distributions -- Applying Stated Preference Methods to Investigate Effects of Traffic Information...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2006
תוכן הענינים: ... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2006
תוכן הענינים: ... and Practical Approach Towards Color Constancy for Mobile Robots Using Overlapping Color Space Signatures -- A...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים: ... QoS Registries -- Estimating Flow Length Distributions Using Least Square Method and Maximum...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2010
תוכן הענינים: ... and Indication Method Using Augmented Reality Technology -- Eye Contact Communication System between Mobile...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני