Resultados da busca - interface computer program diagram constructing https

1

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

Publicado em 2007

Sumário: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

2

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

Publicado em 2006

Sumário: “...H — HCI at the Human Scale -- “Looking At the Computer but Doing It On Land”: Children’s...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

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

Publicado em 2010

Sumário: “...: The Computer’s View -- Tutorials -- Diagrams: A Perspective from Logic -- Drawing Euler Diagrams for Information...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

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

Publicado em 2014

Sumário: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Advanced Techniques in Computing Sciences and Software Engineering

Publicado em 2010

Sumário: “... Cluster Layout Based on Voronoi Diagram -- A Reconfigurable Design and Architecture of the Ethernet...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, f...

Publicado em 2005

Sumário: “...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

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

por Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Publicado em 2005

Sumário: “... Code Paradigm -- State History Diagrams -- Semantics of the Data Model -- Semantics of Web Signatures...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

RoboCup 2007: Robot Soccer World Cup XI

Publicado em 2008

Sumário: “... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

9

Cooperative Design, Visualization, and Engineering 12th International Conference, CDVE 2015, Mallorca, Spain, September 20-23, 2015. Proceedings /

Publicado em 2015

Sumário: “... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Publicado em 2007

Sumário: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

Enterprise Information Systems V

Publicado em 2005

Sumário: “... in a Federated Data Warehouses -- Empirical Validation of Metrics for UML Statechart Diagrams -- ERP...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

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 /

Publicado em 2012

Sumário: “... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

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

Publicado em 2013

Sumário: “... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

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

Publicado em 2008

Sumário: “...Keynote I -- The Objects and Arrows of Computational Design -- Algebraic Models for Bidirectional...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

15

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

Publicado em 2005

Sumário: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

16

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

Publicado em 2007

Sumário: “...-Based Design of Computer-Controlled Game Character Behavior -- Model-Driven Construction of Certified...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

17

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Publicado em 2005

Sumário: “... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

18

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

Publicado em 2006

Sumário: “... for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

19

SDL 2005: Model Driven 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings /

Publicado em 2005

Sumário: “...-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

20

Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4

por Campbell, Stephen L., Campbell, Stephen L., Chancelier, Jean-Philippe., Nikoukhah, Ramine.
Publicado em 2010

Assuntos: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca