1. Formal deseription techniques : Proceedings of the First International Conference on formal Description Techniques Stirling, Scotland, 6-9 September, 1988
پدیدآورنده : edited by Kenneth, J. Turner
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Formal languages
رده :
QA
76
.
6
.
I545
1988
2. Service provision :
پدیدآورنده : edited by Kenneth J. Turner, Evan H. Magill, David J. Marples.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks.,Telecommunication systems.,Réseaux d'ordinateurs.,Télécommunications, Systèmes de.,Computer networks.,TECHNOLOGY & ENGINEERING-- Telecommunications.,Telecommunication systems.
رده :
TK5105
.
5
.
S47
2004eb
3. Urban planning and management
پدیدآورنده : edited by Kenneth G. Willis, R. Kerry Turner, and Ian J. Bateman,Series
کتابخانه: (طهران)
موضوع : City planning- Environmental aspects,Municipal services- Environmental aspects,Sustainable development
رده :
HT
.
U715
166
2001
4. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
موضوع : Electronic digital computers - Programming,Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
6. Using formal description techniques: an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computer programming,، Formal languages
رده :
QA
76
.
6
.
U848
1993
