4861. 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
4862. 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
4863. 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
4864. 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
4865. Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
پدیدآورنده : Philippe de Groote, J. Roger Hindley )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1210
4866. U.G. mathematics :
پدیدآورنده : Madhumangal Pal.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Calculus.,Differential equations.
رده :
QA37
.
3
M334
2007
4867. Ulam stability of operators /
پدیدآورنده : authors, Janusz Brzdęk, Dorian Popa, Ioan Raşa, Bing Xu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Functional equations.,Functional equations.,MATHEMATICS / Calculus.,MATHEMATICS / Mathematical Analysis.
رده :
QA431
4868. Ultrametric calculus : an introduction to p-adic analysis
پدیدآورنده : Schikhof, Wilhelmus Hendricus.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Calculus,، p-adic analysis
رده :
QA
303
.
S33
1984
4869. Ultrametric calculus : an introduction to p-adic analysis
پدیدآورنده : Schikhof, Wilhelmus Hendricus, 7391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Calculus,، p-adic analysis
رده :
QA
303
.
S33
4870. Umbral calculus and Hopf algebras
پدیدآورنده : ]edited by Robert Morris[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Combinatorial analysis,، Hopf algebras,، Calculus
رده :
QA
164
.
C68
1978
4871. Umbral calculus and Hopf algebras /
پدیدآورنده : [edited by Robert Morris].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Calculus.,Combinatorial analysis.,Hopf algebras.,Analyse combinatoire.,Calcul infinitésimal.,Hopf, Algèbres de.,Algebra Associativa.,Analise Combinatoria.,Calculus.,Combinatorial analysis.,Hopf algebras.
رده :
QA164
.
C685
1978
4872. Umbral calculus and Hopf algebras
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Combinatorial analysis,، Hopf algebras,، Calculus
رده :
QA
164
.
C685
1978
4873. Unbounded functionals in the calculus of variations
پدیدآورنده : / Luciano Carbone, Riccardo De Arcangelis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Calculus of variations,Functionals
رده :
QA315
.
C274
2002
4874. Unbounded functionals in the calculus of variations :representation, relaxation, and homogenization
پدیدآورنده : Carbone, L. )Luciano(
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Calculus of variations,، Functionals
رده :
QA
315
.
C274
2002
4875. Unbounded functionals in the calculus of variations: representation, relaxation, and homogenization
پدیدآورنده : Carbone, Luciano
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Calculus of variations,، Functionals
رده :
QA
315
.
C274
2002
4876. Unbounded functionals in the calculus of variations : representation, relaxation and homogenization ]electronic resource[
پدیدآورنده : Carbone, Luciano
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Calculus of variations,، Functionals
رده :
EBL
154
4877. Uncertainty quantification for hyperbolic and kinetic equations /
پدیدآورنده : Shi Jin, Lorenzo Pareschi, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Differential equations, Hyperbolic.,Uncertainty (Information theory),Differential equations, Hyperbolic.,MATHEMATICS-- Calculus.,MATHEMATICS-- Mathematical Analysis.,Uncertainty (Information theory)
رده :
QA374
4878. Understanding calculus
پدیدآورنده : H.S. Bear
موضوع : Calculus
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4879. Understanding calculus
پدیدآورنده : Bear, H. S.)Herbert Stanley(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Calculus
رده :
QA
303
.
2
.
B42
2003
4880. Understanding calculus
پدیدآورنده : Bear, H. S. )Herbert Stanley(
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع : ، Calculus
رده :
QA
303
.
2
.
B42
2003