Search Results - interactive visualization https programs compiling https

1

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

Published 2007

Table of Contents: “... Components -- ViDoC - Visual Design of Optimizing Compilers -- Abstract Interpretation for Worst and Average...”
View full text

Electronic eBook

2

Learning C# by Programming Games

by Egges, Arjan., Egges, Arjan., Fokker, Jeroen D., Overmars, Mark H.
Published 2013

Table of Contents: “...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
View full text

Electronic eBook

3

Programming Multi-Agent Systems Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers /

Published 2008

Table of Contents: “... MAS:The Robots on Mars Case Study -- Tracking Causality by Visualization of Multi-Agent Interactions Using...”
View full text

Electronic eBook

4

Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz...”
View full text

Electronic eBook

5

Interactive Systems. Design, Specification, and Verification 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008, Proceedings /

Published 2008

Table of Contents: “... Interactive Systems for Navigating 3D Environments in Museums -- An Attentive Groupware Device to Mitigate...”
View full text

Electronic eBook

6

Beginning R An Introduction to Statistical Programming /

by Pace, Larry., Pace, Larry., Wiley, Joshua.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

7

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

Published 2013

Table of Contents: “...: Visualizing Relations between Answer Sets -- Symbolic System Synthesis Using Answer Set Programming...”
View full text

Electronic eBook

8

Xamarin Mobile Application Development Cross-Platform C# and Xamarin.Forms Fundamentals /

by Hermes, Dan., Hermes, Dan.
Published 2015

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

9

MATLAB Recipes A Problem-Solution Approach /

by Paluszek, Michael., Paluszek, Michael., Thomas, Stephanie.
Published 2015

Table of Contents: “...Part I: Coding in MATLAB -- 1. Coding Basics -- 2. MATLAB Style -- 3. Visualization -- 4...”
View full text

Electronic eBook

10

XML and Web Technologies for Data Sciences with R

by Nolan, Deborah., Nolan, Deborah., Temple Lang, Duncan.
Published 2014

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

11

Reverse Engineering of Object Oriented Code

by Tonella, Paolo., Tonella, Paolo., Potrich, Alessandra.
Published 2005

Table of Contents: “...The Object Flow Graph -- Class Diagram -- Object Diagram -- Interaction Diagrams -- State Diagrams...”
View full text

Electronic eBook

12

Formal Methods and Software Engineering 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings /

Published 2005

Table of Contents: “...-Based Program Inspection -- Visualizing and Simulating Semantic Web Services Ontologies -- A Model...”
View full text

Electronic eBook

13

Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 20...

Published 2008

Table of Contents: “... Process Models -- Consistent Integration of Models Based on Views of Visual Languages -- Translating Model...”
View full text

Electronic eBook

14

Perspectives of Systems Informatics 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers /

Published 2007

Table of Contents: “... for Coordinating Data-Parallel Programs -- Formal Methods in Industrial Software Standards Enforcement -- Visual...”
View full text

Electronic eBook

15

Principles of the Spin Model Checker

by Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Published 2008

Table of Contents: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
View full text

Electronic eBook

16

Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “...Keynote 1 -- A Unified Approach to Modeling and Programming -- Session 1a: Genericity...”
View full text

Electronic eBook

17

Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings /

Published 2006

Table of Contents: “... and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying...”
View full text

Electronic eBook

18

Web Services and Formal Methods 10th International Workshop, WS-FM 2013, Beijing, China, August 2013, Revised Selected Papers /

Published 2014

Table of Contents: “... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...”
View full text

Electronic eBook

19

Real-Time Object Uniform Design Methodology with UML

by Bui Minh Duc., Bui Minh Duc.
Published 2007

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

20

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

Published 2008

Table of Contents: “... Warping for Image Texture Similarity -- Audio-to-Visual Conversion Via HMM Inversion for Speech-Driven...”
View full text

Electronic eBook

Narrow Search