921. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
رده :
Q
334
.
S632
1990
922. Special Topics in Mathematics for Computer Scientists
پدیدآورنده: \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
923. Specification and verification of declarative open interaction models :
پدیدآورنده: Marco Montali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational intelligence,Computer logic,Declarative programming languages,Information technology,Management information systems,Business
رده :
QA76
.
9
.
L63
M66
2010
924. Specification of Software Systems
پدیدآورنده: by V.S. Alagar, K. Periyasamy.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
رده :
QA76
.
9
.
F67
B987
1998
925. Specifying systems :
پدیدآورنده: Leslie Lamport.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems-- Specifications.,Logic, Symbolic and mathematical.,System design.
926. State-Space Search :
پدیدآورنده: by Weixiong Zhang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
رده :
QA402
.
B994
1999
927. Static Analysis :
پدیدآورنده: edited by Baudouin Charlier.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
928. Static Analysis :
پدیدآورنده: by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
929. String processing and information retrieval :
پدیدآورنده: edited by Travis Gagie, Alistair Moffat, Gonzalo Navarro, Ernesto Cuadros-Vargas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)
رده :
QA76
.
9
.
T48
930. Structural Complexity I
پدیدآورنده: by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.
931. Structural Complexity II
پدیدآورنده: by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA267
.
B956
1990
932. Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
پدیدآورنده: Jan Mycielsik, Grzegorz Rozenberg, Arto Salomaa, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Ehrenfeucht, Andrzej,، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1261
933. Substructural logics
پدیدآورنده: edited by Peter Schroeder-Heister and Kosta Dosen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
76
.
S85
1993
934. Subsystems of Second Order Arithmetic
پدیدآورنده: by Stephen G. Simpson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
935. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده: edited by Linda C. van der Gaag.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
936. Symbolic computation and education
پدیدآورنده: / editors, Shangzhi Li, Dongming Wang, Jing-Zhong Zhang
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mathematics--Computer-assisted instruction--Congresses,Computable functions--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
20
,.
C65
,
I585
,
2006
937. Synthesis of arithmetic circuits :
پدیدآورنده: / Jean-Pierre Deschamps, G├شry Jean Antoine Bioul, Gustavo D. Sutter.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer arithmetic and logic units.,Digital electronics.,Embedded computer systems. 1
رده :
E-BOOK
938. Synthesis of arithmetic circuits :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer arithmetic and logic units. ;
939. Synthesis of arithmetic circuits
پدیدآورنده: / Jean-Pierre Deschamps, Gaery Jean Antoine Bioul, Gustavo D. Sutter
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Computer arithmetic and logic units,Digital electronics,Embedded computer systems
رده :
TK7895
.
A65D47
2006
940. Synthesis of arithmetic circuits
پدیدآورنده: / Jean-Pierre Deschamps, Gery Jean Antoine Bioul, Gustavo D. Sutter
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Computer arithmetic and logic units,Digital electronics,Embedded computer systems
رده :
TK7895
.
A65
,
D47
2005
