721. Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut fur Mathematische Logik und Frundlagenforschung der Universitat Munster/Westfalen
پدیدآورنده: Symposium "Rekursive Kombinatorik")3891:Institut fur Mathematische Logik und Grundlagenforschung der Universitat Munster/Westfalen(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory--Congresses,، Computational complexity--Congresses,، Decision-making--Congresses
رده :
QA
267
.
S98
1983
722. Logical foundations of mathematics and computational complexit
پدیدآورنده: / Pavel Pudlak
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computational complexity,Mathematics,Electronic books
رده :
E-BOOK
723. Logical foundations of mathematics and computational complexity : a gentle introduction
پدیدآورنده: Pavel Pudlak
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
9
.
P83L6
724. Logical foundations of proof complexit
پدیدآورنده: / Stephen Cook, Phuong Nguyen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computational complexity.,Proof theory.,Logic, Symbolic and mathematical.
رده :
QA
,
267
.
7
,.
C695
,
2010
,
WEB
725. Logical foundations of proof complexity
پدیدآورنده: / Stephen Cook, Phuong Nguyen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computational complexity,Proof theory,Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C695
2010
726. Logical foundations of proof complexity
پدیدآورنده: Stephen Cook, Phuong Nguyen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computational complexity,، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
267
.
7
.
C669L6
727. Machines, languages, and complexity
پدیدآورنده: / 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computers -- Congresses,Programming languages (Electronic computers) -- Congresses,Computational complexity -- Congresses
رده :
QA
76
.
5
.
I5773
1988
728. Machines, languages, and complexity
پدیدآورنده: International Meeting of Young Computer Scientists, )5th, 8891, Smolenice, Czechoslovakia(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computers-- Congresses,، Programming languages )Electronic computers(-- Congresses,، Computational complexity-- Congresses
رده :
QA
76
.
5
.
I5773
1988
729. Machines, languages, and complexity : 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988
پدیدآورنده: Selected contributions, J. Dassow, J. Kelemen, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
381
730. Machines, languages, and complexity: 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovkia, November 14-18, 1988: selected contributions
پدیدآورنده: J. Dassow, J. Kelemen )ed.(
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Computers,Congresses ، Programming languages )Electronic computers(,Congresses ، Computational complexity
رده :
QA
76
.
5
.
I57
1988
731. Managed evolution
پدیدآورنده: / Stephan Murer, Bruno Bonati, Frank J. Furrer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Information storage and retrieval systems,Computer storage devices,Computational complexity,Managementinformationssystem., swd
رده :
E-BOOK
732. Managing complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Social systems. ; System theory. ; Computational complexity. ;
733. Managing complexity
پدیدآورنده: / D. Helbing (ed.).
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: Social systems.,System theory,Computational complexity.
رده :
HM
701
.
M36
2008
734. Managing complexity
پدیدآورنده: / D. Helbing (ed.)
کتابخانه: کتابخانه دانشکدگان مدیریت (دانشگاه تهران) (تهران)
موضوع: Social systems,System theory,Computational complexity
رده :
301
H474
m
735. Managing complexity
پدیدآورنده: / D. Helbing (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Social systems.,System theory.,Computational complexity.
رده :
HM
,
701
,.
M36
,
2008
736. Managing complexity: insights, concepts, applications
پدیدآورنده: D. Helbing ]ed.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Social systems,، System theory,، Computational complexity
رده :
HM
701
.
M36
2008
737. Managing complexity: insights, concepts, applications
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Social systems ► System theory ► Computational complexity
رده :
301
M266
738. Mastering the discrete Fourier transform in one, two or several dimensions
پدیدآورنده: / Isaac Amidror
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Fourier transformations,MATHEMATICS / Functional Analysis, bisacsh,Mathematics,Computational complexity,Computer science,Fourier analysis,Visualization,Mathematical Applications in Computer Science,Discrete Mathematics in Computer Science,Math Applications in Computer Science,Mathematics Education
رده :
E-BOOK
739. Mathematical foundations of computer science 1986 : Proceedings of the 12th Symposium, Bratislava, Czchoslovakia, August 25-29, 1986
پدیدآورنده: edited by J. Gruska, B. Rovan and J. Wiedermann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
233
740. Mathematical foundations of computer science 1981 : proceedings, 10th Symposium, Strbske Pleso, Czechoslovakia, August 31-September 4, 1981
پدیدآورنده: edited by J. Gruska and M. Chytil
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
118
