261. Proceedings of the Ninth International Conference on Dependability and Complex Systems
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : System theory -- Congresses,Computational complexity -- Congresses,Reliability (Engineering) -- Congresses,نظریه سیستم‌ها -- کنگره ها,پیچیدگی محاسباتی -- کنگره ها,اطمینان‌‌پذیری (مهندسی) -- کنگره‌ها
رده :
E-Book
,
262. Proceedings of the Ninth Structure in Complexity Theory Conference, June 28-July 1, 1994, Amsterdam, The Netherlands
پدیدآورنده : Structure in Complexity Theory Conference )9th: 4991: Amsterdam, The Netherlands(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computational Complexity -- Congresses
رده :
QA
267
.
7
.
S75
1994
263. Proceedings of the 33rd annual ACM Symposium on the Theory of Computing : Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده : Sponsored by SIGACT ]The ACM Special Interest Group for Algorithms and Computation Theory[, organized by the Computer Technology Institute
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2001
264. Proceedings of the symposium characterising complex systems
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، System theory-- Congresses,، Chaotic behavior in systems-- Congresses,، Computational complexity-- Congresses
رده :
Q
295
.
I574
1989
265. Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, Lllinois, USA, June 13-15, 2004
پدیدآورنده : sponsored by SIGACT, The ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2004
266. Proceedings of the 34th Annual ACM Symposium on Theory of Computing, Montreal, Quebec, Canada, May 19-21, 2002
پدیدآورنده : Sponsored by SIGACT )The special Interest Group for Algorithms and Computational Theory(
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2002
267. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
268. Proceedings, structure in complexity theory: fourth annual conference, June 19-22, 1989, University of Oregon, Eugene, Oregon
پدیدآورنده : Sponsored by Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computational complexity -- Congresses
رده :
QA
267
.
P757
1989
269. Proceedings : 15th Annual IEEE conference on computational complexity : July 4-7, 2000 Florence, Italy
پدیدآورنده : IEEE Conference on Computational Complexity) 51th: 0002: Florence, Italy(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Computational complexity - Congresses,، Nonlinear boundary value problems - Congresses
رده :
QA
267
.
7
.
S76
2000
270. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده : sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
رده :
QA
267
.
7
.
S77
2000
271. Progress in cryptology - INDOCRYPT 2011 :
پدیدآورنده : Daniel J. Bernstein, Sanjit Chatterjee (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses,Cryptography, Congresses,Data encryption (Computer science), Congresses
رده :
QA76
.
9
.
A25
I58
2011
272. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
273. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
274. Reachability problems :
پدیدآورنده : Parosh Aziz Abdulla, Igor Potapov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
رده :
QA76
.
76
.
V47
P376
9999
275. Recent Advances in Natural Language Processing V
پدیدآورنده : \ edited by Nicolas Nicolov, Galia Angelova, Ruslan Mitkov.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational linguistics, Congresses.
رده :
P
98
.
R36
2007
E-book
,
276. Recent advances in real complexity and computation : UIMP-RSME Lluis A. Santalo Summer School, recent advances in real complexity and computation, July 16-20, 2012, Spain
پدیدآورنده : Jose Luis M. Pardo, editors
کتابخانه: (طهران)
موضوع : Congresses ، Computational complexity
رده :
QA
267
.
7
.
U45
2012
277. Reliable and autonomous computational scienc
پدیدآورنده : / Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computational complexity, Congresses,Computational intelligence, Congresses,Intelligent agents (Computer software), Congresses
رده :
E-BOOK
278. Reliable and autonomous computational science
پدیدآورنده : Sung Y. Shin, Rex Gantenbein, Tei-Wei Kuo, Jiman Hong (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational complexity, Congresses.,Computational intelligence, Congresses.,Intelligent agents (Computer software), Congresses.
279. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
پدیدآورنده : sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2010
280. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
پدیدآورنده : sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
کتابخانه: (طهران)
موضوع : Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2011
