कवर छवि

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /

अन्य संस्करण दिखाएं (2)

This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

पूर्ण विवरण

में बचाया:

ग्रंथसूची विवरण
निगमित लेखक:	SpringerLink (Online service)
अन्य लेखक:	Wehrheim, Heike (संपादक), Cabot, Jordi (संपादक)
स्वरूप:	इलेक्ट्रोनिक ई-पुस्तक
भाषा:	अंग्रेज़ी
प्रकाशित:	Cham : Springer International Publishing : Imprint: Springer, 2020.
संस्करण:	1st ed. 2020.
श्रृंखला:	Theoretical Computer Science and General Issues, 12076
विषय:	Software engineering. Computers, Special purpose. Microprogramming . Computer systems. Computer networks . Artificial intelligence. Software Engineering. Special Purpose and Application-Based Systems. Control Structures and Microprogramming. Computer System Implementation. Computer Communication Networks. Artificial Intelligence.
ऑनलाइन पहुंच:	Link to Metadata
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II /
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I /
प्रकाशित: (2020)

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
प्रकाशित: (2020)

Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
प्रकाशित: (2020)

The Impact of Digital Technologies on Public Health in Developed and Developing Countries 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24-26, 2020, Proceedings /
प्रकाशित: (2020)

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
प्रकाशित: (2023)

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings /
प्रकाशित: (2022)

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II /
प्रकाशित: (2021)

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I /
प्रकाशित: (2022)

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers /
प्रकाशित: (2019)

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405 /
प्रकाशित: (2020)

How AI Impacts Urban Living and Public Health 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings /
प्रकाशित: (2019)

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /
प्रकाशित: (2022)

Towards Interoperable Research Infrastructures for Environmental and Earth Sciences A Reference Model Guided Approach for Common Challenges /
प्रकाशित: (2020)

Intelligent Human Computer Interaction 9th International Conference, IHCI 2017, Evry, France, December 11-13, 2017, Proceedings /
प्रकाशित: (2017)

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I /
प्रकाशित: (2021)

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
प्रकाशित: (2020)

Symbiotic Interaction 5th International Workshop, Symbiotic 2016, Padua, Italy, September 29-30, 2016, Revised Selected Papers /
प्रकाशित: (2017)

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /
प्रकाशित: (2018)

Supercomputing Frontiers 6th Asian Conference, SCFA 2020, Singapore, February 24-27, 2020, Proceedings /
प्रकाशित: (2020)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I /
प्रकाशित: (2020)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II /
प्रकाशित: (2020)

Haptics: Science, Technology, Applications 12th International Conference, EuroHaptics 2020, Leiden, The Netherlands, September 6-9, 2020, Proceedings /
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
प्रकाशित: (2020)

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
प्रकाशित: (2020)

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
प्रकाशित: (2020)

Programming Languages and Systems 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
प्रकाशित: (2020)

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
प्रकाशित: (2019)

Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 18-19, 2018, Revised Selected Papers
प्रकाशित: (2019)

Semantic Systems. The Power of AI and Knowledge Graphs 15th International Conference, SEMANTiCS 2019, Karlsruhe, Germany, September 9-12, 2019, Proceedings /
प्रकाशित: (2019)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
प्रकाशित: (2020)

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I
प्रकाशित: (2020)

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
प्रकाशित: (2020)

Computer Aided Verification 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II /
प्रकाशित: (2022)

Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018. Proceedings /
प्रकाशित: (2018)

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
प्रकाशित: (2021)

Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
प्रकाशित: (2021)

How AI Impacts Urban Living and Public Health 17th International Conference, ICOST 2019, New York City, NY, USA, October 14-16, 2019, Proceedings
प्रकाशित: (2019)