Megjelenítés: 1 - 18 / 18 - kulcsszavak: '"számítástechnika"', keresési idő: 0.06mp Találatok szűrése
1
Euro-Par 2020: Parallel Processing : 26th International Conference on Parallel and Distributed Computing, Warsaw, Poland, August 24–28, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...felhő alapú számítástechnika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...adatszerkezetek -- számítástechnika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
3
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Architecture of Computing Systems – ARCS 2020 : 33rd International Conference, Aachen, Germany, May 25–28, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Formal Techniques for Distributed Objects, Components, and Systems : 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
Logic-Based Program Synthesis and Transformation : 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Job Scheduling Strategies for Parallel Processing : 23rd International Workshop, JSSPP 2020, New Orleans, LA, USA, May 22, 2020, Revised Selected Papers
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
Supercomputing Frontiers : 6th Asian Conference, SCFA 2020, Singapore, February 24–27, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
Verified Software. Theories, Tools, and Experiments : 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
Programming Languages and Systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Applied Reconfigurable Computing. Architectures, Tools, and Applications : 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Information Security Theory and Practice : 13th IFIP WG 11.2 International Conference, WISTP 2019, Paris, France, December 11–12, 2019, Proceedings
Megjelenés: 2020
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
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
Tárgyszavak: “...Elosztott rendszerek (számítástechnika)...”
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