Вы здесь

Главная

дизайн по

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

Ambient Intelligence: Proc./15th European Conference, Aml 2019, Rome, Italy, November 2019
Applications and Theory of Petri Nets and Concurrency: Proc./42nd International Conference, PETRI NETS 2021, Virtual Event, June 2021
Architecture of Computing Systems - ARCS 2020: Proc./33rd International Conference, Aachen, Germany, May 2020
Artificial Intelligence in HCI: Proc./1st International Conference, AI-HCI 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 2020
Automated Deduction - CADE 28: Proc./28th International Conference on Automated Deduction, Virtual Event, July 2021
Automated Technology for Verification and Analysis: Proc./18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 2020
Computer Aided Verification, Part I: Proc./32nd International Conference, CAV 2020. Los Angeles,CA,USA, July 2020
Computer Safety, Reliability, and Security: Proc./40th International Conference, SAFECOMP 2021 , York, UK, September 2021
Conceptual Modeling: Proc./39th International Conference, ER 2020, Vienna, Austria, November 2020
Constructive Side-Channel Analysis and Secure Design: Revised Selected Papers/11th International Workshop, COSADE 2020, Lugano, Switzerland, April 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
Current Trends in Web Engineering: Revised Selected Papers/ICWE 2020 International Workshops KDWEB, Sem4Tra, and WoT4H, Helsinki, Finland, June 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
Database and Expert Systems Applications, Part I: Proc./31st International Conference, DEXA 2020, Bratislava, Czech Republic, September 2020
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
Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021
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 Trustworthy Software Systems: Tutorial Lectures/3rd International School, SETSS 2017, Chongqing, China, April 2017
Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Formal Aspects of Component Software: Proc./17th International Conference, FACS 2021, Virtual Event, October 2021
Formal Methods and Software Engineering: Proc./21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 2019
Formal Methods for Industrial Critical Systems: Proc./25th International Conference, FMICS 2020, Vienna, Austria, September 2020
Formal Methods: Foundations and Applications: Proc./23rd International Symposium, SBMF 2020, Ouro Preto, Brazil, November 2020
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
Formal Methods Teaching: Proc./4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 2021
Formal Modeling and Analysis of Timed Systems: Proc./18th International Conference, FORMATS 2020, Vienna, Austria, September 2020
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
Foundations of Information and Knowledge Systems: Proc./11th International Symposium, FoIKS 202, Dortmund, Germany, February 2020
From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Frontiers of Combining Systems: Proc./13th International Symposium, FroCoS 2021, Birmingham, UK, September 2021
Fundamentals of Software Engineering: Revised Selected Papers/8th International Conference, FSEN 2019, Tehran, Iran, May 2019
Fundamentals of Software Engineering: Revised Selected Papers/9th International Conference, FSEN 2021, Virtual Event, May, 2021
HCI International 2020 - Late Breaking Papers: Cognition, Learning and Games: Proc./22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 2020
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 2020 - Late Breaking Papers: Universal Access and Inclusive Design: 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
Intelligent Computer Mathematics: Proc./13th International Conference, CICM 2020, Bertinoro, Italy, July 2020
Intelligent Computer Mathematics: Proc./14th International Conference, CICM 2021, Timisoara, Romania, July 2021
Internet of Things - ICIOT 2020: Proc./5th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu,HI,USA, September 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
Logic-Based Program Synthesis and Transformation: Proc./30th International Symposium, LOPSTR 2020, Bologna, Italy, September 2020
Logoc-Based Program Synthesis and Transformation: Revised Selected Papers/29th International Symposium, LOPSTR 2019, Porto, Portugal, October 2019
Machine Learning for Dynamic Software Analysis: Potentials and Limits: Revised Papers/ International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 2016