1. Algorithms : their complexity and efficiency
پدیدآورنده : Kronsjo, Lydia I.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Computer algorithms,، Numerical analysis-- Data processing,، Computational complexity
رده :
QA
76
.
6
.
K76
1987
2. Calculating with Fortran
پدیدآورنده : Manifold, George O.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
3. Catalogue of artificial intelligence tools
پدیدآورنده : edited by Alan Bundy
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs
رده :
Q
336
.
C27
1986
4. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs
رده :
Q
336
.
B86
1986
5. Catalogue of artificial intelligence tools
پدیدآورنده : Bundy, Alan.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Artificial intelligence - Data processing,، Robotics,، Electronic digital computers - Programming,، Computer software - Catalogs
رده :
Q
336
.
B86
1984
6. Computer science, a mathematical interoduction applied mathematics--modelling analysis, and optimization techniques with application to software ystems
پدیدآورنده : Art Lew
موضوع : Electronic data processing--Mathematics,Electronic digital computer-Programming,Computer science - Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Computer data processing & prg programming
پدیدآورنده : GILDERSLEEVE,THOMAS ROBERT
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DATA PROCESSING , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PRG )COMPUTER PROGRAMMING
رده :
QA
76
.
G48
8. Computer science a modern introduction
پدیدآورنده : Goldschlager, Les
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Electronic data processing,، Electronic digital computer- Programming
رده :
QA
76
.
G6C6
9. Computing problems for fortran solution
پدیدآورنده : TEAGUE,ROBERT
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : FORTRAN )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , ELECTRONIC DATA PROCESSING-
رده :
QA
76
.
73
.
F25
T4
10. Conceptual programming using BASIC
پدیدآورنده : Baker, Allen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، BASIC )Computer program language(,Programming ، Electronic digital computers,Data processing ، Problem solving
رده :
QA
76
.
73
.
B3
B34
1984
11. Control flow and data flow: concepts of distributed programming: international summer school directed by F.L. Bauer, E.W. Dijkstra, C.A.R. Hoare
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Distributed processing Congresses ، Electronic data processing,programming- Congresses ، Electronic digital Computer
رده :
QA
76
.
9
.
D5
.
N375
1984a
12. Designing systems programs
پدیدآورنده : GAUTHIER,RICHARD L
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LANGUAGE & LANGUAGES-DATA PROCESSING , COMPILING )ELECTRONIC COMPUTER
رده :
QA
76
.
5
.
G35
13. Digital computing; Fortran IV and its applications in behavioral science
پدیدآورنده : Lehman, Richard S.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Programming,، FORTRAN IV )Computer program language(,، Social sciences-- Data processing
رده :
QA
76
.
5
.
L44
14. Einfuhrung in die Methoden der Programmierung kaufmannischer und wissenschaftlicher Probleme fur elektronische Rechenanlagen
پدیدآورنده : Thuring, Bruno
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : programming ، Electronic digital Computer,، Electronic data processing,Programming ، Univac computer
رده :
HF
5548
.
2
.
T45
15. Embedded real- time systems
پدیدآورنده : Calvez, Jean Paul.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Electronic digital computers- Programming,، Real- time data processing,، Embedded computer systems- Programming
16. Embedded real-time systems
پدیدآورنده : Calvez, Jean Paul.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Electronic digital computers - Programming , Real-time data processing , Embedded computer systems - Programming
رده :
QA
76
.
6
.
C338313
1993
17. Engineering and scientific computations in PASCAL
پدیدآورنده : Huelsman, Lawrence P
موضوع : ، Engineering-- Data processing,، Pascal )Computer program language(,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
18. Final cut server 1.5 /
پدیدآورنده : Drew Tucker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Final cut (Electronic resource),Digital video-- Editing-- Data processing.,Macintosh (Computer)-- Programming.,Video tapes-- Editing-- Data processing.
19. Hatrix computer analysis of structures
پدیدآورنده : [by] M.F. Rubinstein
کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)
موضوع : Electronic data processing-Structures Theory of,Electronic digital computer Programming,Matxices
رده :
TA
642
.
R8
20. How to solve it by computer
پدیدآورنده : Dromey, R.G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Mathematics,Data processing ، Problems solving,Programming ، Electronic digital computer
رده :
QA
76
.
95
.
D76
1982