Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings /

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings /

This book constitutes the refereed proceedings of the 13th European Conference on Software Architecture, ECSA 2019, held in Paris, France, in September 2019. In the Research Track, 11 full papers presented together with 4 short papers were carefully reviewed and selected from 63 submissions. They ar...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Bures, Tomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Duchien, Laurence (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Inverardi, Paola (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Cham : Springer International Publishing : Imprint: Springer, 2019.
Έκδοση:	1st ed. 2019.
Σειρά:	Programming and Software Engineering ; 11681
Θέματα:	Software engineering. Logic design. Computers. Computer system failures. Software Engineering. Logic Design. Computing Milieux. System Performance and Evaluation.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings /
Έκδοση: (2019)

Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings /
Έκδοση: (2002)

Model-Driven Engineering and Software Development 5th International Conference, MODELSWARD 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21-23, 2018, Revised Selected Papers /
Έκδοση: (2019)

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings /
Έκδοση: (2018)

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26-28, 2019, Proceedings /
Έκδοση: (2019)

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings /
Έκδοση: (2019)

Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
Έκδοση: (1999)

Computer Aided Verification 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998, Proceedings /
Έκδοση: (1998)

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
ανά: Pflanz, Matthias, κ.ά.
Έκδοση: (2002)

Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
Έκδοση: (1997)

Computer Aided Verification 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
Έκδοση: (2003)

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part II /
Έκδοση: (2018)

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
Έκδοση: (1998)

Security and Trust Management 14th International Workshop, STM 2018, Barcelona, Spain, September 6-7, 2018, Proceedings /
Έκδοση: (2018)

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part I /
Έκδοση: (2019)

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part VI /
Έκδοση: (2019)

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part II /
Έκδοση: (2019)

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part III /
Έκδοση: (2019)

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part V /
Έκδοση: (2019)

Computational Science and Its Applications - ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1-4, 2019, Proceedings, Part IV /
Έκδοση: (2019)

New Opportunities for Innovation Breakthroughs for Developing Countries and Emerging Economies 19th International TRIZ Future Conference, TFC 2019, Marrakesh, Morocco, October 9-11, 2019, Proceedings /
Έκδοση: (2019)

Cloud Computing - CLOUD 2019 12th International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25-30, 2019, Proceedings /
Έκδοση: (2019)

Progress in Cryptology - AFRICACRYPT 2019 11th International Conference on Cryptology in Africa, Rabat, Morocco, July 9-11, 2019, Proceedings /
Έκδοση: (2019)

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers /
Έκδοση: (2019)

Integrated Circuit Design: Power and Timing Modeling, Optimization and Simulation 10th International Workshop, PATMOS 2000, Göttingen, Germany, September 13-15, 2000 Proceedings /
Έκδοση: (2000)

Lectures on Runtime Verification Introductory and Advanced Topics /
Έκδοση: (2018)

Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings /
Έκδοση: (2018)

Theorem Proving in Higher Order Logics 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings /
Έκδοση: (2003)

Progress in Cryptology - LATINCRYPT 2017 5th International Conference on Cryptology and Information Security in Latin America, Havana, Cuba, September 20-22, 2017, Revised Selected Papers /
Έκδοση: (2019)

Information Systems Security 14th International Conference, ICISS 2018, Bangalore, India, December 17-19, 2018, Proceedings /
Έκδοση: (2018)

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 13th International Workshop, PATMOS 2003, Torino, Italy, September 10-12, 2003, Proceedings /
Έκδοση: (2003)

Theory and Applications of Satisfiability Testing - SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings /
Έκδοση: (2019)

Model-Driven Engineering and Software Development 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers /
Έκδοση: (2019)

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings /
Έκδοση: (2019)

Parallel Processing and Applied Mathematics 12th International Conference, PPAM 2017, Lublin, Poland, September 10-13, 2017, Revised Selected Papers, Part I /
Έκδοση: (2018)

Field-Programmable Logic and Applications 11th International Conference, FPL 2001, Belfast, Northern Ireland, UK, August 27-29, 2001 Proceedings /
Έκδοση: (2001)

Evolving OpenMP for Evolving Architectures 14th International Workshop on OpenMP, IWOMP 2018, Barcelona, Spain, September 26-28, 2018, Proceedings /
Έκδοση: (2018)

Provable Security 13th International Conference, ProvSec 2019, Cairns, QLD, Australia, October 1-4, 2019, Proceedings /
Έκδοση: (2019)

Reachability Problems 13th International Conference, RP 2019, Brussels, Belgium, September 11-13, 2019, Proceedings /
Έκδοση: (2019)

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