1
Được phát hành 2014
Mục lục: ... in Traffic Accidents Occurred at the Road Intersection Based on Image Processing -- A Hybrid Method...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
lấy văn bản
Điện tử eBook
3
Được phát hành 2007
Mục lục: ... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...
lấy văn bản
Điện tử eBook
4
Được phát hành 2007
Mục lục: ... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...
lấy văn bản
Điện tử eBook
5
Được phát hành 2008
Mục lục: ... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...
lấy văn bản
Điện tử eBook
6
Được phát hành 2008
Mục lục: ...Regular Papers -- Markov Set-Chains as Abstractions of Stochastic Hybrid Systems -- Co-simulation...
lấy văn bản
Điện tử eBook
7
Được phát hành 2010
Mục lục: ... Control on Traffic Light Networks -- Performance Measurement of a Dual-Channel Intersection Switch...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ...FoSSaCS 2010 Invited Talk -- to Decidability of Higher-Order Matching -- Semantics of Programming...
lấy văn bản
Điện tử eBook
9
Được phát hành 2015
Mục lục: ...ALife Using Adaptive, Autonomous, and Individual Agent Control -- Computational Understanding...
lấy văn bản
Điện tử eBook
10
Được phát hành 2010
Mục lục: ...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...
lấy văn bản
Điện tử eBook
11
Được phát hành 2008
Mục lục: ... Approach for Mixed-Integer Linear Programs -- Simulation-Based Optimization for Steel Stacking -- Robust...
lấy văn bản
Điện tử eBook
12
Được phát hành 2010
Mục lục: ... of Traffic Flow at a Signalised Intersection -- A Novel Method for Simulating Cancer Growth -- Towards...
lấy văn bản
Điện tử eBook
13
Được phát hành 2008
Mục lục: ... Computing -- Contributed Papers -- Robust Kinetic Convex Hulls in 3D -- On Dominance Reporting in 3D...
lấy văn bản
Điện tử eBook
14
Được phát hành 2013
Mục lục: ... -- Time-Based Location Prediction Technique for Wireless Cellular Networks -- Computer Simulation Applied...
lấy văn bản
Điện tử eBook
15
Được phát hành 2006
Mục lục: ... Papers -- Extended Directed Search for Probabilistic Timed Reachability -- Intersection of Regular Signal...
lấy văn bản
Điện tử eBook
16
Được phát hành 2005
Mục lục: ... Intelligence Research -- Soft Computing in Human Centered Systems Thinking -- Regular Papers -- Qualitative...
lấy văn bản
Điện tử eBook
17
Được phát hành 2014
Mục lục: ... Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting...
lấy văn bản
Điện tử eBook
18
Được phát hành 2005
Mục lục: ... Computing – How Can They Benefit from Each Other? Position Paper -- Modeling Dynamic Engineering Design...
lấy văn bản
Điện tử eBook
19
Được phát hành 2010
Mục lục: ... -- Software Architectures for Flexible Task-Oriented Program Execution on Multicore Systems -- Optimal...
lấy văn bản
Điện tử eBook
20
Được phát hành 2013
Mục lục: ... Simulation for Faster Convergence -- Intelligent optimization for the minimum labelling spanning tree problem...
lấy văn bản
Điện tử eBook