Risultati della ricerca - interactive computing programming diagram constructing https

Cerca anche:
interactive computing » interactive computer
computing programming » computer programming , computers programming
diagram constructing » diagram construction , program constructing , data constructing
programming diagram » programming program , programming data , programming dialogs
constructing https » construction https , consulting https , constructing better

Human-Computer Interaction. Advanced Interaction, Modalities, and Techniques 16th International...

Pubblicazione 2014

Sommario: “... Cycle of Gesture Interaction, The Continuum between 2D and 3D -- iPanel: A Computer-Vision Based...”
Testo

Elettronico eBook

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference...

Pubblicazione 2006

Sommario: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Testo

Elettronico eBook

Learning C# by Programming Games

di Egges, Arjan., Egges, Arjan., Fokker, Jeroen D., Overmars, Mark H.
Pubblicazione 2013

Sommario: “...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
Testo

Elettronico eBook

Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010, Portland, OR, USA, August 9-11, 2010, Proceedings /

Pubblicazione 2010

Sommario: “...: The Computer’s View -- Tutorials -- Diagrams: A Perspective from Logic -- Drawing Euler Diagrams for Information...”
Testo

Elettronico eBook

People and Computers XIX - The Bigger Picture Proceedings of HCI 2005 /

Pubblicazione 2006

Sommario: “... Interactions in a Tangible Programming Space -- The Usability of Digital Ink Technologies for Children...”
Testo

Elettronico eBook

Advanced Techniques in Computing Sciences and Software Engineering

Pubblicazione 2010

Sommario: “... Cluster Layout Based on Voronoi Diagram -- A Reconfigurable Design and Architecture of the Ethernet...”
Testo

Elettronico eBook

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Pubblicazione 2014

Sommario: “.../Subtractor with Overflow Detection Logic for Quantum Computer based Systems -- An Algorithm for Construction...”
Testo

Elettronico eBook

Principles of the Spin Model Checker

di Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Pubblicazione 2008

Sommario: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Testo

Elettronico eBook

Advances in Artificial Intelligence - SBIA 2008 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 /

Pubblicazione 2008

Sommario: “... -- Methodical Construction of Symbolic Diagrams -- Machine Learning and Data Mining -- Bi-objective Memetic...”
Testo

Elettronico eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Pubblicazione 2010

Sommario: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Testo

Elettronico eBook

Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008, Proceedings /

Pubblicazione 2008

Sommario: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Testo

Elettronico eBook

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Pubblicazione 2005

Sommario: “... Agent-Based Modeling -- Formal Semantics for AUML Agent Interaction Protocol Diagrams -- A Study of Some...”
Testo

Elettronico eBook

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

Pubblicazione 2007

Sommario: “...-Based Design of Computer-Controlled Game Character Behavior -- Model-Driven Construction of Certified...”
Testo

Elettronico eBook

Algebraic Methodology and Software Technology 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings /

Pubblicazione 2006

Sommario: “...Invited Talks -- Incremental Software Construction with Refinement Diagrams -- Recursive Program...”
Testo

Elettronico eBook

Form-Oriented Analysis A New Methodology to Model Form-Based Applications /

di Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Pubblicazione 2005

Sommario: “... Code Paradigm -- State History Diagrams -- Semantics of the Data Model -- Semantics of Web Signatures...”
Testo

Elettronico eBook

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

Pubblicazione 2013

Sommario: “... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...”
Testo

Elettronico eBook

Model Driven Architecture - Foundations and Applications 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings /

Pubblicazione 2008

Sommario: “...Research Session -- The Epsilon Generation Language -- Constructing and Visualizing Transformation...”
Testo

Elettronico eBook

Dynamics of Civil Structures, Volume 2 Proceedings of the 33rd IMAC, A Conference and Exposition on Structural Dynamics, 2015 /

Pubblicazione 2015

Sommario: “... identification through camera video -- Interactive platform to include human-Structure interaction effects...”
Testo

Elettronico eBook

Formal Techniques for Networked and Distributed Systems - FORTE 2006 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings /

Pubblicazione 2006

Sommario: “... -- Presence Interaction Management in SIP SOHO Architecture -- Middleware -- Formal Analysis of Dynamic...”
Testo

Elettronico eBook

Trends in Applied Intelligent Systems 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Cordoba, Spain, J...

Pubblicazione 2010

Sommario: “...-in Timing -- A New Approach to Construct Optimal Bow Tie Diagrams for Risk Analysis -- Machine Learning...”
Testo

Elettronico eBook

Restringi la ricerca