Megjelenítés: 1 - 20 / 40 - kulcsszavak: '"Software engineering."', keresési idő: 0.05mp Találatok szűrése
1
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Verification, Model Checking, and Abstract Interpretation : 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Unconventional Computation and Natural Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Testing Software and Systems : 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
Reversible Computation : 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
Computer Safety, Reliability, and Security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Computer Safety, Reliability, and Security : SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Computer Algebra in Scientific Computing : 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...Software engineering....”
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