Canlyniadau Chwilio - interface automated program program constructs https

Chwilio eraill:
interface automated » interfaces automated , interface automata , interface automation
program constructs » program construction , program constructing , programming constructs
automated program » automatic program , automated problem , automated process
constructs https » construction https , constructs loops , constructs arti
program program » programs program , programming program

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”
Cael y testun llawn

Electronig eLyfr

Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Reachability Properties -- Predicate Abstraction of RTL Verilog Descriptions Using Constraint Logic Programming...”
Cael y testun llawn

Electronig eLyfr

VEE Pro: Practical Graphical Programming

gan Angus, Robert B., Angus, Robert B., Hulbert, Thomas E.
Cyhoeddwyd 2005

Tabl Cynhwysion: “... Operator Interfaces and Filtering -- Improving VEE Pro Program Productivity....”
Cael y testun llawn

Electronig eLyfr

Recent Advances in Parallel Virtual Machine and Message Passing Interface 13th European PVM/MPI...

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...”
Cael y testun llawn

Electronig eLyfr

Robotic Fabrication in Architecture, Art and Design 2014

Cyhoeddwyd 2014

Pynciau: “...Robotics and Automation. https://scigraph.springernature.com/ontologies/product-market-codes/T19020...”
Cael y testun llawn

Electronig eLyfr

RoboCup 2007: Robot Soccer World Cup XI

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

End-User Development 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Programming -- Automated Test Case Generation in End-User Programming -- Component-Based Design and Software...”
Cael y testun llawn

Electronig eLyfr

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21,...

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...”
Cael y testun llawn

Electronig eLyfr

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Automation System Components -- Service Oriented Environment -- An Approach to Domain-Specific Reuse...”
Cael y testun llawn

Electronig eLyfr

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...”
Cael y testun llawn

Electronig eLyfr

Innovations in Computing Sciences and Software Engineering

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Companies -- How to Construct an Automated Warehouse Based on Colored Timed Petri Nets -- Telecare...”
Cael y testun llawn

Electronig eLyfr

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Cyhoeddwyd 2010

Tabl Cynhwysion: “... to Delay Analysis under Arbitrary Scheduling -- Flow Control with (Min,+) Algebra -- An Interface Algebra...”
Cael y testun llawn

Electronig eLyfr

Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...”
Cael y testun llawn

Electronig eLyfr

Advanced Information Systems Engineering 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...”
Cael y testun llawn

Electronig eLyfr

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Lines and Feature Interaction Detection Using Critical Pair Analysis -- Automated Semantic Analysis...”
Cael y testun llawn

Electronig eLyfr

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”
Cael y testun llawn

Electronig eLyfr

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Cael y testun llawn

Electronig eLyfr

21st Century Learning for 21st Century Skills 7th European Conference on Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012, Proceedings /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”
Cael y testun llawn

Electronig eLyfr

Learning to Live in the Knowledge Society IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference, September 7-10, 2008, Milano, Italy /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Interface for Security Tools -- Posters -- WAPE - a system for distance learning of programming -- Topic...”
Cael y testun llawn

Electronig eLyfr

Advanced Techniques in Computing Sciences and Software Engineering

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

1
2
3
Nesaf »
[3]

Manylu'r Chwiliad