語系
Abdulla, Parosh Aziz.
概要
作品: | 17 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Networked Systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers /
by:
Abdulla, Parosh Aziz.; Delporte-Gallet, Carole.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Abdulla, Parosh Aziz.; SpringerLink (Online service); Potapov, Igor.
(書目-語言資料,印刷品)
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:
SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :); Abdulla, Parosh Aziz.; Leino, K. Rustan M.
(書目-語言資料,印刷品)
Networked systems = 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers /
by:
SpringerLink (Online service); Abdulla, Parosh Aziz.; Delporte-Gallet, Carole.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer Communication Networks.
Software engineering.
Computer networks
Information Systems Applications (incl. Internet).
Programming Techniques.
Computer Science.
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Algorithms.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
System design
Application software.
Decidability (Mathematical logic)
Cloud computing
Computer systems
Mobile computing
Programming Languages, Compilers, Interpreters.
System analysis
Computation by Abstract Devices.
Wireless communication systems