Search Results - interactive exploration ((program programs) OR (programs program)) compiling https

1

by Lischner, Ray., Lischner, Ray.
Published 2013

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

Electronic eBook

2

Exploring C for Microcontrollers A Hands on Approach /

by Parab, Jivan., Parab, Jivan., Shelake, Vinod G., Kamat, Rajanish K., Naik, G.M.
Published 2007

Table of Contents: “... Programming for Microcontrollers -- Exploring the Capabilities of On-Chip Resources Programming for I/O Ports...”
View full text

Electronic eBook

3

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

4

Interfacing with C++ Programming Real-World Applications /

by Katupitiya, Jayantha., Katupitiya, Jayantha., Bentley, Kim.
Published 2006

Table of Contents: “...-Oriented Approach -- Object-Oriented Programming -- Digital-to-Analog Conversion -- Driving LEDs -- Driving...”
View full text

Electronic eBook

5

Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers /

Published 2005

Table of Contents: “...Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code...”
View full text

Electronic eBook

6

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

7

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

8

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings /

Published 2008

Table of Contents: “... Verification of Concurrent Programs -- Combining Static and Dynamic Reasoning for the Discovery of Program...”
View full text

Electronic eBook

9

Model Checking Software 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings /

Published 2006

Table of Contents: “... State Exploring Algorithms -- Tool Demonstrations -- A Counterexample-Guided Refinement Tool for Open...”
View full text

Electronic eBook

10

Categories for Software Engineering

by Fiadeiro, Jose Luiz., Fiadeiro, Jose Luiz.
Published 2005

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

Electronic eBook

11

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

Published 2005

Table of Contents: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
View full text

Electronic eBook

12

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

13

Object-Oriented Technology.ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /

Published 2007

Table of Contents: “...Programming Languages -- Implementation, Compilation, Optimization of Object-Oriented Languages...”
View full text

Electronic eBook

14

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /

Published 2007

Table of Contents: “... in HALO -- Runtime Verification of Interactions: From MSCs to Aspects -- Towards a Tool for Generating...”
View full text

Electronic eBook

15

Search Based Software Engineering 5th International Symposium, SSBSE 2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings /

Published 2013

Table of Contents: “...-focusing Genetic Programming for Software Optimisation -- Exploring Optimal Service Compositions in Highly...”
View full text

Electronic eBook

16

Beginning Java SE 6 Platform From Novice to Professional /

by Friesen, Jeff., Friesen, Jeff.
Published 2007

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

17

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings /

Published 2012

Table of Contents: “... and Automatic Interaction Testing for Product Lines -- CaPTIF: Comprehensive Performance TestIng Framework...”
View full text

Electronic eBook

18

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

Published 2013

Table of Contents: “... - Exploring Their Usage and Design in Practice -- Concurrent Object-Oriented Development with Behavioral...”
View full text

Electronic eBook

19

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

Published 2010

Table of Contents: “... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”
View full text

Electronic eBook

20

Natural Language Processing and Information Systems 14th International Conference on Applications of Natural Language to Information Systems , NLDB 2009, Saarbrücken, Germany, June...

Published 2010

Table of Contents: “... Extraction -- Score-Based Approach for Anaphora Resolution in Drug-Drug Interactions Documents -- Relation...”
View full text

Electronic eBook

Narrow Search