321. Attribute grammars and their applications : International Conference WAGA, Paris, France, September 19-21, 1990 : Proceedings
پدیدآورنده: P. Deransart, M. Jourdan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Syntax -- Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
461
322. Attribute grammars and their applications : international conference WAGA, Paris, France, September 19-21, 1990 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Syntax-- Congresses
رده :
QA
76
.
7
.
A78
1990
323. Au Village de France La Vie Traditionnelle des Paysans
پدیدآورنده: /P.L.Menon & R.Lecotte
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: داستان‌های فرانسه, -- قرن ۲۰م.
رده :
PQ
۲۶۳۴
/
م
۹
و
۹ ۱۳۲۴
324. Au pays de France (troisième année de français)
پدیدآورنده: /par Mme. Camerlynck & G.-H. Camerlynck .
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: زبان فرانسه, -- کتاب‌های قرائت,فرانسه, -- سیر و سیاحت
رده :
PC
۲۱۲۷
/
ک
۲
پ
۹ ۱۳۰۴
325. Au service de la France
پدیدآورنده: par Raymond Poincare
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Poincare, Raymond, 1860-1934.,France --Foreign relations --1870-1940,Europe --Politics and government --1871-1918
326. Au service de la France--neuf annees de souvenirs ...
پدیدآورنده: Poincare, Raymond 0681-4391.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
DC
1
.
P6
A8
1931
327. Au service de la France--neuf annees de souvenirs
پدیدآورنده: Par Raymond Poincare
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع: Poincare, Raymond, 1860-1934,France --Foreign relations --1870-1940,Europe --Politics and government --1871-1918
328. Au service de la France : neuf années de souvenirs. IV, L'union sacrée, 1914
پدیدآورنده: /Raymond Poincaré
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
329. Australia and France's mutual empowerment.
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: FranceAustraliaDiplomatic relations
330. Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers
پدیدآورنده: Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory
رده :
QA
76
.
L28
Vol
.
1660
331. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده: edited by Laurent kott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
332. Automata, languages and programming : 13th International Colloquium ,Rennes, France, July 15-19, 1986 : Proceedings
پدیدآورنده: edited by Laurent Kott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
226
333. Automata networks : LITP Spring School on Theoretical Computer Science, Argele-Village, France, May 12-16, 1986 : Proceedings
پدیدآورنده: C. Choffrut, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Cellular automata,Congresses ، Computer networks
رده :
QA
76
.
L28
Vol
.
316
334. Automata networks: LITP Spring School on theoretical computer science, Argeles-Village, France, May 12-16, 1986: Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Cellular automata,Congresses ، Computer networks
رده :
QA
267
.
5
.
C45
.
L3
1986
335. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
پدیدآورنده: Alan Bundy )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
814
336. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
پدیدآورنده: Dongming Wang )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1360
337. Automatic control in space 1985: Proceedings of the tenth IFAC symposium, Toulouse France, 24-28 june 1985
پدیدآورنده: edited by J.P.chretien
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Control systems - Congresses ، Space vehicles,Congresses ، Automatic control
رده :
TL
3280
.
I33
1985
338. Automatic control in space 1985 : proceedings of the tenth IFAC Symposium, Toulouse, France, 24- 28 June 1985
پدیدآورنده: IFAC Symposium )01th : 5891 : Toulouse, France(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Space vehicles- Control systems- Congresses,، Automatic control- Congresses
رده :
TL
3280
.
I33
1985
339. Automatic control of food and biological processes: Proceedings of the ACOFOP III Symposium, Paris, France, 25-26 October,1994
پدیدآورنده: / edited by J.J. Bimbenet, E. Dumoulin and G. Trystram
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Food industry and trade- Automation- Congresses,Automatic control- Congresses
رده :
TP372
.
8
.
I56
1994
340. Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer network protocols-- Congresses
رده :
TK
5105
.
5
.
A97
1990
