1
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
Cael y testun llawn
Electronig eLyfr
2
Cyhoeddwyd 2005
Tabl Cynhwysion: ... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...
Cael y testun llawn
Electronig eLyfr
3
Tabl Cynhwysion: ... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....
Cael y testun llawn
Electronig eLyfr
4
Cyhoeddwyd 2006
Tabl Cynhwysion: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Cael y testun llawn
Electronig eLyfr
5
Cyhoeddwyd 2014
Pynciau: ...Robotics and Automation. https://scigraph.springernature.com/ontologies/product-market-codes/T19020...
Cael y testun llawn
Electronig eLyfr
6
Cyhoeddwyd 2008
Tabl Cynhwysion: ... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...
Cael y testun llawn
Electronig eLyfr
7
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Programming -- Automated Test Case Generation in End-User Programming -- Component-Based Design and Software...
Cael y testun llawn
Electronig eLyfr
8
Cyhoeddwyd 2006
Tabl Cynhwysion: ... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...
Cael y testun llawn
Electronig eLyfr
9
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Automation System Components -- Service Oriented Environment -- An Approach to Domain-Specific Reuse...
Cael y testun llawn
Electronig eLyfr
10
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...
Cael y testun llawn
Electronig eLyfr
11
Cyhoeddwyd 2010
Tabl Cynhwysion: ... Companies -- How to Construct an Automated Warehouse Based on Colored Timed Petri Nets -- Telecare...
Cael y testun llawn
Electronig eLyfr
12
Cyhoeddwyd 2010
Tabl Cynhwysion: ... to Delay Analysis under Arbitrary Scheduling -- Flow Control with (Min,+) Algebra -- An Interface Algebra...
Cael y testun llawn
Electronig eLyfr
13
Cyhoeddwyd 2005
Tabl Cynhwysion: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
Cael y testun llawn
Electronig eLyfr
14
Cyhoeddwyd 2005
Tabl Cynhwysion: ... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...
Cael y testun llawn
Electronig eLyfr
15
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...
Cael y testun llawn
Electronig eLyfr
16
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...
Cael y testun llawn
Electronig eLyfr
17
Cyhoeddwyd 2010
Tabl Cynhwysion: ... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...
Cael y testun llawn
Electronig eLyfr
18
Cyhoeddwyd 2012
Tabl Cynhwysion: ... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...
Cael y testun llawn
Electronig eLyfr
19
Cyhoeddwyd 2008
Tabl Cynhwysion: ... Interface for Security Tools -- Posters -- WAPE - a system for distance learning of programming -- Topic...
Cael y testun llawn
Electronig eLyfr
20
Cyhoeddwyd 2010
Tabl Cynhwysion: ... and Hardening Techniques of CMOS SRAM with Sub-micro Feature Sizes -- Automating The Work at The Skin...
Cael y testun llawn
Electronig eLyfr