201. Tools and algorithms for the construction and analysis of systems :
المؤلف: Tiziana Margaria, Bernhard Steffen, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software -- Development -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,System design -- Congresses.
202. Tools for high performance computing 2017 :
المؤلف: editors, Christoph Niethammer, Michael M. Resch, Wolfgang E. Nagel, Holger Brunst and Hartmut Mix.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: High performance computing, Congresses.,High performance computing.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.
رده :
QA76
.
88
203. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro Internationale Mathematico Estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987
المؤلف: M. Giaguinta )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Calculus of variations
رده :
QA
3
.
L28
Vol
.
1365
204. Topics in calculus of variations: lectures given at the 2nd 1987 session of the Centro Internazionale Matematico Estivo )C.I.M.E.(held at Montecatini Terme, Italy 20-28, 1987
المؤلف: M. Giaquinta )ed.(
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Calculus of variations
رده :
QA
3
.
L28
no
.
1365
205. Topics in calculus of variations : lectures given at the 2nd 1987 session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, July 20-28, 1987
المؤلف: M. Giaquinta )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Calculus of variations
رده :
QA
315
.
T6
1987
206. Topological algebras and their applications :
المؤلف: edited by Alexander A. Katz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Topological algebras, Congresses.,MATHEMATICS-- Algebra-- Intermediate.,Topological algebras.
رده :
QA326
.
I58
2014
207. Toward a lean and lively calculus
المؤلف: Conference/Workshop to Develop Alternate Curriculum and Teaching Methods for Calculus at the College Level, Tulane University, January 2-6, 1986 ; editor, Ronald G. Douglas,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Calculus - Study and teaching )Higher( - Congresses
رده :
QA
.
C66
303
1986
208. Toward a lean & lively calculus
المؤلف:
المکتبة: (طهران)
موضوع: CALCULUS-STUDY & TEACHING-CONGRESSES
رده :
QA
303
.
C66
1986
209. Transactions on computational systems biology XIII /
المؤلف: Corrado Priami [and others] (Eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Bioinformatics, Congresses,Systems biology, Congresses,Systems biology
رده :
QH324
.
2
.
T73
2011
210. Trends and applications of mathematics to mechanics /
المؤلف: edited by Elisabetta Rocca, Ulisse Stefanelli, Lev Truskinovsky, Augusto Visintin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Engineering mathematics, Congresses.,Mechanics, Applied-- Mathematics, Congresses.,Building materials.,Calculus of variations.,Functional analysis.,Mathematical models.,Mathematical physics.,Mathematics.,Probabilities.,SCIENCE-- Mechanics-- General.,SCIENCE-- Mechanics-- Solids.
رده :
TA349
211. Typed Lambda Calculi and Applications :
المؤلف: edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Lambda calculus -- Congresses.,Logic design.
رده :
QA9
.
5
E358
1995
212. Typed lambda calculi and applications : International Conference on Typed Lam)b(da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Lambda calculus -- Congresses
رده :
QA
9
.
5
.
I58
1993
213. Typed Lambda calculi and applications: second International Conference on Typed Lambda Calculi and Applications, TLCA'95, Edinburgh, United Kingdom, April 10-12, 1995: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Lambda calculus-- Congresses
رده :
QA
9
.
5
.
I58
1995
214. Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA 95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings
المؤلف: Mariangiola Dezani-Ciancaglini, Gordon Plotkin, eds
المکتبة: (طهران)
موضوع: Lambda calculus - Congresses
رده :
QA
9
.
5
.
I58
1995
215. Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
المؤلف: Pawel Urzyczyn
المکتبة: (طهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
3461
216. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001: proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
9
.
5
.
I58
2001
217. Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings
المؤلف: Samson Abramsky )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2044
218. Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
المؤلف: Jean-Yves Girard )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1581
219. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings
المؤلف: Martin Hofmann )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2701
220. Typed lambda claculi and applications : International Conference on Typed Lam]b[ da Calculi and Applications, TLCA'93, March 16-18, 1993, Utrecht, the Netherlands: proceedings
المؤلف: M. Bezem, J.F. Groote )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
664
