3001. Transport science and technology /
Author: edited by Konstadinos G. Goulias.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Transportation-- Research, Congresses.,Transportation-- Research.
Classification :
HE192
.
5
.
T73
2007


3002. Transports frigorifiques maritimes, equipment Frigorifique, Conteneurs, transports de gaz liquefies, bateaux de peche. Refrigerated sea transport... ~Commission VIII, Le Havre, 30 juin-4 juillet 1969
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Marine refrigeration
Classification :
VM
485
.
I54


3003. Trends and advances in information systems and technologies.
Author: Álvaro Rocha, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
Classification :
T58
.
5


3004. Trends and new applications of thin films: proceedings of the 6th International Symposium on Trends and New Applications of Thin Films )TATF'98(, Regensburg, Germany, March 1998
Author: editor, Horst Hoffmann
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Thin films,Congresses ، Surfaces )Technology(,Congresses ، Metallic films
Classification :
QC
176
.
82
.
I58
1998


3005. Trends in NDE science and technology: Proceedings of the 14th world Conference on NDT )14th WCNDT(, December 8-13, 1996, New Delhi, India
Author: edited by C.G. Krishnadas Nair... ]et al.[
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Non-destructive testing - Congresses
Classification :
TA
417
.
2
.
W67
1996


3006. Trends in computer science, engineering and information technology
Author: Dhinaharan Nagamalai, Eric Renault, Murugan Dhanuskodi (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering, Congresses.,Computer science, Congresses.,Information technology, Congresses.

3007. Trends in functional programming :
Author: edited by Meng Wang, Scott Owens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
62


3008. Trends inmechanical alloying: proceedings of International Conference on Trends in Mechanical Alloying: Science, Technology and Applications )TMA-2001(
Author: editors, P.R. Soni, T.V. Rajan
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Mechanical alloying
Classification :
TN
698
.
I58
2001


3009. Tribes and state formation in the Middle East /
Author: edited by Philip S. Khoury and Joseph Kostiner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Islam and state-- Middle East-- History, Congresses.,Tribal government-- Middle East-- History, Congresses.,Tribes-- Government policy-- Middle East-- History, Congresses.,Gouvernement tribal-- Moyen-Orient-- Histoire-- Congrès.,Islam et État-- Moyen-Orient-- Histoire-- Congrès.,Tribus-- Politique gouvernementale-- Moyen-Orient-- Histoire-- Congrès.,Geschichte,Gouvernement tribal-- Moyen-Orient-- Congrès.,Government - Asia.,Government - Non-U.S.,Gründung,Islam,Islam and state.,Islam et État-- Moyen-Orient-- Histoire-- Congrès.,Law, Politics & Government.,POLITICAL SCIENCE-- Public Policy-- Cultural Policy.,Politics and government,Politische Geografie,SOCIAL SCIENCE-- Anthropology-- Cultural.,SOCIAL SCIENCE-- Popular Culture.,Society.,Staat,Staatsvorming.,Stamm,Tribal government.,Tribale groepen.,Tribes-- Government policy.,Tribus-- Moyen-Orient-- Histoire-- Congrès.,Middle East, Politics and government, Congresses.,Moyen-Orient, Politique et gouvernement, Congrès.,Middle East.,Mittlerer Osten,Moyen-Orient, Relations interethniques, Congrès.,Naher Osten, 0, 6, 7, 7, 7, 7
Classification :
JQ1758
.
A2
T75
1990eb


3010. Tribology for energy conservation
Author:
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Tribology- Congresses,Energy conservation- Congresses
Classification :
TJ
,
1075
,.
A2
,
L43
,
1998


3011. Trust management VII :
Author: Carmen Fernández-Gago [and others] (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks -- Security measures -- Congresses.,Computer security -- Congresses.,Data encryption (Computer science) -- Congresses.
Classification :
QA76
.
9
.
A25
C376
2013


3012. Trusted systems :
Author: edited by Liqun Chen, Moti Yung
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Security measures, Congresses,Computer security, Congresses,Data encryption (Computer science), Congresses
Classification :
QA76
.
9
.
A25
I58
2011


3013. Twentieth Army Science Conference: award winning papers: Norfolk, Virginia, USA, 24-27 June 1996
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Science-- United States,Congresses ، Military engineering-- United States,Congresses ، Technology-- United States
Classification :
Q
101
.
A7
1996


3014. Types for Proofs and programs : International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993 : selected papers
Author: Henk Barendregt, Tobias Nipkow, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programs
Classification :
QA
76
.
L28
Vol
.
806


3015. Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers
Author: Eduardo Gimenez, Christine Paulin-Mohring )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
1512


3016. Types for proofs and programs : International Workshop TYPES'94, Bastad, Sweden, June 1994: Selected papers
Author: Peter Dybjer, Bengt Nordstrom, Jan Smith )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
996


3017. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
Author: Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
Classification :
QA
76
.
L28
Vol
.
1657


3018. Types for proofs and programs: International Workshop, TYPES'95, Torino, Italy, June 5-8, 1995 : selected papers
Author: Stefano Berardi, Mario Coppo )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
1158


3019. U162
Author: by Michael Howard and Robert Hunter.
Library: Library of Islamic Parliament (Tehran)
Subject:

3020. U- and E-Service, science and technology :
Author: Tai-hoon Kim...[et al.] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Business-- Data processing, Congresses.,Information technology, Congresses.
Classification :
T58
.
5
.
U54
2011

