101. 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
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Lambda calculus - Congresses
رده :
QA
9
.
5
.
I58
1995
102. Typed lambda calculi and applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005 : proceedings
پدیدآورنده : Pawel Urzyczyn
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
3461
103. Typed lambda calculi and applications: 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
9
.
5
.
I58
2001
104. Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krakow, Poland, May 2-5, 2001 : proceedings
پدیدآورنده : Samson Abramsky )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2044
105. Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
پدیدآورنده : Jean-Yves Girard )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1581
106. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings
پدیدآورنده : Martin Hofmann )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
2701
107. 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.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
664
108. 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.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
1210
109. Variational analysis and aerospace engineering :
پدیدآورنده : Giuseppe Buttazzo, Aldo Frediani, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Aerospace engineering-- Mathematics, Congresses.,Calculus of variations, Congresses.,Mathematical optimization, Congresses.
رده :
QA315
.
V37
2012eb
110. Variational and free boundary problems
پدیدآورنده : Avner Friedman, Joel Spruck editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Boundary value problems,Congresses ، Calculus of variations
رده :
QA
379
.
V3
111. Variational and free boundary problems
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Boundary value problems-- Congresses,، Calculus of variations-- Congresses
رده :
QA
379
.
V357
1993
112. Variational methods for equilibrium problems of fluids : Trento, 20-25 Juin 1983
پدیدآورنده :
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Fluid dynamics,Congresses ، Calculus of variations,Congresses ، Boundary value problems
رده :
QA
3
.
A78
Vol
.
118
113. Variational methods for evolving objects
پدیدآورنده : edited by Luigi Ambrosio...]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Calculus of variations,Congresses ، Differential equations, Nonlinear,Congresses ، Differential equations, Partial
رده :
QA
315
.
V374
114. Variational methods in engineering : proceedings on an international conference held at the University of Southampton, 25th September, 1972
پدیدآورنده : / Edited by [C. A. Brebbia, H. Tottenham for the] Department of Civil Engineering, University of Southampton
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Calculus of variations - Congresses,Engineering - Congresses
رده :
TA347
.
C3V37
115. Variational methods in the mechanics of solids :
پدیدآورنده : edited by S. Nemat-Nasser ; sponsored by International Union of Theoretical and Applied Mechanics, Solid Mechanics Division of the National Science Foundation, U.S. Army Research Office
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Calculus of variations-- Congresses,Mechanics, Applied-- Mathematics-- Congresses
رده :
TA349
.
I87
1978
116. Variational methods in the mechanics of solids; Proceedings of the IUTAM Symposium on Variatitonal Methods in the Mechanics of Solids held at Northwestern University, Evanston, IIlinois,U.S.A.11-13 September 1978
پدیدآورنده : edited by S.Nemat-Nasser;Sponsored by international Union of the theoretical and Applied mechanics solid Mechanics Division of the National Science Foundation U.S.Army Resarch office
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Mathematics - Congresses ، Mechanics, Applied,Congresses ، Calculus of variations
رده :
TA
349
.
I87
1978
117. Views and Beliefs in Mathematics Education :
پدیدآورنده : editors, Benjamin Rott, Günter Törner, Joyce Peters-Dasdemir, Anne Möller and Safrudiannur.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Study and teaching, Congresses.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics-- Study and teaching.
رده :
QA11
.
A1
118. XII Symposium of Probability and Stochastic Processes :
پدیدآورنده : Daniel Hernández-Hernández, Juan Carlos Pardo, Victor Rivero, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Probabilities, Congresses.,Stochastic processes, Congresses.,Calculus of variations.,Cybernetics & systems theory.,Differential calculus & equations.,Game theory.,MATHEMATICS-- Applied.,MATHEMATICS-- Probability & Statistics-- General.,Probabilities.,Probability & statistics.,Stochastic processes.
رده :
QA273
.
A1
