Вы здесь

Главная

архитектура по

Связанные издания:

Advanced Information Systems Engineering: Proc./32nd International Conference, CAiSE 2020, Grenoble, France, June 2020
Agent-Oriented Software Engineering XI: Revised Selected Papers/11th International Workshop, AOSE 2010, Toronto, Canada, May 2010
Algorithms - ESA 2015: Proc./23rd Annual European Symposium, Patras, Greece, September 2015
Ambient Intelligence: Proc./15th European Conference, Aml 2019, Rome, Italy, November 2019
Application and Theory of Petri Nets and Concurrency: Proc./41st International Conference, PETRI NETS 2020, Paris, France, June 2020
Applications and Theory of Petri Nets and Concurrency: Proc./42nd International Conference, PETRI NETS 2021, Virtual Event, June 2021
Architecting Dependable Systems VII
Artificial General Intelligence: Proc./13th International Conference, AGI 2020, St.Petersburg, Russia, September 2020
Artificial Intelligence: Software Architectures for Intelligent Systems: Proc./Annual Workshop on Project Funded by the Italian Ministry of Public Education under the Fund "MPI-40%", Rome, Italy, December 1987
Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Reasoning, Part I: Proc./10th International Joint Conference, IJCAR 2020, Paris, France, July 2020
Benchmarking, Measuring, and Optimizing: Revised Selected Papers/2nd BenchCouricil International Symposium, Bench 2019, Cenver,CO,USA, November 2019
Cloud Computing - CLOUD 2021: Proc./14 International Conference, Held as Part of the Services Conference Federation, SCF 2021, Virtual Event, December 2021
Component-Based Software Engineering: Proc./12th International Symposium, CBSE 2009. East Stroudsburg, PA, USA, June 2009
Computational Science and Its Applications - ICCSA 2014, Part I: Proc./14th International Conference, Guimaraes, Portugal, June 2014
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020
Culture and Computing: Proc./8th International Conference, C&C 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 2020
Cyber Physical Systems: Model-Based Design: Revised Selected Papers/9th International Workshop, CyPhy 2019 and 15th International Workshop, WESE 2019, Ney York City,NY,USA, October 2019
Deductive Software Verification: Future Perspectives: Reflections on the Occasion of 20 Years of KeY
Dependable Software Engineering: Proc./6th International Symposium, SETTA 2020, Guangzhou, China, November 2020
Design, User Experience, and Usability: Interaction Design, Part I: Proc./9th International Conference, DUXU 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 2020
Design, User Experience, and Usability, Part II: Design and Diversity, Well-being, and Social Development: Proc./10 International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference. HCII 2021, Virtual Event, July 2021
Design, User Experience, and Usability, Part III: Design for Contemporary Technological Environments: Proc./10 International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference. HCII 2021, Virtual Event, July 2021
Design, User Experience, and Usability, Part I: UX Research and Design: Proc./10 International Conference, DUXU 2021, Held as Part of the 23rd HCI International Conference. HCII 2021, Virtual Event, July 2021
Distributed, Ambient and Pervasive Interactions: Proc./8th International Conference, DAPI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 2020
Electronic Government: Proc./20th IFIP WG 8.5 International Conference, EGOV 2021, Granada, Spain, September 2021
End-User Development: Proc./8th International Symposium, IS-EUD 2021, Virtual Event, July 2021
Engineering Artificial Intelligent Systems: A Systems Engineering Approach to Realizing Synergistic Capabilities
Euro-Par 2019: Parallel Processing Workshops: Revised Selected Papers/Euro-Par 2019 International Workshops, Göttingen, Germany, August 2019
Formal Aspects of Component Software: Proc./14th International Conference, FACS 2017, Braga, Portugal, October 2017
Formal Aspects of Component Software: Proc./17th International Conference, FACS 2021, Virtual Event, October 2021
Formal Aspects of Component Software: Revised Selected Papers/10th International Symposium, FACS 2013, Nanchang, China, October 2013
Formal Aspects of Component Software: Revised Selected Papers/9th International Symposium, FACS 2012, Mountain View,CA,USA, September 2012
Formal Methods and Software Engineering: Proc./21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 2019
Formal Methods Teaching: Proc./4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 2021
Formal Techniques for Distributed Objects, Components, and Systems: Proc./40th IFIP WG 6/1 International Conference, FORTE 202, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 2020
Frontiers in Software Engineering Education: Invited Papers/1st International Workshop, FISEE 2019, Villebrumier, France, November 2019
Frontiers of Combining Systems: Proc./13th International Symposium, FroCoS 2021, Birmingham, UK, September 2021
Fudamental Approaches to Software Engineering: Proc./22nd International Conference, FASE 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 2019
Fundamental Approaches to Software Engineering: Proc./20th International Conference, FASE 2017 Held as Part of European Join Conference ETAPS 2017, Uppsala, Sweden, April 2017
Fundamental Approaches to Software Engineering: Proc./23rd International Conference, FASE 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 2020
Fundamentals of Software Engineering: Revised Selected Papers/7th International Conference, FSEN 2017, Tehran, Iran, April 2017
Fundamentals of Software Engineering: Revised Selected Papers/9th International Conference, FSEN 2021, Virtual Event, May, 2021
Graph Transformations and Model-Driven Engineering: Essays Dedicated to Manfred Nagl on the Occasion of His 65th Birthday
HCI International 2020 - Late Breaking Papers: Digital Human Modeling and Ergonomics, Mobility and Intelligent Environments: Proc./22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 2020
HCI International 2021 - Late Breaking Papers: Cognition, Inclusion, Learning, and Culture: Proc./23rd International Conference, HCII 2021, Virtual Event, July 2021
Human-Centered Software Engineering: Proc./8th IFIP WG 13.2 International Working Conference, HCSE 2020, Eindhoven, The Netherlands, November 2020
Human-Centered Software Engineering:Revised Selected Papers/7th IFIP WG 13.2 International Working Conference, HCSE 2018, Sophia Antipolis, France, September 2018
Internet of Things, Smart Spaces, and Next Generation Networks and Systems, Part I: Proc./20th International Conference, NEW2AN 2020 and 13th Conference, ruSMART 2020, St.Petersburg, Russia, August 2020
Leveraging Applications of Formal Methods, Verification and Validation: Proc./10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 2021