81. Proceedings
Author: Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
Classification :
QA
76
.
9
.
M35
S94
1989
82. Proceedings
Author: / Algebraic Logic and Universal Algebra in Computer Science Conference, Ames, Iowa, USA, June 1-4, 1988
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Algebraic logic - Congresses,Algebra, Universal - Congresses
Classification :
QA10
.
A45
1988
83. Proceedings
Author: Algebraic Logic and Universal Algebra in Computer Science Conference, )8891, Ames, Iowa(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algebraic logic-- Congresses,، Algebra, Universal-- Congresses
Classification :
QA
10
.
A45
1988
84. Proceedings of
Author: ^bSymposium on mathematical foundations of computer science MFCS 90, 15 th, Banka Bystrica 1990
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Mathematical analysis- Foundations ► Computer science- Mathematics
Classification :
S989p
85. Proceedings of a workshop on deterring cyberattacks :
Author: Committee on Deterring Cyberattacks: Informing Strategies and Developing Options for U.S. Policy, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, Policy and Global Affairs Division, National Research Council of the National Academies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cyberterrorism-- United States-- Prevention.,Internet-- Safety measures.,Internet-- Security measures.
Classification :
TK5105
.
875
.
I57
P76
2010
86. Proceedings of the 2010 International Conference on Mechanical, Industrial, and Manufacturing Technologies )MIMT 2010(: Sanya, China, January 22-24, 2010
Author: sponsored by International Association of Computer Science and Information Technology )IACSIT(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Technology,Congresses ، Mechanical engineering,Congresses ، Production engineering,Congresses ، Industrial engineering,Congresses ، Manufacturing processes
Classification :
T
6
.
I594
2010
87. Proceedings of the 35th Midwest Symposium on Circuits and Systems the Capital Hilton Washington, D.C., August 9-12, 1992
Author: / organized by the Dept. of Electerical Engineering and Computer Science
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electric circuits -- Congresses,Electronic circuits -- Congresses,Electric engineering -- Congresses,Electronics -- Congresses,Telecommunication -- Congresses
Classification :
TK
3226
.
M55
1992
88. Renewing U.S. telecommunications research /
Author: Robert W. Lucky and Jon Eisenberg, editors ; Committee on Telecommunications Research and Development, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council of the National Academies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information technology-- United States.,Telecommunication-- Research-- United States.,BUSINESS & ECONOMICS-- Industries-- Media & Communications.,Information technology.,TECHNOLOGY & ENGINEERING-- Telecommunications.,Telecommunication-- Research.,United States., 7
Classification :
TK5102
.
3
.
U6
R46
2006eb
89. SPAA 2003 : Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego, California, USA
Author: sponsored by ACM SIGACT ]and[ ACM SIGARCH in cooperation with EATCS )European Association for Theoretical Computer Science(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Computer architecture,Congresses ، Computer algorithms
Classification :
QA
76
.
5
.
A257
2003
90. STACS 91 /
Author: 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991, proceedings ; C. Choffrut, M. Jantzen, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Congresses.
91. STACS 91
Author: Symposium on Theoretical Aspects of Computer Science, )8th, 1991, Hamburg, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses
Classification :
QA
75
.
5
.
S958
1991
92. STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris )April( 11-13, 1984
Author: Symposium on Theoretical Aspects of Computer Science, )1st, 4891, Paris, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses
Classification :
QA
75
.
5
.
S958
1984
93. STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrucken, January 3-5, 1985
Author: Symposium on Theoretical Aspects of Computer Science, )2nd, 5891, Saarbrucken, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses
Classification :
QA
75
.
5
.
S958
1985
94. STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, proceedings
Author: Symposium on Theoretical Aspects of Computer Science, )5th, 8891, Bordeaux, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses
Classification :
QA
75
.
5
.
S958
1988
95. STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings
Author: Symposium on Theoretical Aspects of Computer Science, )9th, 2991, Cachan, France(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science - Congresses
Classification :
QA
75
.
5
.
S958
1992
96. STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings
پدیدآورنده : Symposium on Theoretical Aspects of Computer Science, )6th, 9891, Paderborn, Germany(
موضوع : ، Computer science-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
97. Spacecraft attitude determination and control
Author: Computer Science Corporation. Attitude Systems Operation
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Attitude control systems ، Space vehicles,Guidance systems ، Space vehicles
Classification :
TL
3260
.
C65
98. Specialising Simulator Generators for High-Performance Monte-Carlo Methods
Author: Gabriele Keller Affiliation: Programming Languages and Systems, School of Computer Science and Engineering, University of New South Wales,
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
7
G337
9999
99. Speech-to-speech translation
Author: Hiroaki Kitano and Hiroaki Kitano and sony computer science laboratory.,Kitano, Hiroaki,
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Machine translating.
Classification :
P308
.
K58
1994
100. Stacs 91, Proceedings of ...
Author: Annual symposium on theoretical aspects of computer Science (8th : 1991 : Hamburg, Germany)
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer science -- Congresses
Classification :
A615s
