Megjelenítés: 61 - 80 / 130 - kulcsszavak: '"Programming and Software Engineering"', keresési idő: 0.12mp Találatok szűrése
61
Formal Methods: Foundations and Applications : 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12475....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
62
Integrated Formal Methods : 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12546....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
63
Analytical and Stochastic Modelling Techniques and Applications : 25th International Conference, ASMTA 2019, Moscow, Russia, October 21–25, 2019, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12023....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
64
Requirements Engineering: Foundation for Software Quality : 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12045....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
65
Formal Techniques for Distributed Objects, Components, and Systems : 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings
Megjelenés: 2019
“...Programming and Software Engineering ; 11535...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
66
Dependable Software Engineering. Theories, Tools, and Applications : 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12153....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
67
Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday
Megjelenés: 2020
“...Programming and Software Engineering ; 12180....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
68
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Megjelenés: 2019
“...Programming and Software Engineering ; 11460...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
69
Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
Megjelenés: 2019
“...Programming and Software Engineering ; 11781...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
70
Mathematics of Program Construction : 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
Megjelenés: 2019
“...Programming and Software Engineering ; 11825...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
71
Search-Based Software Engineering : 12th International Symposium, SSBSE 2020, Bari, Italy, October 7–8, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12420....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
72
Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
Megjelenés: 2020
“...Programming and Software Engineering ; 12154....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
73
Performance Evaluation and Benchmarking for the Era of Cloud(s) : 11th TPC Technology Conference, TPCTC 2019, Los Angeles, CA, USA, August 26, 2019, Revised Selected Papers
Megjelenés: 2020
“...Programming and Software Engineering ; 12257....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
74
Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12235....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
75
Software Engineering and Formal Methods : SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Megjelenés: 2020
“...Programming and Software Engineering ; 12226....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
76
Web Services – ICWS 2020 : 27th International Conference, Held as Part of the Services Conference Federation, SCF 2020, Honolulu, HI, USA, September 18–20, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12406....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
77
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12229....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
78
Computer Safety, Reliability, and Security : 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12234....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
79
Rules and Reasoning : 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12173....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
80
Principles and Practice of Constraint Programming : 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings
Megjelenés: 2020
“...Programming and Software Engineering ; 12333....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
Keresőeszközök: RSS-hírfolyam — Keresés küldése emailben — Keresés mentése