Search Results for - Narrowed by: Computer simulation. - Programming Techniques.

It's All About Coordination Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab

2024-06-17T15:50:10Z

by de Boer, Frank. editor.
https://doi.org/10.1007/978-3-319-90089-6
Format: Electronic Resources

Software Reuse: Bridging with Social-Awareness 15th International Conference, ICSR 2016, Limassol, Cyprus, June 5-7, 2016, Proceedings

2024-06-17T15:50:10Z

by Kapitsaki, Georgia M. editor.
https://doi.org/10.1007/978-3-319-35122-3
Format: Electronic Resources

Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings

2024-06-17T15:50:10Z

by Aichernig, Bernhard K. editor.
https://doi.org/10.1007/978-3-319-41135-4
Format: Electronic Resources

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers

2024-06-17T15:50:10Z

by Voevodin, Vladimir. editor.
https://doi.org/10.1007/978-3-319-55669-7
Format: Electronic Resources

Transactions on Foundations for Mastering Change I

2024-06-17T15:50:10Z

by Steffen, Bernhard. editor.
https://doi.org/10.1007/978-3-319-46508-1
Format: Electronic Resources

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

2024-06-17T15:50:10Z

by Mueller, Matthias S. editor.
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Electronic Resources

A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

2024-06-17T15:50:10Z

by Chapman, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Electronic Resources

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2024-06-17T15:50:10Z

by Labarta, Jesús. editor.
http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Electronic Resources

Languages, Methodologies and Development Tools for Multi-Agent Systems First International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers

2024-06-17T15:50:10Z

by Dastani, Mehdi. editor.
http://dx.doi.org/10.1007/978-3-540-85058-8
Format: Electronic Resources

Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers

2024-06-17T15:50:10Z

by Paech, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-89778-1
Format: Electronic Resources

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

2024-06-17T15:50:10Z

by Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: Electronic Resources

The Common Component Modeling Example Comparing Software Component Models

2024-06-17T15:50:10Z

by Rausch, Andreas. editor.
http://dx.doi.org/10.1007/978-3-540-85289-6
Format: Electronic Resources

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

2024-06-17T15:50:10Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: Electronic Resources

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

2024-06-17T15:50:10Z

by Eigenmann, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-79561-2
Format: Electronic Resources

Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers

2024-06-17T15:50:10Z

by Artikis, Alexander. editor.
http://dx.doi.org/10.1007/978-3-540-87654-0
Format: Electronic Resources

Engineering Societies in the Agents World VII 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers

2024-06-17T15:50:10Z

by O’Hare, Gregory M. P. editor.
http://dx.doi.org/10.1007/978-3-540-75524-1
Format: Electronic Resources

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

2024-06-17T15:50:10Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/11666806
Format: Electronic Resources

Engineering Societies in the Agents World VI 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers

2024-06-17T15:50:10Z

by Dikenelli, Oğuz. editor.
http://dx.doi.org/10.1007/11759683
Format: Electronic Resources

Software Agent-Based Applications, Platforms and Development Kits

2024-06-17T15:50:10Z

by Unland, Rainer. editor.
http://dx.doi.org/10.1007/b137512
Format: Electronic Resources

Production Rendering Design and Implementation

2024-06-17T15:50:10Z

by Stephenson, Ian. editor.
http://dx.doi.org/10.1007/b138603
Format: Electronic Resources

Software Process Modeling

2024-06-17T15:50:10Z

by Acuña, Silvia T. editor.
http://dx.doi.org/10.1007/b104986
Format: Electronic Resources

A Software Process Model Handbook for Incorporating People’s Capabilities

2024-06-17T15:50:10Z

by Acuña, Silvia Teresita. author.
http://dx.doi.org/10.1007/b106969
Format: Electronic Resources