Megjelenítés: 1 - 20 / 28 - kulcsszavak: '"szoftverfejlesztés"', keresési idő: 0.04mp Találatok szűrése
1
Tools and Methods of Program Analysis : 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers
Megjelenés: 2018
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
5G for Future Wireless Networks : First International Conference, 5GWN 2017, Beijing, China, April 21-23, 2017, Proceedings
Megjelenés: 2018
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
New Trends in Model and Data Engineering : MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24–26, 2018, Proceedings
Megjelenés: 2018
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Formal Methods for Industrial Critical Systems : 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Ad Hoc Networks : 9th International Conference, AdHocNets 2017, Niagara Falls, ON, Canada, September 28–29, 2017, Proceedings
Megjelenés: 2018
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Communications and Networking : 11th EAI international Conference, ChinaCom 2016 Chongqing, China, September 24-26, 2016, Proceedings, Part II
Megjelenés: 2018
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Communications and Networking : 11th EAI International Conference, ChinaCom 2016, Chongqing, China, September 24-26, 2016, Proceedings, Part I
Megjelenés: 2018
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Model Checking Software : 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Intelligent Computing, Networked Control, and Their Engineering Applications : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part II
Megjelenés: 2017
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Model-Driven Engineering and Software Development : 4th International Conference, MODELSWARD 2016, Rome, Italy, February 19-21, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...modellvezérelt szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
Fundamental Approaches to Software Engineering : 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 6–11, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
Frontiers of Combining Systems : 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Advanced Computational Methods in Energy, Power, Electric Vehicles, and Their Integration : International Conference on Life System Modeling and Simulation, LSMS 2017 and International Conference on Intelligent Computing for Sustainable Energy and Environment, ICSEE 2017, Nanjing, China, September 22-24, 2017, Proceedings, Part III
Megjelenés: 2017
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Enterprise and Organizational Modeling and Simulation : 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers
Megjelenés: 2018
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Megjelenés: 2017
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
Megjelenés: 2019
Tárgyszavak: “...verifikáció -- szoftverfejlesztés -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
Megjelenés: 2017
Tárgyszavak: “...szoftverfejlesztés -- konferencia...”
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