5041. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
5042. Types for proofs and programs: International Workshop, TYPES'99, Lokeberg, Sweden, June 12-16, 1999 : selected papers
پدیدآورنده : Thierry Coquand...]et al.[, )Eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1956
5043. Types for proofs and programs : International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo, Ferruccio Damiani )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
3085
5044. Types for proofs and programs: International Workshop, TYPES'95, Torino, Italy, June 5-8, 1995 : selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1158
5045. Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
پدیدآورنده : Herman Geuvers, Freek Wiedijk )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
2646
5046. Types in compilation : second international workshop, TIC'98, Kyoto, Japan, March 25-27, 1998 : proceedings
پدیدآورنده : Xavier Leroy, Atsushi Ohori )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compiling )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1473
5047. Types in compilation : third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers
پدیدآورنده : Robert Harper )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Compiling )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2071
5048. UNESCO Sourcebook for science in the primary Shcool : a Workshop approach to teacher education
پدیدآورنده : Harlen, Wynne
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
Q
161
.
2
.
H3
U5
1992
5049. UNESCO sourcebook for science in the primary school: a workshop approach to teacher education
پدیدآورنده : Harlen, Wynne.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Study and teaching )Elementary( ، Science
رده :
LB
1585
.
H38
1992
5050. UNESCO sourcebook for science in the primary school:a workshop approach to teacher education
پدیدآورنده : / wynne Harlen, Jos Elstgeest
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Science-- Study and teaching (primary),Science teachers-- Handbooks, manuals,etc
رده :
372
.
35
H284u
5051. UNIMARC and CDS/ISIS : proceedings of the workshop held in Budapest,21-22 June 1993, and Barcelona ,26 August 1993
پدیدآورنده : /edited by Marie - France Plassard, and Marvina Holdt.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : م‍ارک ج‍ه‍ان‍ی -- ک‍ن‍گ‍ره‌ه‍ا.,س‍ی. دی. اس/ آی س‍ی‍س -- ک‍ن‍گ‍ره‌ه‍ا.,م‍ب‍ادل‍ه اطلاعات ک‍ت‍اب‍ش‍ن‍اخ‍ت‍ی -- ک‍ن‍گ‍ره‌ه‍ا.,ک‍ت‍اب‍ش‍ن‍اس‍ی ب‍ی‍ن‌ال‍م‍ل‍ل‍ی.,م‍ارک، پ‍ی‍ک‍ره‌ه‍ای -- ک‍ن‍گ‍ره‌ه‍ا.
رده :
BibZ
۶۹۹
/
۴
/
م
۲۴۳
ی
۹ ۱۳۷۳
5052. US-India symposium-Cum-Workshop remote sensing fundamentals and applications, proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Remote sensing
رده :
G
70
.
4
.
U77
5053. US-PRC Symposium- Workshop on Post- Earthquake Rehabilitation & Reconstruction )1995, Kunming, Yunnan, China(
پدیدآورنده : edited by F. Y. Cheng; Y. Y. Wang
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Disaster relief- Congresses
رده :
HV
553
.
U7
1995
5054. Ubiquitous mobile information and collaboration systems : Second CAiSE Workshop, UMICS 2004, Riga, Latvia, June 7-8, 2004, revised selected papers
پدیدآورنده : Luciano Baresi...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer-aided software engineering,Congresses ، Systems engineering
رده :
QA
76
.
L28
Vol
.
3272
5055. Uncertainty in the risk assessment of environmental and occupational hazards : an international workshop
پدیدآورنده : edited by A. John Bailer ... [et al.]
کتابخانه: کتابخانه مرکز تحقیقات بیوشیمی- بیوفیزیک دانشگاه تهران (تهران)
موضوع : Environmental health,Health risk assessment
رده :
Q
11
.
N5
vol
.
895
5056. Unconventional programming paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004; revised selected and invited papers
پدیدآورنده : Jean-Pierre Banatre... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer programming,Congresses ، High performance computing
رده :
QA
76
.
L28
Vol
.
3566
5057. Understanding information Policy: Proceedings of a workshop held at Cumberland lodge, windsorgreal -Park, 22 - 24 July 1996
پدیدآورنده : / edited by Ian Rowlands
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : س‍ی‍اس‍ت اطلاع‍ات‍ی -- ک‍ن‍گ‍ره‌ه‍ا,س‍ی‍اس‍ت اطلاع‍ات‍ی -- ان‍گ‍ل‍س‍ت‍ان -- ک‍ن‍گ‍ره‌ه‍ا,اطلاع‌رس‍ان‍ی -- ک‍ن‍گ‍ره‌ه‍ا,اطلاع‌رس‍ان‍ی -- ان‍گ‍ل‍س‍ت‍ان -- ک‍ن‍گ‍ره‌ه‍ا
رده :
BibZA
۳۱۵۳
/
ال
ف
۸ ۱۳۷۶
5058. Unesco Regional Workshop for Asian Writers & Editors of Books for Children and Juveniles: Seoul, Republic of Korea, 24-29 April 1978.
پدیدآورنده :
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع :
5059. Unesco Regional Workshop for Asian Writers & Editors of Books for Children and Juveniles, Seoul, Republic of Korea, 24-29 April 1978: report
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Children's literature,Asia - Congresses ، Authors
رده :
Z
1037
.
U52
1978
5060. Unesco sourcebook for science in the primary school: a workshop approach to teacher education
پدیدآورنده : Harlen, Wynne
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Science - Study and teaching )Elementary(,، Science projects,Juvenile literature ، Science - Experiments,Training of ، Science teachers
رده :
LB
1585
.
H299
1992
