語系
Podelski, Andreas.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and algorithms for the construction and analysis of systems = 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
by:
Jensen, K. (1950-); Podelski, Andreas.; NetLibrary, Inc.; TACAS 2004 ((2004 :)
(書目-語言資料,印刷品)
Networked Systems = 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /
by:
Podelski, Andreas.; SpringerLink (Online service); NETYS (Conference) (2018 :); Taiani, Francois.
(書目-電子資源)
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
Joshi, Rajeev.; Muller, Peter.; Podelski, Andreas.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
by:
Jensen, K. (1950-); Podelski, Andreas.; SpringerLink (Online service); TACAS 2004 ((2004 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Input/Output and Data Communications.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Wireless communication systems
Logic Design.
Computer software- Development
Computer software- Verification
Computer Science.
Computer networks
Cloud computing
Computer Communication Networks.
Computer System Implementation.
System design.
Mobile computing