語系
Podelski, Andreas.
概要
作品: | 0 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Tools and algorithms for the construction and analysis of systems10th 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:
(1998 :); Jensen, K. (1950-); Podelski, Andreas.; SpringerLink (Online service)
(書目-電子資源)
Verified softwaretheories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(1998 :); Joshi, Rajeev.; Muller, Peter.; Podelski, Andreas.; SpringerLink (Online service)
(書目-電子資源)
Static analysis25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018 : proceedings /
by:
(1998 :); Podelski, Andreas.; SpringerLink (Online service)
(書目-電子資源)
Networked Systems6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018 : revised selected papers /
by:
(1998 :); Podelski, Andreas.; SpringerLink (Online service); Taiani, Francois.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software engineering
Input/Output and Data Communications.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Computer software
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Control Structures and Microprogramming.
Programming Languages, Compilers, Interpreters.
Computer programming
Wireless communication systems
Logic Design.
The Computing Profession.
Computer Science.
System Performance and Evaluation.
Computer networks
Cloud computing
Computer Communication Networks.
Computer System Implementation.
System design.
Mobile computing