Yazar
Parosh Aziz Abdulla
4 cilt bulundu.
Cilt sonuçları
Reachability Problems
Parosh Aziz Abdulla, Igor Potapov · Springer London, Limited
223 sayfa · 2010
Computer simulation / Computers / Decidability (mathematical logic) / Configurations / System theory
Tools and Algorithms for the Construction and Analysis of Systems
Parosh Aziz Abdulla · Springer Berlin Heidelberg
Sayfa sayısı yok · 2011
Logic design / Computer networks / Software engineering / Computer science / Artificial intelligence
Networked Systems
Parosh Aziz Abdulla, Carole Delporte-Gallet · Springer
406 sayfa · 2016
Computer networks / Wireless communication systems / Mobile computing
Decision problems in systolic circuit verification
Parosh Aziz Abdulla · Dept. of Computer Systems, Uppsala University
191 sayfa · 1990
Systolic array circuits