Search Results - integrated simulation programming programming source https

Search alternatives:
programming programming » programming programmed , programming program
simulation programming » simulation program , recreation programming , simulation gaming
integrated simulation » interactive simulation , integrated navigation
programming source » programming course , programming resources , programming courses
source https » resources https , space https

Earthquakes: Simulations, Sources and Tsunamis

Published 2008

Table of Contents: “...Earthquakes: Simulations, Sources and Tsunamis -- Finite Fault Modeling in a Tsunami Warning Center...”
View full text

Electronic eBook

Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings /

Published 2005

Table of Contents: “... Integration of Jester – The JUnit Test Tester -- Extreme Programming: The Genesys Experience -- Shared Code...”
View full text

Electronic 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 /

Published 2006

Table of Contents: “...-Based Simulation of Open Source Software Evolution -- Simulating the Structural Evolution of Software...”
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: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
View full text

Electronic eBook

The Comprehensive Textbook of Healthcare Simulation

Published 2013

Table of Contents: “... Simulation -- V. Program Development in Simulation -- 45. Center Development and Practical Considerations...”
View full text

Electronic eBook

Computational Fluid Dynamics for Engineers From Panel to Navier-Stokes Methods with Computer Programs /

by Cebeci, Tuncer., Cebeci, Tuncer., Shao, Jian P., Kafyeke, Fassi., Laurendeau, Eric.
Published 2005

Subjects: “...Numerical and Computational Physics, Simulation. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Simulation of Semiconductor Processes and Devices 2007 SISPAD 2007 /

Published 2007

Table of Contents: “... Device Simulator -- Influence of the Poole-Frenkel Effect on Programming and Erasing in Charge Trapping...”
View full text

Electronic eBook

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

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata -- Integrating Policy...”
View full text

Electronic eBook

Using Event-B for Critical Device Software Systems

by Singh, Neeraj Kumar., Singh, Neeraj Kumar.
Published 2013

Subjects: “...Simulation and Modeling. https://scigraph.springernature.com/ontologies/product-market-codes/I19000...”
View full text

Electronic eBook

Food Engineering: Integrated Approaches

Published 2008

Table of Contents: “...Scientific and Technological Cooperation in the Agri-Food Sector: The Case of the CYTED Program...”
View full text

Electronic eBook

From Animals to Animats 11 11th International Conference on Simulation of Adaptive Behavior, SAB...

Published 2010

Table of Contents: “... for the Psikharpax Robot -- Reconstructing the Acoustic Signal of a Sound Source: What Did the Bat Say? -- Simulating...”
View full text

Electronic eBook

Model and Data Engineering 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012, Proceedings /

Published 2012

Table of Contents: “... -- An MDE-Based Synthesis of Aircraft Safety Models -- Integrating a Formal Development for DSLs into Meta...”
View full text

Electronic eBook

Hybrid Learning and Education First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings /

Published 2008

Table of Contents: “... for Improving the Learning of Computer Programming -- Technologies -- Modeling and Simulation of Continuous Time...”
View full text

Electronic eBook

A Practical Introduction to PSL

by Eisner, Cindy., Eisner, Cindy., Fisman, Dana.
Published 2006

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

Electronic eBook

Guide to RISC Processors for Programmers and Engineers /

by Dandamudi, Sivarama P., Dandamudi, Sivarama P.
Published 2005

Table of Contents: “... Language -- SPIM Simulator and Debugger -- Assembly Language Overview -- Procedures and the Stack...”
View full text

Electronic eBook

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 283– October 4, 2014. Proceedings /

Published 2014

Table of Contents: “... for Source Incremental Model-to-text Transformation -- Behavioral Modeling -- Modeling Systemic Behavior...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

Published 2012

Table of Contents: “... Design Pattern Documentation? A Replication in the Context of Source Code Comprehension -- Incremental...”
View full text

Electronic eBook

Making Globally Distributed Software Development a Success Story International Conference on Software Process, ICSP 2008 Leipzig, Germany, May 10-11, 2008, Proceedings /

Published 2008

Table of Contents: “... of Software Process Simulation Modeling: A Systematic Review -- Experience Report -- Integrating Joint Reviews...”
View full text

Electronic eBook

Distributed, Parallel and Biologically Inspired Systems 7th IFIP TC 10 Working Conference, DIPES 2010, and 3rd IFIP TC 10 International Conference, BICC 2010, Held as Part of WCC 2...

Published 2010

Table of Contents: “...-Generation, Simulation and Timing Analysis -- Generating VHDL Source Code from UML Models of Embedded Systems...”
View full text

Electronic eBook

Narrow Search