Languages
Abdulla, Parosh Aziz.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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