121. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
122. Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
پدیدآورنده : Mathematical foundations of programming semantics:7th international conference pittshurgh,PA,USA,MArch 1991 proceedings
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : programming languages)lecture notes in computers(-semantics-Congresses,Computer sciences-mathematics-congresses
رده :
QA
76
.
7
.
M38
1990
123. Mathematical foundations of software development
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
رده :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
124. Mathematical programing , Proceedings of an advance seminar conducted by the mathemaics Resarch Center the univeristy of Wiscons Wisconssim, and the UlS. Army at Madison sept. 11-13 , 1972
پدیدآورنده : Advanced seminar on Mathematical programmiong, Madison, 2791
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Programming ) Mathematics( - Congresses
رده :
QA
3
.
U45
125. Mathematical programming
پدیدآورنده : / edited by T. C. Huand, Stephen M. Robinson, proceedings of an advenced seminar conducted by the Mathematical Research Center, the University of Wisconsin, and the U. S. Army at Madison, September 11-13, 1972
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Programming (Mathematics) - Congresses
رده :
658
.
4033
A244m
1972
126. Mathematical programming; proceedings of an Advanced Seminar
پدیدآورنده : Advanced Seminar on Mathematical Programming, Madison, Wis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming )Mathematics(
رده :
T
57
.
7
.
A38
127. Mathematical programming; proceedings of an Advanced Seminar
پدیدآورنده : Advanced Seminar on Mathematical Programming, 2791, Madison, Wis.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming )Mathematics(-- Congresses
رده :
QA
3
.
U45
no
.
30
128. Mathematical programming: recent developments and applications
پدیدآورنده : edited by Masao Iri and Kunio Tanabe
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Congresses ، Programming )Mathematics(
رده :
QA
402
.
5
.
M35288
129. Mathematical programs for activity analysis
پدیدآورنده : Moeseke, Paul van
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Programming )Mathematics( Congresses
رده :
T
57
.
7
.
M63
1974
130. Mathematics in transport planning and control :
پدیدآورنده : edited by J.D. Griffiths.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Traffic engineering-- Mathematical models, Congresses.,Traffic engineering-- Mathematical models.
رده :
HE332
.
I56
1998
131. Mathematics of Program Construction
پدیدآورنده : \ Ralf Hinze , Janis Voigtländer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Mathematics -- Congresses.,Computer programs -- Mathematics -- Congresses.,Logics and Meanings of Programs.,برنامه‌نویسی -- ریاضیات -- کنگره ها ,برنامه‌های کامپیوتری -- ریاضیات -- کنگره ها
رده :
QA
75
.
5
.
M32
2015
E-Book
,
132. Mathematics of program construction :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
133. Mathematics of program construction
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
134. Mathematics of program construction
پدیدآورنده : Jeremy Gibbons, Pablo Nogueira (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer programming-- Mathematics, Congresses,Computer programs-- Mathematics, Congresses
رده :
QA76
.
6
.
M6926
2012eb
135. Mathematics of program construction
پدیدآورنده : Ronald Back house Jose Nuno oliveria
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
136. Mathematics of program construction :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
137. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
138. Mathematics of program construction : Second International Conference, Oxford, U.K., June/ July 1992 : processing
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
669
139. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
140. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
