Wies, Thomas.
概要
| 作品: | 4 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Verified softwaretheories, tools, and experiments : 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017 : revised selected papers /
by:
(1998 :); Paskevich, Andrei.; SpringerLink (Online service); Wies, Thomas.
(書目-電子資源)
Verification, model checking, and abstract interpretation23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022 : proceedings /
by:
(1998 :); Finkbeiner, Bernd.; SpringerLink (Online service); Wies, Thomas.
(書目-電子資源)
Programming languages and systems32nd European Symposium on programming, Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings /
by:
(1998 :); SpringerLink (Online service); Wies, Thomas.
(書目-電子資源)
Networked systems11th International Conference, NETYS 2023, Benguerir, Morocco, May 22-24, 2023 : proceedings /
by:
(1998 :); Mohaisen, David.; SpringerLink (Online service); Wies, Thomas.
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Software engineering
Mathematical Logic and Foundations.
Compilers (Computer programs)
Computer software
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer programming
Programming languages (Electronic computers)
Wireless communication systems
The Computing Profession.
Artificial Intelligence.
Computer Science.
Simulation and Modeling.
Computer Communication Networks.
Computer networks
Cloud computing
Compilers and Interpreters.
Mobile computing