2041. Topics in theoretical computer science :
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Congresses. ;

2042. Topology and category theory in computer science
المؤلف: edited by G. M. Reed, A. W. Roscoe and R. F. Wachter
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Topology,، Categories )Mathematics(
رده :
QA
76
.
9
.
M35T66
1991


2043. Transactions on Engineering Technologies Special Issue of the World Congress on Engineering and Computer Science 2013
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Engineering > Congresses. Technology > Congresses. Computer science > Congresses.
رده :
E-Book
,

2044. Trends, Techniques, and Problems in Theoretical Computer Science :
المؤلف: edited by Alica Kelemenová, Jozef Kelemen.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Statistics.

2045. Trends in Computer Science, Engineering and Information Technology
المؤلف: / Dhinaharan Nagamalai, Eric Renault, Murugan Dhanuskodi
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK

2046. Trends in computer science, engineering and information technology
المؤلف: Dhinaharan Nagamalai, Eric Renault, Murugan Dhanuskodi (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer engineering, Congresses.,Computer science, Congresses.,Information technology, Congresses.

2047. Trends, techniques, and problems in theoretical computer science : 4th International Meeting of
المؤلف: Alica Kelemenova, Jozef Kelemen, eds
المکتبة: (طهران)
موضوع: Congresses ، Computers
رده :
QA
76
.
L28
Vol
.
281


2048. Understanding computer science
المؤلف: \ Ray Bradley.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: کامپیوترها.,دادهپردازی.
رده :
QA
۷۶
/
ب
۴
آ
۸ ۱۳۶۷

2049. Understanding computer science for advanced level
المؤلف: / Ray Bradley.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ساختار دادهها,کامپیوترهای رقمی
رده :
QA
۷۶
/
ب
۴
آ
۸ ۱۳۶۷

2050. Universal Algebra and Applications in Theoretical Computer Science
المؤلف: / Klaus Denecke, Shelly L. Wismath
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Algebra, Universal.,Computer Science _ Mathematics.
رده :
QA251
.
D
385


2051. Universal algebra and applications in theoretical computer science
المؤلف: Denecke, Klaus
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Algebra, Universal,، Computer science-- Mathematics
رده :
QA
251
.
D385
2002


2052. Universal algebra and applications in theoretical computer science
المؤلف: Denecke, Klaus
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Algebra, Universal,Mathematics ، Computer science
رده :
QA
251
.
D385
2002


2053. Universal algebra and applications in theoretical computer science
المؤلف: Denecke, Klaus
المکتبة: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع: ، Algebra, Universal,، Computer scienc--Mathematics
رده :
QA
251
.
D34U56
2002


2054. Universal algebra and applications in theoretical computer science
پدیدآورنده : klaus Denecke, Shelly l. Wismath
موضوع : Algebra, Universal,Computer science - mathematics
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
2055. Universal algebra and applications in theoretical computer science
المؤلف: Denecke, Klaus
المکتبة: (طهران)
موضوع: ، Algebra, Universal,، Computer science -- Mathematics
رده :
QA
251
.
D44U54


2056. Using Modula-2 : an introduction to computer science I
المؤلف: Riley, David D.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Modula-2 )Computer program language(
رده :
QA
76
.
73
.
M63
.
R55
1987


2057. Using PASCAL an introduction to computer science I
المؤلف: / David D. Riley
المکتبة: كلية الاقتصاد (طهران)
موضوع: PASCAL (Computer program language)
رده :
QA
76
.
73
.
P2R526
1987


2058. Using modula-2:an introduction to computer science i
المؤلف: RILEY,DAVID D
المکتبة: (طهران)
موضوع: MODULA-2 )COMPUTER PROGRAM LANGUAGE(
رده :
QA
76
.
73
.
M63
R55


2059. Verification of computer codes in computational science and engineering
المؤلف: Knupp, Patrick M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Numerical calculations-- Verification,، Differential equations, Partial-- Numerical solutions
رده :
QA
297
.
K575
2003


2060. Verification of computer codes in computational science and engineering
المؤلف: Knupp, Patrick M.
المکتبة: (طهران)
موضوع: ، Numerical calculations -- Verification,، Differential equations, Partial -- Numerical solutions
رده :
QA
297
.
K59V46

