>
Fa
  |  
Ar
  |  
En
  
journal of universal computer science
  
سال:2006 - دوره:12 - شماره:12
  
 
A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic
- صفحه:1741-1782
  
 
Managing Editor’s Column
  
 
Modeling Inheritance as Coercion in the Kenzo System
- صفحه:1701-1730
  
 
Persian/Arabic Baffletext CAPTCHA
- صفحه:1783-1796
  
 
Restricting the View and Connecting the Dots Dangers of a Web Search Engine Monopoly
- صفحه:1731-1740
Copyright 2023
Islamic World Science Citation Center
All Rights Reserved