Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Bensalem, Saddek (Επιμελητής έκδοσης), Peled, Doron A. (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Σειρά:	Lecture Notes in Computer Science, 5779
Θέματα:	Computer science. Computer software > Reusability. Computer system failures. Software engineering. Programming languages (Electronic computers). Computers. Computer Science. Software Engineering. Software Engineering/Programming and Operating Systems. Theory of Computation. Performance and Reliability. Programming Languages, Compilers, Interpreters. System Performance and Evaluation.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers /
Έκδοση: (2008)

Reliable Software Technologies – Ada-Europe 2009 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings /
Έκδοση: (2009)

Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
Έκδοση: (2009)

Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings /
Έκδοση: (2017)

Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
Έκδοση: (2016)

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings /
Έκδοση: (2009)

Recent Advances in Parallel Virtual Machine and Message Passing Interface 16th European PVM/MPI Users’ Group Meeting, Espoo, Finland, September 7-10, 2009. Proceedings /
Έκδοση: (2009)

Understanding Control Flow Concurrent Programming Using μC++ /
ανά: Buhr, Peter A.
Έκδοση: (2016)

Requirements Engineering and Management for Software Development Projects
ανά: Chemuturi, Murali
Έκδοση: (2013)

Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers /
Έκδοση: (2012)

Tools for High Performance Computing 2011 Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden /
Έκδοση: (2012)

Instruction Level Parallelism
ανά: Aiken, Alex, κ.ά.
Έκδοση: (2016)

Software Verification and Validation An Engineering and Scientific Approach /
ανά: Fisher, Marcus S.
Έκδοση: (2007)

Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers /
Έκδοση: (2007)

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Έκδοση: (2017)

Runtime Verification First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Έκδοση: (2010)

Performance Evaluation and Benchmarking First TPC Technology Conference, TPCTC 2009, Lyon, France, August 24-28, 2009, Revised Selected Papers /
Έκδοση: (2009)

Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Έκδοση: (2017)

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /
Έκδοση: (2017)

Innovative Technologies for Dependable OTS-Based Critical Systems Challenges and Achievements of the CRITICAL STEP Project /
Έκδοση: (2013)

Cloud Computing First International Conference, CloudCom 2009, Beijing, China, December 1-4, 2009. Proceedings /
Έκδοση: (2009)

Software Process Modeling
Έκδοση: (2005)

A Software Process Model Handbook for Incorporating People’s Capabilities
ανά: Acuña, Silvia Teresita, κ.ά.
Έκδοση: (2005)

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
Έκδοση: (2006)

Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017, Proceedings /
Έκδοση: (2017)

Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers /
Έκδοση: (2010)

Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Έκδοση: (2012)

Model-Driven Engineering Languages and Systems 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings /
Έκδοση: (2014)

Multicore Software Engineering, Performance, and Tools International Conference, MUSEPAT 2013, St. Petersburg, Russia, August 19-20, 2013. Proceedings /
Έκδοση: (2013)

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings /
Έκδοση: (2017)

Encyclopedia of Parallel Computing
Έκδοση: (2011)

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings /
Έκδοση: (2012)

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings /
Έκδοση: (2013)

Foundational and Practical Aspects of Resource Analysis Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
Έκδοση: (2014)

Foundational and Practical Aspects of Resource Analysis Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers /
Έκδοση: (2012)

Evolving OpenMP in an Age of Extreme Parallelism 5th International Workshop on OpenMP, IWOMP 2009 Dresden, Germany, June 3-5, 2009 Proceedings /
Έκδοση: (2009)

OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings /
Έκδοση: (2016)

OpenMP: Heterogenous Execution and Data Movements 11th International Workshop on OpenMP, IWOMP 2015, Aachen, Germany, October 1-2, 2015, Proceedings /
Έκδοση: (2015)

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /
Έκδοση: (2015)

Interactive Theorem Proving 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /
Έκδοση: (2017)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών