21. A synopsis of opthalmology. 4th ed.
پدیدآورنده: John Lionel Cyril Martin DOYLE
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
رده :
RE46
.
J646
1971
22. ACCESS Magazine Spring 1999
پدیدآورنده: Cervero, Robert; Cohn, Theodore E.; Gomez-Ibanez, Jose A.; Hill, Mary; Landis, John; Levine, Jonathan; Taylor, Brian; Wachs, Martin; Editor(s): Webber, Melvin M.; Lave, Charles; Curry, Melanie; Nisbet, Briggs; Saephanh, Chow
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع:
23. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science),Lambda calculus,Abstract data types (Computer science),Electronic books. , local
رده :
E-BOOK
24. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Curry-Howard isomorphism,Proof theory,Logic, Symbolic and mathematical,Functional programming (Computer science,Lambda calculus,Abstract data types (Computer science
رده :
E-BOOK
25. Adapting proofs-as-programs
پدیدآورنده: / Iman Hafiz Poernomo, John Newsome Crossley, Martin Wirsing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Curry-Howard isomorphism.,Proof theory.,Logic, Symbolic and mathematical.,Functional programming (Computer science),Lambda calculus.,Abstract data types (Computer science)
رده :
QA
,
9
.
54
,.
P64
,
2005
26. Adlai Stevenson and the world: The life of Adlai E. Stevenson
پدیدآورنده: Martin, John Bartlow 5191-7891
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
E
740
.
M3
A3
1977
27. Adlai Stevenson of Illinois : the life of Adlai E. Stevenson
پدیدآورنده: Martin, John Bartlow 1915-1987.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع:
رده :
E
740
.
M3
A3
1976
28. Adlai Stevenson of Illinois: the life of Adlai E. Stevenson
پدیدآورنده: John Bartlow Martin
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع: Stevenson, Adlai E. (Adlai Ewing), 1900-1965
29. Advances in morphology/
پدیدآورنده: edited by Wolfgang U. Dressler, Martin Prinzhorn, John R. Rennison
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Grammar, Comparative and general-- Morphology
رده :
P241
.
A37
1997
30. Agricultural price distortions, inequality, and poverty /
پدیدآورنده: Kym Anderson, John Cockburn, and Will Martin, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Agricultural prices-- Government policy.,Agricultural wages-- Developing countries.,Farm income-- Developing countries.,Poverty.,Agricultural prices-- Government policy.,Agricultural wages.,BUSINESS & ECONOMICS-- Economics-- Macroeconomics.,Farm income.,POLITICAL SCIENCE-- Economic Conditions.,Poverty.,Developing countries., 7
رده :
HD1447
.
A37
2010
31. Alan M. Turing /
پدیدآورنده: Sara Turing ; with a foreword by Martin Davis and an afterword by John Turing
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Turing, Alan,1912-1954,Mathematicians-- Great Britain, Biography
رده :
QA29
.
T8
T8
2012
32. Algebra
پدیدآورنده: / John D. Baley, Martin Holstege,Baley
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Algebra
رده :
QA
152
.
2
.
B34
1990
33. Algebra: A first course
پدیدآورنده: John D. Baley, Martin Holstege
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Algebra
رده :
QA
،
152
.
2
،.
B34
،
1990
34. Algeria
پدیدآورنده: / Martin Evans , John Phillips.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
رده :
DT295
.
5
.
E92
2007
35. Alternative approaches in multilateral decision making
پدیدآورنده: /John Borrie and Vanessa Martin Randin, editors.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع:
36. Alternative approaches in multilateral decision making
پدیدآورنده: / John Borrie and Vanessa Martin Randin, editors
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Disarmament.,Arms control.
رده :
JZ
,
5625
,.
A48
,
2005
37. Alternative approaches in multilateral decision making :
پدیدآورنده: John Borrie and Vanessa Martin Randin, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Arms control.,Disarmament.,Armements-- Contrôle.,Désarmement.,Arms control.,Control de armas.,Desarme.,Disarmament.,International Relations.,Law, Politics & Government.,Onderhandelingen.,Ontwapening.,POLITICAL SCIENCE-- General.,Verdragen.,Wapenbeheersing.
رده :
JZ5625
.
A48
2005eb
38. An evolutionary paradigm for international law :
پدیدآورنده: John Martin Gillroy
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Hume, David,1711-1776,International law-- Philosophy,Recognition (International law),Sovereignty
رده :
KZ4041
.
G55
2013
39. An evolutionary paradigm for international law : philosophical method, David_x000D_Hume, and the essence of sovereignty
پدیدآورنده: / John Martin Gillroy
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Sovereignty,International law—Philosophy,Hume, David, 1711–1776
رده :
KZ4041
.
G55
2013
40. Analysis and Continuum Mechanics :
پدیدآورنده: by Stuart S. Antman, Haïm Brezis, Bernard D. Coleman, Martin Feinberg, John A. Nohel, William P. Ziemer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Continuum Mechanics and Mechanics of Materials.,Engineering.,Mathematical Methods in Physics.
رده :
QA300
.
5
B978
1989
