語系
Abdulla, Parosh Aziz.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Networked systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers /
by:
NETYS (Conference) (2016 :); Abdulla, Parosh Aziz.; Delporte-Gallet, Carole.; SpringerLink (Online service)
(書目-電子資源)
Tools and algorithms for the construction and analysis of systems = 17th International Conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 : proceedings /
by:
Abdulla, Parosh Aziz.; Leino, K. Rustan M.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
System design
Programming Languages, Compilers, Interpreters.
Wireless communication systems
Computer Science.
Computer Communication Networks.
Computer networks
Cloud computing
System analysis
Mobile computing