61. Linear sequential circuits:analysis synthesis & applications
پدیدآورنده : GILL,ARTHUR
کتابخانه: (طهران)
موضوع : SEQUENTIAL MACHINE-THEORY , ELECTRONIC DIGITAL COMPUTERS
رده :
TK
7888
.
3
.
G5
62. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
63. Mathematical foundations of computer science 1995
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Machine theory- Congresses,Formal languages- Congresses,Programming )Electronic computers(- Congresses
64. Mathematical foundations of computer science, 1980: Proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Data base management-- Congresses,، Machine theory-- Congresses
رده :
QA
76
.
6
.
S9194
1980
65. Mathematical foundations of computer science 1977. Proceedings, 6th Symposium. Tatranska Lonmica, September 5-9, 1977
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
M37
66. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
رده :
QA
267
.
5
.
S4
.
S89
1974
67. Mathematical foundations of computer science : symposium at ..
پدیدآورنده :
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
45
,
etc
...
68. Mathematical foundations of computer science : symposium at ..
پدیدآورنده : A. Kreczmar, G. Mirkowska )Eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
379
69. Mathematical foundations of computer science 1991 : 16th International symposium, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings
پدیدآورنده : A. Tarlecki )ed.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
520
70. Proceedings
پدیدآورنده : )Edited by Jerome Fox(
کتابخانه: (طهران)
موضوع : Congresses ، Computers,Congresses ، Machine theory
رده :
TK
7885
.
S9
71. Proceedings
پدیدآورنده : Symposium on Computers and Automata, 1791, New York
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computers-- Congresses,، Machine theory-- Congresses
رده :
TK
7885
.
S9
1971
72. Process algebra and probabilistic methods :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory ; Congresses ; Parallel processing (Electronic computers) ; Congresses ;
73. Process algebra and probabilistic methods: performance modeling and verification: joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
267
.
P36
2001
74. Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
پدیدآورنده : Luca de Alfaro, Stephen Gilmore )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2165
75. Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
پدیدآورنده : Holger Hermanns, Roberto Segala, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
2399
76. Quantum cellular automata :
پدیدآورنده : Massimo Macucci, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cellular automata.,Sequential machine theory.,Cellular automata.,COMPUTERS-- Machine Theory.,Sequential machine theory.
رده :
QA267
.
5
.
C45
Q83
2006eb
77. Self-checking and fault-tolerant digital design
پدیدآورنده : Lala, Parag K
موضوع : Design and construction ، Electronic digital computers,، Fault-tolerant computing,، Logic design,، Sequential machine theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
78. Self-checking and fault-tolerant digital design
پدیدآورنده : Lala, Parag K., 8491-
کتابخانه: (طهران)
موضوع : Design and construction ، Electronic digital computers,، Fault-tolerant computing,، Logic design,، Sequential machine theory
رده :
TK
7888
.
3
.
L2
79. Silicon germanium :
پدیدآورنده : Raminderpal Singh, David Harame, Modest M. Oprysko.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Germanium.,Silicon.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,Elektronisches Bauelement,Germanium,Germanium.,Germanium.,Germanium.,Siliciumhalbleiter,Silicon.,Silicon.
رده :
TK7871
.
9
.
S56
2004eb
80. Simulated annealing and Boltzmann machines : a stochastic approach to combinatorial optimization and neural computing
پدیدآورنده : Aarts, Emile H. L.
کتابخانه: (طهران)
موضوع : ، Simulated annealing )Mathematics(,، Machine theory,، Neural computers
رده :
QA
402
.
5
.
A28
