1
יצא לאור 2008
תוכן הענינים: ... for T-coloring Problem -- Non-photorealistic Rendering Using Genetic Programming -- Use of Local Ranking...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2006
תוכן הענינים: ... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים: ... for Probabilistic Systems -- Simple O(m logn) Time Markov Chain Lumping -- Model Checking Interactive Markov Chains...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2008
תוכן הענינים: ... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2014
תוכן הענינים: ... of Directed Reachability and Other Problems -- One Tile to Rule Them All: Simulating Any Tile Assembly System...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2007
תוכן הענינים: ... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2005
תוכן הענינים: ... Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2005
תוכן הענינים: ...SOARS: Spot Oriented Agent Role Simulator — Design and Implementation -- Interactive inversion...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2005
תוכן הענינים: ... Parallel Algorithms for Spatial Dynamics Simulation -- Situated Agents Interaction: Coordinated Change...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2014
תוכן הענינים: ...-differentiable Continuous Programming Problems -- A Low Cost Electrical Impedance Tomography (EIT...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2012
תוכן הענינים: ... of Intermolecular Interaction Potential Energy Parameters for Monte-Carlo and Molecular Dynamics Simulations.-Phonon...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים: ... -- Model Transformation as an Optimization Problem -- Example-Based Program Transformation -- Detecting...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים: ... -- Toward a General Theory of Ecosystem Stability: Plankton-Nutrient Interaction as a Paradigm -- Nutrient...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2015
תוכן הענינים: ... structure interaction problems -- Stochastic load models and footbridge response -- pedestrian induced...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים: ... Programming Driven by User Models -- Data-Driven Refinement of a Probabilistic Model of User Affect...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2007
תוכן הענינים: ...Invited Papers -- The Disappearing Computer: User-Centered Interaction Design for Smart Artefacts...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2013
תוכן הענינים: ... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2012
תוכן הענינים: ... -- Decomposition, Merging, and Refinement Approach to Boost Inductive Logic Programming Algorithms -- Learning...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים: ... -- Experiment of Event Injection Technology for Network Dependability Evaluation -- Analysis on Construction...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים: ... -- Tactical Battlefield Entities Simulation Model Based on Multi-agent Interactions -- Extensive Epidemic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני