Arama Sonuçları - interface method processing program executive https

Şunu mu demek istediniz:
processing program » processing programs , processing programmed , proceedings program
method processing » metal processing , method process , methods preprocessing
program executive » programe executive , program execution , program executions
interface method » interface methods , interphase method , interval method
executive https » executive heads , executive stress , executive styles

Agile Processes in Software Engineering and Extreme Programming 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...”
Tam Metin Erişim

Elektronik Ekitap

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Symbolic Execution of Acyclic Workflow Graphs -- Structuring Acyclic Process Models -- A New Semantics...”
Tam Metin Erişim

Elektronik Ekitap

Task Models and Diagrams for User Interface Design 8th International Workshop, TAMODIA 2009...

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Business Process -- A Rule-Based Approach for Model Management in a User Interface – Business...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2007

İçindekiler: “... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”
Tam Metin Erişim

Elektronik Ekitap

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR...

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Environment with MetaModeling, Interoperability, and Parallel Execution -- Simulation -- Blender for Robotics...”
Tam Metin Erişim

Elektronik Ekitap

Business Process Management Workshops BPM 2006 International Workshops, BPD, BPI, ENEI, GPWW, DPM...

Baskı/Yayın Bilgisi 2006

İçindekiler: “... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming...”
Tam Metin Erişim

Elektronik Ekitap

Formal Methods for Open Object-Based Distributed Systems 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”
Tam Metin Erişim

Elektronik Ekitap

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Baskı/Yayın Bilgisi 2015

İçindekiler: “... Reliability Classification of Queueing Models for Streaming Processing Using Support Vector Machines -- A...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium...

Baskı/Yayın Bilgisi 2012

İçindekiler: “....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...”
Tam Metin Erişim

Elektronik Ekitap

Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium...

Baskı/Yayın Bilgisi 2012

İçindekiler: “....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...”
Tam Metin Erişim

Elektronik Ekitap

Multimedia Introduction to Programming Using Java

Yazar: Gries, David., Gries, David., Gries, Paul.
Baskı/Yayın Bilgisi 2005

İçindekiler: “... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...”
Tam Metin Erişim

Elektronik Ekitap

Intelligent Information Processing II IFIP TC12/WG12.3 International Conference on Intelligent...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Tracking Homotopy Iteration Method -- Fast Stereo Matching Method Using Edge Traction -- Hybrid Color Image...”
Tam Metin Erişim

Elektronik Ekitap

Times of Convergence. Technologies Across Learning Contexts Third European Conference on Technology Enhanced Learning, EC-TEL 2008, Maastricht, The Netherlands, September 16-19, 20...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Distributed Ontological Approach as a Basis for Software in the Context of Academic Programs -- Systems...”
Tam Metin Erişim

Elektronik Ekitap

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS 2005 /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... Cluster Job Execution -- Glue Code Synthesis for Distributed Software Programming -- Interactive...”
Tam Metin Erişim

Elektronik Ekitap

RoboCup 2004: Robot Soccer World Cup VIII

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Tracking Using Multiple Neuromorphic Vision Sensors -- Interpolation Methods for Global Vision Systems -- A...”
Tam Metin Erişim

Elektronik Ekitap

Innovative Approaches for Learning and Knowledge Sharing First European Conference on Technology Enhanced Learning, EC-TEL 2006, Crete, Greece, October 1-4, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Keynotes -- From Clicks to Touches: Enabling Face-to-Face Shared Interface -- Innovating eLearning...”
Tam Metin Erişim

Elektronik Ekitap

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... -- Automated Translation and Analysis of a ToolBus Script for Auctions -- Executable Interface Specifications...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt