檢索結果 - interfaces computer program diagram constructing https

1

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

出版 2007

書本目錄: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
獲取全文

電子電子書

2

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

出版 2006

書本目錄: “...H — HCI at the Human Scale -- “Looking At the Computer but Doing It On Land”: Children’s...”
獲取全文

電子電子書

3

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

出版 2010

書本目錄: “...: The Computer’s View -- Tutorials -- Diagrams: A Perspective from Logic -- Drawing Euler Diagrams for Information...”
獲取全文

電子電子書

4

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

出版 2014

書本目錄: “...Gesture-Based Interaction -- RemoteHand: A Wireless Myoelectric Interface -- Early Prototyping of 3...”
獲取全文

電子電子書

5

Advanced Techniques in Computing Sciences and Software Engineering

出版 2010

書本目錄: “... Cluster Layout Based on Voronoi Diagram -- A Reconfigurable Design and Architecture of the Ethernet...”
獲取全文

電子電子書

6

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

由 Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
出版 2005

書本目錄: “... Code Paradigm -- State History Diagrams -- Semantics of the Data Model -- Semantics of Web Signatures...”
獲取全文

電子電子書

7

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

出版 2005

書本目錄: “...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...”
獲取全文

電子電子書

8

RoboCup 2007: Robot Soccer World Cup XI

出版 2008

書本目錄: “... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...”
獲取全文

電子電子書

9

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

出版 2015

書本目錄: “... Cooperative Programming Language to automate cooperative processes -- Engineering Data Intensive Applications...”
獲取全文

電子電子書

10

Enterprise Information Systems V

出版 2005

書本目錄: “... in a Federated Data Warehouses -- Empirical Validation of Metrics for UML Statechart Diagrams -- ERP...”
獲取全文

電子電子書

11

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 /

出版 2012

書本目錄: “... of Metacognitive Scaffolding for Experiential Training Simulators -- Paper Interfaces for Learning Geometry...”
獲取全文

電子電子書

12

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...

出版 2007

書本目錄: “... Demonstrations -- Declared Type Generalization Checker: An Eclipse Plug-In for Systematic Programming with More...”
獲取全文

電子電子書

13

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

出版 2013

書本目錄: “... Design Patterns -- Building Correct by Construction SOA Design Patterns: Modeling and Refinement...”
獲取全文

電子電子書

14

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

出版 2008

書本目錄: “...Keynote I -- The Objects and Arrows of Computational Design -- Algebraic Models for Bidirectional...”
獲取全文

電子電子書

15

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

出版 2005

書本目錄: “... and Embedded Systems -- Process -- Activity Diagram Patterns for Modeling Quality Constraints in Business...”
獲取全文

電子電子書

16

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

出版 2005

書本目錄: “... Expansion by WordNet -- Webified Video: Media Conversion from TV Programs to Web Content for Cross-Media...”
獲取全文

電子電子書

17

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

出版 2007

書本目錄: “...-Based Design of Computer-Controlled Game Character Behavior -- Model-Driven Construction of Certified...”
獲取全文

電子電子書

18

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

出版 2006

書本目錄: “... for Compositional Model Checking -- Refined Interfaces for Compositional Verification -- On Distributed Program...”
獲取全文

電子電子書

19

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

出版 2005

書本目錄: “...-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL...”
獲取全文

電子電子書

20

Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4

由 Campbell, Stephen L., Campbell, Stephen L., Chancelier, Jean-Philippe., Nikoukhah, Ramine.
出版 2010

主題: “...Theory of Computation. https://scigraph.springernature.com/ontologies/product-market-codes/I16005...”
獲取全文

電子電子書

縮小搜索