61. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: / Dirk Taubner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
,
76
.
9
,.
D5
,
T39
,
1989
62. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: Taubner, Dirk
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
63. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: Taubner, Dirk
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
64. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده: Taubner, Dirk, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
65. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
66. Formal methods for concurrency
پدیدآورنده: Fencott, Clive
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
67. From Point to Pixel:
پدیدآورنده: Hoy, Meredith Anne
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
68. GNU Octave
پدیدآورنده: Jesper Schmidt Hansen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Numerical analysis-- Data processing,Programming languages (Electronic computers)
رده :
QA76
.
73
.
G58
S36
2011
69. Handbook of circuit analysis languages and techniques
پدیدآورنده: editors, Randall W. Jensen, Lawrence P. McNamee
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Electronic circuit design -- Data processing,، Programming languages )Electronic computers(
رده :
TK
7867
.
J39
70. Handbook of circuit analysis languages and techniques
پدیدآورنده : editors, Randall W. Jensen, Lawrence P. McNamee
موضوع : Electronic circuit design- Data processing,Programming languages (Electronic computers)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
71. Handbook on parallel and distributed processing
پدیدآورنده: edited by Jacek Blazewicz [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing -- Distributed processing.,Parallel processing (Electronic computers)
رده :
QA76
.
58
E358
2011
72. Hardware description languages and their applications: specification, modelling, verification and synthesis of microelectronic systems: IFIP TC10 WG10.5 International Conference on Computer Hardware Description Languages and their Applications, 20-25 April 1997, Toledo, Spain
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Design and construction-- Data processing-- Congresses,، Digital electronics-- Data processing-- Congresses,، Programming language )Electronic computers(-- Congresses
رده :
TK
7888
.
3
.
I57
1997
73. Informationsverarbeitung :
پدیدآورنده: Juergen Rasch, Angele Daalmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing.,Programming languages (Electronic computers)
74. Informatique
پدیدآورنده: / par Daniel-Jean David,David
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Electronic data processing,Electronic digital computers - Programming,Programming languages ( Electronic computers)
رده :
QA
76
.
D33328
75. Introducing regular expressions
پدیدآورنده: \ Michael Fitzgerald
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Text processing (Computer science),Programming languages (Electronic computers),Electronic data processeing,data processing,متن‌پردازی,زبانهای برنامه‌نویسی کامپیوتر,داده پردازی ,a03,a04,a05,a05,a03,a04,a05
رده :
QA
76
.
9
.
F5I5
2012
E-Book
,
76. Introducing regular expressions /
پدیدآورنده: Michael Fitzgerald.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing.,Programming languages (Electronic computers),Text processing (Computer science)
رده :
QA76
.
9
.
T48
F58
2012
77. Introduction to computer data processing
پدیدآورنده: / Margaret S. Wu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing,Electronic digital computers,Programming languages (Electronic computers)
رده :
QA76
.
W83
78. Introduction to computer data processing
پدیدآورنده: / Margaret S. Wu
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Electronic data processing,Electronic digital computers,Programming languages (Electronic computers)
رده :
QA76
.
W83
79. Introduction to computer data processing
پدیدآورنده: Wu, Margaret Schlosser.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic data processing,، Electronic digital computers,، Programming languages )Electronic computers(
رده :
QA
76
.
W9
