Abdulla, Parosh Aziz.
概要
| 作品: | 19 作品在 3 項出版品 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 :)
(書目-語言資料,印刷品)
Foundations of software science and computation structures = 28th International Conference, FoSSaCS 2025, held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025 : proceedings /
by:
Abdulla, Parosh Aziz.; Workshop on the Preservation of Stability under Discretization ((2001 :); Kesner, Delia.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Data Structures and Information Theory.
Computer System Implementation.
Algorithm Analysis and Problem Complexity.
Computer logic.
Computer Communication Networks.
Software engineering.
Theory of Computation.
Computer networks
Information Systems Applications (incl. Internet).
Mathematics of Computing.
Programming Techniques.
Computer Science.
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Algorithms.
Mathematical Logic and Foundations.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
System design
Application software.
Decidability (Mathematical logic)
Cloud computing
Computer systems
Mobile computing
Software engineering
Programming Languages, Compilers, Interpreters.
System analysis
Computation by Abstract Devices.
Wireless communication systems
Computer software
Software Engineering.