کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابAnnual Symposium on Foundations of Computer Science ]papers[
پدیدآورنده: Symposium on Foundations of Computer Science
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Switching theory-- Congresses,، Machine theory-- Congresses,، Electronic data processing-- Congresses
رده :
QA
268
.
5
.
S9a
FST TCS 2002 : foundations of software technology and theoretical computer science : 22nd Conference, Kanpur, India, December 2002 : proceedings
پدیدآورنده: Manindra Agrawal, Anil Seth )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2556
FST TCS 2003 : foundations of software technology and theoretical computer science : 23rd
پدیدآورنده: Paritosh K. Pandya, Jaikumar Radhakrishnan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2914
FST TCS 2001 : foundations of software technology and theoretical computer science : 21st
پدیدآورنده: Ramesh Hariharan, Madhavan Mukund, V. Vinay )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2245
FST TCS 2000 : foundations of software technology and theoretical computer science : 20th
پدیدآورنده: Sanjiv Kapoor, Snajiva Prasad )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1974
FSTTCS 2004 : Foundations of Software Technology and Theoretical Computer Science : 24th
پدیدآورنده: Kamal Lodaya, Meena Mahajan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
3328
Foundations of computer science
پدیدآورنده: Aho, Alfred V.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science,، C )Computer program language(
رده :
QA
76
.
A334
1995
Foundations of computer science
پدیدآورنده: / Alfred V. Aho, Jeffrey D. Ullman
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer science
رده :
QA
76
.
A334
1992
Foundations of computer science
پدیدآورنده: Aho, Alfred V.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer science ► C (Computer program language)
رده :
A286f
Foundations of computer science /
پدیدآورنده: Alfred V. Aho, Jeffrey D. Ullman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: C (Computer program language),Computer science
رده :
QA76
.
A334
1995
Foundations of computer science
پدیدآورنده: Aho, Alfred V.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer science ► C (Computer program language)
رده :
A286f
Foundations of computer science
پدیدآورنده: Aho, Alfred V.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science
رده :
QA
76
.
A33
1992
Foundations of computer science
پدیدآورنده: / Alfred V. Aho, Jeffrey D. Ullman
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer science
رده :
QA
76
.
A334
1992
Foundations of computer science /
پدیدآورنده: Behrouz Forouzan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer science.,Informatique-- Manuels d'enseignement supérieur.
رده :
QA76
.
F623
2018
Foundations of computer science
پدیدآورنده: Aho, Alfred V.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer science ► C (Computer program language)
رده :
A286f
Foundations of computer science
پدیدآورنده: Aho, Alfred V.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science , C )Computer program language(
رده :
QA
76
.
A334
1995
Foundations of computer science: from data manipulation to theory of computation
پدیدآورنده: / Behrouz A. Forouzan with Sophia Chung Fegan
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع: کامپیوتر
رده :
QA
۷۶
/
ف
۴
ف
۲ ۱۳۸۲
Foundations of computer science: potential-theory-cognition
پدیدآورنده: Christian Freksa, Matthias Jantzen, Rudiger Valk )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science
رده :
QA
76
.
L28
Vol
.
1337
Foundations of logic and mathematics : applications to computer science and cryptography
پدیدآورنده: Yves Nievergelt
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science
رده :
QA
9
.
N5
Foundations of logic and mathematics: applications to computer science and cryptography
پدیدآورنده: Nievergelt, Yves
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Set theory,، Number theory,، Computer science-- Mathematics
رده :
QA
9
.
N53
2002
Foundations of software technology and theoretical Computer Science : sixth Conference, New Delhi; India, December 18-20, 1986: Proceedings
پدیدآورنده: edited by Kesav V. Nori
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
241
Foundations of software technology and theoretical computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computer software
رده :
F771
Foundations of software technology and theoretical computer science
پدیدآورنده: / Kesav V. Nori
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer software-Congresses,Electronic data processing - Congresses
رده :
QA
76
.
751
.
F68
1986
Foundations of software technology and theoretical computer science :
پدیدآورنده: ed. by S.N. Maheshwari.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming -- Congresses.,Computer programming.,Computers -- Congresses.
Foundations of software technology and theoretical computer science
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Technical and technological computer software ► Technical and technological computer science
رده :
F771
Foundations of software technology and theoretical computer science
پدیدآورنده: V. Arvind, R. Ramanujam (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science, Congresses.,Computer software, Congresses.,Evolutionary programming (Computer science), Congresses.,Molecular computers, Congresses.,Quantum computers, Congresses.
Foundations of software technology and theoretical computer science : Eighth Conference, Pune, India. December 21-23, 1988 : Proceedings
پدیدآورنده: K.V. Nori, S. Kumar )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Programming -- Congresses ، Electronic digital computers
رده :
QA
76
.
L28
Vol
.
338
Foundations of software technology and theoretical computer science, Fifth Conference, New Delhi, India, Dec. 1985: Proceedings
پدیدآورنده: edited by S.N. Maheshwari
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Software engineering,Congresses ، Computer software,، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
206
Foundations of software technology and theoretical computer science : Fifth Conference, New Delhi, India, December 16-18, 1985 : Proceedings
پدیدآورنده: edited by S.N. Maheshwari
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، Electronic data processing
رده :
QA
76
.
L28
Vol
.
206
Foundations of software technology and theoretical computer science : Fourth Conference, Bangalore, India, Dec. 13-15, 1984: proceedings
پدیدآورنده: edited by Mathai Joseph and Rudrapatna Shyamasundar
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Computers
رده :
QA
76
.
L28
Vol
.
181
Foundations of software technology and theoretical computer science, Fourth conference, Bangalore, India Dec. 13-15, 1984 : Proceedings
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Computer software,Congresses ، Computer science
رده :
QA
76
.
L4
v
.
181
Foundations of software technology and theoretical computer science : Ninth Conference, Bangalore, India, December 19-21, 1989 : Proceedings
پدیدآورنده: C.E. Veni Madhavan, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
405
Foundations of software technology and theoretical computer science: eighth conference, Pune, India, December 21-23, 1988: proceedings
پدیدآورنده: K.V. Nori, S. Kumar )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Computer software,Congresses ، Computer programming
رده :
QA
76
.
L4
v
.
338
Foundations of software technology and theoretical computer science: fourth conference, Banglore, India, Dec. 13-15, 1984, proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Electronic computers(-- Congresses,، Computers-- Congresses
رده :
QA
76
.
6
.
F686
1984
Foundations of software technology and theoretical computer science: ninth conference, Pune, India, December 19- 21, 1989: proceedings
پدیدآورنده :
موضوع : ، Computer software-- Congresses,، Computer science-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
Foundations of software technology and theoretical computer science; seventh Confernce, Pune, India, December 17-19, 1987 : proceedings
پدیدآورنده: Kesav V. Nori )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
287
Foundations of software technology and theoretical computer science: 21st conference: proceedings, Bangalore, India, December 13-15, 2001
پدیدآورنده :
موضوع : Congresses ، Computer software,Congresses ، Computer science
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
Foundations of software technology and theoretical computer science : tenth Conference, Bangalore, India December 17-19, 1990 : proceedings
پدیدآورنده: K.V. Nori, C.E. Veni Madhavan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
472
Foundations of software technology and theoretical computer science : 15th Conference, Bangalore, India, December 18-20, 1995 : Proceedings
پدیدآورنده: P.S. Thiagarajan, ed
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1026
Foundations of software technology and theoretical computer science : 13th Conference, Bombay, India, December 15-17, 1993 : proceedings
پدیدآورنده: R. Shyamasundar )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
761
Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 1999 : proceedings
پدیدآورنده: C. Pandu Rangan, V. Raman, R. Ramanujam )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1738
Foundations of software technology and theoretical computer science : 18th Conference, Chennai, India, December 1998 : proceedings
پدیدآورنده: V. Arvind, R. Ramanujam )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1530
Foundations of software technology and theoretical computer science : 16th Conference, Hyderabad, India, December 18-20, 1996 : Proceedings
پدیدآورنده: V. Chandru, V. Vinay )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1180
Foundations of software technology and theoretical computer science : 17th Conference, Kharagpur, India, December 1997 : proceedings
پدیدآورنده: S. Ramesh, G. Sivakumar )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
1346
Foundations of software technology and theoretical computer science : 14th Conference, Madras, India, December 15-17, 1994 : proceedings
پدیدآورنده: P.S. Thiagarajan, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
880
Foundations of software technology and theoretical computer science : 13th conference, Bombay, India, December 15-17, 1993 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Congresses,، Computer science-- Congresses
رده :
QA
76
.
751
.
F69
1993
Foundations of software technology and theoretical computer science: 18th conference, Chennai, India, December 17-19, 1999: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
758
.
C684
1998
Foundations of software technology and theoretical computer science: 12th conference,New Delhi, India, December 18-20, 1992: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Congresses,، Computer science-- Congresses
رده :
QA
76
751
.
F68
1992
Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings
پدیدآورنده: S. Biswas, K.V. Nori )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
560
Foundations of software technology & theoretical computer science
پدیدآورنده: NORI,KESAV V
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: COMPUTER SOFTWARE-CONGRESSES , ELECTRONIC DATA PROCESSING-CONGRESSES
رده :
QA
76
.
751
.
F68
1986
Foundations of sostware technology and theoretical computer science
پدیدآورنده: edited by Kesav V.Nori
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Computer software- Congresses,، Computer science- Congresses
رده :
QA
76
.
751
.
F68
Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده: Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
Logic at Botik'89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : Proceedings
پدیدآورنده: A.R. Meyer, M.A. Taitslin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
363
Logic at Botik '89: symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989: proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computers architecture,، Programming language )Electronic Computers(
رده :
QA
75
.
5
.
B67
1989
Logic at Botik ʹ89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings
پدیدآورنده: Botik ʹ89, Pereslavl-Zalessky, 1989
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Computers- Congresses ► Electronic data processing- Congresses ► Logic, Symbolic and mathematical- Congresses
رده :
B749l
Logic for computer science:foundations of automatic theorem
پدیدآورنده: GALLIER,JEAN H
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
G35
Logic for computer science : foundations of automatic theorem proving
پدیدآورنده: Gallier, Jean H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
G35
Logical Foundations of Computer Science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع:
Logical Foundations of Computer Science
پدیدآورنده: \ Sergei Artemov , Anil Nerode (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Computer logic -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L6
2015
E-Book
,
Logical Foundations of Computer Science
پدیدآورنده: / Sergei Artemov, Anil Nerode
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Logical foundations of computer science :
پدیدآورنده: Sergei Artemov, Anil Nerode (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Computer science, Congresses
Logical foundations of computer science
پدیدآورنده: / Sergei N. Artemov, Anil Nerode (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Congresses,Logic, Symbolic and mathematical--Congresses,Programa?c?ao laogica (congressos)--larpcal,Ci?encia da computa?c?ao (congressos)--larpcal
رده :
QA
,
75
.
5
,.
L44
,
2007
Logical foundations of computer science
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Programa??o l?gica (congressos) ; larpcal. ; Ci??ncia da computa??o (congressos) ; larpcal. ;
Logical foundations of computer science
پدیدآورنده: Peter A. Fejer & Dan A. Simovici.,Fejer, Peter A.,
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer logic.
Logical foundations of computer science :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Congresses. ;
Logical foundations of computer science
پدیدآورنده: Sergei Artemov, Anil Nerode (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses,Computer science, Congresses
رده :
QA75
.
5
.
L43
2013
Logical foundations of computer science :
پدیدآورنده: eds.: Anil Nerode ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
Logical foundations of computer science. International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : proceedings
پدیدآورنده: LFCS 9002)9002 :Deerfield Beach, Fla.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Computer science Congresses,، Logic, Symbolic and mathematical Congresses
رده :
QA
75
.
5
.
L64
2009
Logical foundations of computer science--Tver '92
پدیدآورنده: A. Nerode, M. Taitslin )eds.(.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computers -- Congresses,Electronic data processing -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
L6
1992
Logical foundations of computer science--Tver '92
پدیدآورنده: A. Nerode, M. Taitslin )eds.(.
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Computers -- Congresses,Electronic data processing -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
76
.
L6
1992
Logical foundations of computer science- Tver'92: second International Symposium: Tver, Russia, Julay 20-24, 1992: proceedigns
پدیدآورنده: A. Nerode, M. Taitslin )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
620
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings
پدیدآورنده: A. Nerode, M. Taitslin )eds.(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
620
Logical foundations of computer science : 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6-12, 1997 : proceedigns
پدیدآورنده: Sergei Adian, Anil Nerode )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1234
Logical foundations of computer science : 4th international symposium, LFCS '97 Yaroslava, Russia, July 6-12, 1997 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
75
.
5
.
L64
1997
Logical foundations of computer science : third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
پدیدآورنده: A. Nerode, Yu.V. Matiyasevich, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
813
Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
پدیدآورنده: A. Nerode, Yuri V. Matiyasevich, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
L64
1994
Mathematical Foundations of Computer Science 2010
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses,Computer logic -- Congresses,علوم کامپیوتر -- ریاضیات -- کنگره‌ها,منطق کامپیوتری -- کنگره‌ها
رده :
E-Book
,
Mathematical Foundations of Computer Science 2007
پدیدآورنده: \ Luděk Kučera, Antonín Kučera (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
E-Book
,
Mathematical Foundations of Computer Science 2004
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses,Mathematical foundations,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
E-Book
,
Mathematical Foundations of Computer Science 1977 :
پدیدآورنده: by J. Gruska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.
رده :
QA267
.
B954
1977
Mathematical Foundations of Computer Science 1986 :
پدیدآورنده: edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA267
.
E358
1986
Mathematical Foundations of Computer Science 1996 :
پدیدآورنده: edited by Wojciech Penczek, Andrzej Szałas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Information theory.,Software engineering.
رده :
QA76
.
9
.
M35
E358
1996
Mathematical Foundations of Computer Science 2011
پدیدآورنده: / Filip Murlak, Piotr Sankowski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Mathematical Foundations of Computer Science 2014
پدیدآورنده: / sikn ع, Martin Dietzfelbinger, ZoltهVarj-bet CsuhajفErzs
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Mathematical Foundations of Computer Science 2013
پدیدآورنده: / SgallکKrishnendu Chatterjee, Jir
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Mathematical Foundations of Computer Science 2012
پدیدآورنده: / Branislav Rovan, Vladimiro Sassone, Peter Widmayer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Mathematical Foundations of Computer Science 2015
پدیدآورنده: \ Giuseppe F. Italiano , Giovanni Pighizzini, Donald T. Sannella (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
.
M32
2015
E-Book
,
Mathematical Foundations of Computer Science 1975 :
پدیدآورنده: by J. Becvar.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.
رده :
QA267
.
5
.
S4
B953
1975
Mathematical Foundations of Computer Science 1990
پدیدآورنده: / Rovan, B.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer Science - Mathematics - Congresses
رده :
QA76
.
9
.
M35S96
1660
Mathematical Foundations of Computer Science 2015
پدیدآورنده: / Giuseppe F. Italiano, Giovanni Pighizzini, Donald T. Sannella
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Mathematical Foundations of Computer Science 2014
پدیدآورنده: / sikn ع, Martin Dietzfelbinger, ZoltهVarj-bet CsuhajفErzs
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
Mathematical Foundations of Computer Science 1976 :
پدیدآورنده: edited by Antoni Mazurkiewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
Mathematical Foundations of Computer Science 1981 :
پدیدآورنده: edited by Jozef Gruska, Michal Chytil.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Science,Computer science.,Computer software.
رده :
QA267
.
E358
1981
Mathematical Foundations of Computer Science 1991 :
پدیدآورنده: edited by Andrzej Tarlecki.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Software engineering.
رده :
QA76
.
9
.
M35
E358
1991
Mathematical Foundations of Computer Science 1994 :
پدیدآورنده: edited by Igor Prívara, Branislav Rovan, Peter Ruzička.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computers.,Software engineering.
رده :
QA76
.
9
.
M35
E358
1994
Mathematical Foundations of Computer Science 2001
پدیدآورنده: \ Jiří Sgall, Aleš Pultr, Petr Kolman (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگره‌ها
رده :
E-Book
,
Mathematical Foundations of Computer Science 2010
پدیدآورنده: / n Kueraک, AntonیPetr Hlinn
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Mathematical Foundations of Computer Science 1989 :
پدیدآورنده: edited by Antoni Kreczmar, Grazyna Mirkowska.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA76
.
9
.
M35
E358
1989
