Αποτελέσματα αναζήτησης - interactive visualization programs program construction https

1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Έκδοση 2013

Πίνακας περιεχομένων: “...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Learning C# by Programming Games

ανά Egges, Arjan., Egges, Arjan., Fokker, Jeroen D., Overmars, Mark H.
Έκδοση 2013

Πίνακας περιεχομένων: “...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /

Έκδοση 2007

Πίνακας περιεχομένων: “... Tractable Classes of Horn Clauses -- Infering Ownership Types for Encapsulated Object-Oriented Program...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Collaborative and Visualized Safety Planning for Construction Performed at High Elevation -- Product Precision...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Advances in Visual Computing 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010, Proceedings, Part I /

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Symmetry Enhanced Adaboost -- Object Category Classification Using Occluding Contours -- Visualization I...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

Visual Information Communication

Έκδοση 2010

Πίνακας περιεχομένων: “... Interface -- Multi-dimensional Data Visualization using Concentric Coordinates -- Construct Connotation...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

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...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai,China, September 16-20, 2007 /

Έκδοση 2007

Πίνακας περιεχομένων: “... Programming Method for Collaborative Scheduling in Construction Supply Chain Management -- A Particular...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

Interaction in Educational Domains

Έκδοση 2013

Θέματα: “...Education, general. https://scigraph.springernature.com/ontologies/product-market-codes/O00000...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Human-Computer Interaction. Theories, Methods, and Tools 16th International Conference, HCI...

Έκδοση 2014

Πίνακας περιεχομένων: “... during the Interaction with TV Programs -- Evaluation of Industrial Touch Interfaces Using a Modular...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Artificially Controllable Nanodevices Constructed by DNA Origami Technology Photofunctionalization and Single-Molecule Analysis /

ανά Yang, Yangyang., Yang, Yangyang.
Έκδοση 2015

Πίνακας περιεχομένων: “... nanostructure assembling reversibly in programmed patterns -- Arrangement of gold nanoparticles onto a slit-type...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

Principles of the Spin Model Checker

ανά Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Έκδοση 2008

Πίνακας περιεχομένων: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

AdvancED Flex 3

ανά Tiwari, Shashank., Tiwari, Shashank., Elrom, Elad.
Έκδοση 2008

Πίνακας περιεχομένων: “...Harnessing the Power of Flex 3 -- Leveraging Architectural and Design Patterns -- Constructing...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

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

Έκδοση 2008

Πίνακας περιεχομένων: “... Warping for Image Texture Similarity -- Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Pro VB 2005 and the .NET 2.0 Platform

ανά Troelsen, Andrew., Troelsen, Andrew.
Έκδοση 2006

Πίνακας περιεχομένων: “... Basic 2005 Applications -- Visual Basic 2005 Language Fundamentals -- VB 2005 Programming Constructs...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Coordination Models and Languages 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... for Boxes and Traits in a Java-Like Setting -- JErlang: Erlang with Joins -- A Hybrid Visual Dataflow...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

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

Έκδοση 2008

Πίνακας περιεχομένων: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Innovations in Computing Sciences and Software Engineering

Έκδοση 2010

Πίνακας περιεχομένων: “... Analysis -- A Proposed Treatment for Visual Field Loss caused by Traumatic Brain Injury using Interactive...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

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

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Navigating the Web of Things: Visualizing and Interacting with Web-Enabled Objects -- Shaping Future Service...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης