Resultats de la cerca - integrated simulation programming programming construction https

Alternatives de cerca:
programming construction » programming constructs , program construction , programming abstraction
programming programming » programming programmed , programming program
simulation programming » simulation program , recreation programming , simulation gaming
integrated simulation » interactive simulation , integrated navigation
construction https » instruction https , conservation https , construction history

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

Publicat 2006

Taula de continguts: “... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”
Obtenir text complet

Electrònic eBook

Transactions on Aspect-Oriented Software Development VIII

Publicat 2011

Taula de continguts: “...A Model-Driven Framework for Aspect Weaver Construction -- A System of Patterns for Reusable Aspect...”
Obtenir text complet

Electrònic eBook

Software Process Change International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Process Relationship -- Assessing 3-D Integrated Software Development Processes: A New Benchmark...”
Obtenir text complet

Electrònic eBook

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

Publicat 2008

Taula de continguts: “...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”
Obtenir text complet

Electrònic eBook

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

Publicat 2008

Taula de continguts: “... for Software and Data Integration -- Model Construction with External Constraints: An Interactive Journey from...”
Obtenir text complet

Electrònic eBook

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

Publicat 2005

Taula de continguts: “...? -- Properties of Stereotypes from the Perspective of Their Role in Designs -- A Modelling and Simulation Based...”
Obtenir text complet

Electrònic eBook

Transactions on Petri Nets and Other Models of Concurrency I

Publicat 2008

Taula de continguts: “...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...”
Obtenir text complet

Electrònic eBook

New Modeling Concepts for Today's Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings /

Publicat 2010

Taula de continguts: “... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...”
Obtenir text complet

Electrònic eBook

Principles of the Spin Model Checker

per Ben-Ari, Mordechai., Ben-Ari, Mordechai.
Publicat 2008

Taula de continguts: “...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...”
Obtenir text complet

Electrònic eBook

Integrated Circuit Test Engineering Modern Techniques /

per Grout, Ian A., Grout, Ian A.
Publicat 2006

Taula de continguts: “...to Integrated Circuit Test Engineering -- Fabrication Processes for Integrated Circuits -- Digital...”
Obtenir text complet

Electrònic eBook

Integrated Graphic and Computer Modelling

per Thomas, Adrian., Thomas, Adrian.
Publicat 2008

Taula de continguts: “...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Obtenir text complet

Electrònic eBook

Embedded Computer Systems: Architectures, Modeling, and Simulation 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings /

Publicat 2006

Taula de continguts: “... Processors -- SAD Prefetching for MPEG4 Using Flux Caches -- Effects of Program Compression -- Integrated...”
Obtenir text complet

Electrònic eBook

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

Publicat 2007

Taula de continguts: “... -- An Approach to Software Evolution Based on Semantic Change -- A Simulation-Oriented Formalization for a...”
Obtenir text complet

Electrònic eBook

Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...”
Obtenir text complet

Electrònic eBook

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Publicat 2010

Taula de continguts: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
Obtenir text complet

Electrònic eBook

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

Publicat 2007

Taula de continguts: “... -- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications -- A Business...”
Obtenir text complet

Electrònic eBook

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

Publicat 2012

Taula de continguts: “... on Boundary Integral Operators.-Part II: Robust Multigrid, Multilevel and Multiscale, Deterministic...”
Obtenir text complet

Electrònic eBook

A Practical Introduction to PSL

per Eisner, Cindy., Eisner, Cindy., Fisman, Dana.
Publicat 2006

Taula de continguts: “... -- Clocks -- Aborting a Property -- Some Convenient Constructs -- The Simple Subset -- The Boolean, Modeling...”
Obtenir text complet

Electrònic eBook

Carbonate Reservoir Characterization An Integrated Approach /

per Lucia, F. Jerry., Lucia, F. Jerry.
Publicat 2007

Taula de continguts: “... Textures & Petrophysics -- Reservoir Models for Input into Flow Simulators -- Limestone Reservoirs...”
Obtenir text complet

Electrònic eBook

1
2
3
4
5
6
Següent »
[6]

Refinar cerca