Abdulla, Parosh Aziz.
概要
| 作品: | 3 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tools and algorithms for the construction and analysis of systems17th 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:
(1998 :); Abdulla, Parosh Aziz.; Leino, K. Rustan M.; SpringerLink (Online service)
(書目-電子資源)
Foundations of software science and computation structures28th 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:
(1998 :); Abdulla, Parosh Aziz.; Kesner, Delia.; SpringerLink (Online service)
(書目-電子資源)
Networked systems4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016 : revised selected papers /
by:
(1998 :); Abdulla, Parosh Aziz.; Delporte-Gallet, Carole.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Software engineering
Theory of Computation.
Mathematical Logic and Foundations.
Data Structures and Information Theory.
Logics and Meanings of Programs.
Mathematics of Computing.
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computer software
System design
Programming Languages, Compilers, Interpreters.
Wireless communication systems
Computer Science.
Computer Communication Networks.
Computer networks
Cloud computing
Computer System Implementation.
System analysis
Mobile computing