Search Results - integrated revision programming programming constructs https

Search alternatives:
programming programming » programming programmed , programming program
programming constructs » programming concepts , programming contest
revision programming » television programming , edition programming , session programming
integrated revision » integrated decision , integrated vision , iterated revision
constructs https » construction https , constructs loops , constructs arti

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Published 2012

Table of Contents: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
View full text

Electronic eBook

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

Published 2013

Table of Contents: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
View full text

Electronic eBook

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

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

Electronic eBook

Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /

Published 2008

Table of Contents: “...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”
View full text

Electronic eBook

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 2004, Revised Selected Papers /

Published 2005

Table of Contents: “... Construction Model for Ubiquitous Computing Devices -- Reuse and Platforms -- A Framework for Patterns in Gaia...”
View full text

Electronic eBook

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /

Published 2014

Table of Contents: “...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”
View full text

Electronic eBook

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Published 2012

Table of Contents: “... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”
View full text

Electronic eBook

Pro C# 2008 and the .NET 3.5 Platform

by Troelsen, Andrew., Troelsen, Andrew.
Published 2007

Table of Contents: “... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...”
View full text

Electronic eBook

Distributed Applications and Interoperable Systems 7th IFIP WG 6.1 International Conference, DAIS 2007, Paphos, Cyprus, June 6-8, 2007, Proccedings /

Published 2007

Table of Contents: “...Context-Awareness I -- The Context-Dependent Role Model -- Integrating Facts and Beliefs to Model...”
View full text

Electronic eBook

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings /

Published 2013

Table of Contents: “... Verification with Data -- Programming Without Borders -- Regular Papers -- Informative Types and Effects...”
View full text

Electronic eBook

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... Study of SAT-Based Branching Heuristics for the CSP -- Autonomy in Virtual Agents: Integrating...”
View full text

Electronic eBook

Business Process Management Workshops BPM 2009 International Workshops, Ulm, Germany, September 7, 2009, Revised Papers /

Published 2010

Table of Contents: “... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”
View full text

Electronic eBook

Advances in Conceptual Modeling – Applications and Challenges ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010, Proceedi...

Published 2010

Table of Contents: “... Workshop on Conceptual Modelling of Service (CMS 2010) -- Modeling Support for Service Integration -- A...”
View full text

Electronic eBook

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Systems Using Genetic Programming -- Self-Adaptive Networked Entities for Building Pervasive Computing...”
View full text

Electronic eBook

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Bejing, China, May 25-29, 2008 /

Published 2008

Table of Contents: “... of Product Differentiation and Reuse -- Integrating Component and Product Lines Technologies -- Feature...”
View full text

Electronic eBook

High Performance Computing for Computational Science - VECPAR 2006 7th International Conference, Rio de Janeiro, Brazil, June 10-13, 2006, Revised Selected and Invited Papers /

Published 2007

Table of Contents: “... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”
View full text

Electronic eBook

Transactions on Petri Nets and Other Models of Concurrency I

Published 2008

Table of Contents: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
View full text

Electronic eBook

Ad Hoc Networks First International Conference, ADHOCNETS 2009, Niagara Falls, Ontario, Canada, September 22-25, 2009. Revised Selected Papers /

Published 2010

Table of Contents: “...) Routing Metric for Mobile Ad Hoc Networks -- Constructing Minimum Relay Connected Sensor Cover...”
View full text

Electronic eBook

Narrow Search