Egyéb keresési lehetőségek:
"informatika" » "information" (Keresés kiterjesztése)
Megjelenítés: 1 - 20 / 40 - kulcsszavak: '"informatika"', keresési idő: 0.05mp Találatok szűrése
1
Software Engineering in the Era of Cloud Computing
Megjelenés: 2020
Tárgyszavak: “...dolgok internete -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
2
Automotive Systems and Software Engineering : State of the Art and Future Trends
Megjelenés: 2019
Tárgyszavak: “...dolgok internete -- informatika...”
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 I
Megjelenés: 2020
Tárgyszavak: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
4
Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...természetes nyelvek feldolgozása -- mesterséges inteligencia -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
5
Analysis and Design of Next-Generation Software Architectures : 5G, IoT, Blockchain, and Quantum Computing
Szerző: Langer, Arthur M.
Megjelenés: 2020
Tárgyszavak: “...dolgok internete -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
6
Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems
Megjelenés: 2020
Tárgyszavak: “...dolgok internete -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
7
Critical Infrastructure Protection XIII : 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers
Megjelenés: 2019
Tárgyszavak: “...adatvédelem -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
8
Applied Reconfigurable Computing. Architectures, Tools, and Applications : 16th International Symposium, ARC 2020, Toledo, Spain, April 1–3, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
9
Security and Quality in Cyber-Physical Systems Engineering : With Forewords by Robert M. Lee and Tom Gilb
Megjelenés: 2019
Tárgyszavak: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
10
System Level Design from HW/SW to Memory for Embedded Systems : 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3–6, 2015, Proceedings
Megjelenés: 2017
Tárgyszavak: “...beágyazott rendszerek -- informatika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
11
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: “...számítási felhő -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
12
Cyber Physical Systems. Design, Modeling, and Evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Megjelenés: 2019
Tárgyszavak: “...beágyazott rendszerek -- informatika -- konferencia...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
13
Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Megjelenés: 2019
Tárgyszavak: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
14
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II
Megjelenés: 2020
Tárgyszavak: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
15
NASA Formal Methods : 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
16
Fundamental Approaches to Software Engineering : 23rd International Conference, FASE 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: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
17
Rigorous State-Based Methods : 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
18
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: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
19
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: “...beágyazott rendszerek -- informatika...”
Ugrás a forráshoz
könyv
Mentés a listára
Mentés helye:
20
Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings
Megjelenés: 2020
Tárgyszavak: “...beágyazott rendszerek -- informatika...”
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