Languages
Abdulla, Parosh Aziz.
Overview
Works: | 17 works in 2 publications in 1 languages |
---|
Titles
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)
(Language materials, printed)
, [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.
(Language materials, printed)
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.
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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