81. AutoCAD 2009 LT 2009
پدیدآورنده: Werner Sommer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: AutoCAD 2009,AutoCAD LT 2009
82. AutoCAD 2011 und LT 2011
پدیدآورنده: Werner Sommer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: AutoCAD 2011,AutoCAD LT 2011
83. Automata, languages and programming :
پدیدآورنده: ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Lund <1993>,Theoretische Informatik.
84. Automata, languages and programming : 2nd colloquium, University of Saarbrucken July 29 - August 2, 1974
پدیدآورنده: Edited by Jacqes Loeckx
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
C57
1974
85. Automata theory and formal languages : 2nd GI Conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf GI
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
33
86. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf of GI
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
A924
87. Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975
پدیدآورنده: edited by H. Brakhage on behalf of GI
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
33
88. Automatentheorie.
پدیدآورنده: Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
89. Automatische Komplexitätsanalyse funktionaler Programme
پدیدآورنده: Wolf Zimmermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Functional programming (Computer science),System analysis.,Zeitkomplexität.
رده :
QA76
.
62
W654
1990
90. Automatische Schreibfehlerkorrektur in Texten :
پدیدآورنده: herausgegeben von Rudolf-Josef Fischer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Statistics.
91. Automatische Synthese rekursiver Programme als Beweisverfahren
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer science.,Programmsynthese
92. Autonome Mobile Systeme 1994 :
پدیدآورنده: herausgegeben von Paul Levi, Thomas Bräunl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.
93. Autonome Mobile Systeme 1999 :
پدیدآورنده: herausgegeben von Günther Schmidt, Uwe Hanebeck, Franz Freyberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
94. Autonome Mobile Systeme 2003 :
پدیدآورنده: Rüdiger Dillmann [und weitere] (Hrsg.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Autonomes System,Kongress,Mobiler Roboter
95. Autonome Mobile Systeme 1995 11. Fachgespräch Karlsruhe, 30. November-1. Dezember 1995
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer science.
96. Autonome Mobile Systeme 1996 12. Fachgespräch München, 14.-15. Oktober 1996
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer science.
97. Autonome mobile Systeme
پدیدآورنده: P. Levi, T. Bräunl, N. Oswald (Hrsg.). 13. Fachgespräch, Stuttgart, 6.-7. Oktober 1997.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
C65
P548
1997
98. Autonome mobile Systeme
پدیدآورنده: P. Levi, T. Bräunl, N. Oswald (Hrsg.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
99. Autonome mobile Systeme 2001 :
پدیدآورنده: Paul Levi, Michael Schanz (Hrsg.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Autonomer Roboter.,Mobile robots -- Congresses.,Mobile robots.
100. Autonome mobile Systeme 1998 :
پدیدآورنده: Heinz Wörn, Rüdiger Dillmann, Dominik Henrich (Hrsg.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
