741. Concurrent and Real-time Systems: The CSP approach
پدیدآورنده : Steve Schneider
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Electronic digital Computers -- Programming,Parallel Proceessing ( Electronic computers )
رده :
QA
،
76
.
6
،.
S34
,
C6
،
2000
742. Concurrent object-oriented programming and Petri Nets : advances in Petri Nets
پدیدآورنده : Gul A. Agha, Fiorella De Cindio, Grzegorz Rozenberg )eds.(
کتابخانه: (طهران)
موضوع : ، Object-oriented programming )Computer science(,، Parallel processing )Electronic computers(,، Petri nets
رده :
QA
76
.
L28
Vol
.
2001
743. Concurrent object-oriented programming and Petri nets: advances in Petri nets
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Object-oriented programming )Computer science(,، Parallel processing )Electronic computers(,، Petri nets
رده :
QA
76
.
64
.
C6353
2001
744. Conference proceedings . The 3rd Annual Symposium on Computer Architecture;sponsored by the IEEE Computer Society and the Association for Computing Machinery, January 19-21, 1976
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Congresses,، Electronic digital computers-- Programming-- Congresses
رده :
QA
76
.
5
.
S965
1976
745. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002
پدیدآورنده : sponsored by ACM Special Interest Group on Programming Languages )SIGPLAN(; supported by : the University of Aizu
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
P45
2002
746. Constructing Progarms from specifications
پدیدآورنده : / Edited by B. Moller
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Electronic digital computers -- Programming -- Congresses
رده :
QA
76
.
6
.
I1779
1991
747. Constructing quality software: proceedings of the IFIP working conference on constructing quality software
پدیدآورنده : / edited by P. G. Hibbard, S. A. Schuman
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming - Congresses,Programming languages (Electronic computers) - Congresses
رده :
001
.
6425
I23c
1977
748. Construction et verification de programmes
پدیدآورنده : BACKHOUSE,ROLAND C
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
7
.
B22
1989
749. Construction of data Processing software
پدیدآورنده : / John Elder
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Electronic digital computers-programming,File organization (Computer Science),Cobol(computer program language)
رده :
004
.
028551
E37c
750. Construction of data processing software
پدیدآورنده : ELDER,JOHN
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , FILE ORGANIZATION )COMPUTER SCIENCE( , COBOL )COMPUTER PROGRAM
رده :
QA
76
.
6
.
E434
751. Construction of data processing software
پدیدآورنده : Elder, John
موضوع : ، Electronic digital computers-- Programming,، File organization )Computer science(,، COBOL )Computer program language(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
752. Construction of data processing software
پدیدآورنده : Elder, John
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، File organization )Computer science(,، COBOL )Computer program language(
رده :
QA
76
.
6
.
E434
1984
753. Construction of data processing software
پدیدآورنده : / John Elder
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Electronic digital computers - Programming,File organization (Computer science),COBOL (Computer program language)
رده :
QA76
.
6
.
E434
1984
754. Construction of data processing software
پدیدآورنده : / John Elder
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Electronic digital computers- Programming,File organization (Computer science),COBOL (Computer program language)
رده :
QA76
.
6
.
E434
1984
755. Construction of data processing software
پدیدآورنده : Elder, John, 9491-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic digital computers -- Programming,، File organization )Computer science(,، COBOL )Computer program language(
رده :
QA
76
.
6
.
E434
756. Construction of data processing software
پدیدآورنده :
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Electronic digital computers--Programming,File organization (Computer science),COBOL (computer program language)
رده :
QA
76
.
6
.
E434
1984
757. Construction of data processing software
پدیدآورنده :
کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع : Electronic digital computers--Programming,File organization (Computer science),COBOL (computer program language)
رده :
QA
76
.
6
.
E434
1984
758. Control data 6400/6500/6600 Computer system remote computing products general information manual
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
C698
759. Control data 6400/6500/6600 computer systems EXPORT/IMPORT 8130 reference manual
پدیدآورنده :
موضوع : ، EXPORT/IMPORT 0318 )Computer program language(,، Electronic digital computers-- Programming
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
760. Control data 6000 Computer systems 274 interactive graphics system and Export/Import highspeed, operator's guide version 2
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Control data 0006 )Computer(-- Programming,، Electronic digital Computers-- Programming
رده :
QA
76
.
5
.
C693
