3341. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
3342. Temporal logic of programs
پدیدآورنده : KROGER,FRED
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
K753
3343. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
3344. Temporal logic of programs
پدیدآورنده : Kroger, Fred
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
K753
1987
3345. The A+ exams guide :
پدیدآورنده : Christopher A. Crayton.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computing Technology Industry Association-- Examinations,Computing Technology Industry Association / Examinations / Study guides.,Computing Technology Industry Association.,Computer networks-- Examinations, Study guides.,Computer technicians-- Certification, Study guides.,Telecommunications engineers-- Certification.,Computer networks-- Examinations.,Computer technicians-- Certification.,Computer technicians-- Certification.,COMPUTERS-- Hardware-- Personal Computers-- Macintosh.,COMPUTERS-- Hardware-- Personal Computers-- PCs.,Electronic technicians-- Certification-- United States.,Examinations.,Microcomputers-- Maintenance and repair-- Examinations-- Study guides.,Telecommunications engineers-- Certification.
رده :
TK5105
.
5
.
C73
2008eb
3346. The Application of digital computers to structural engineering problems
پدیدآورنده : / D. M. Brotton
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Structural analysis (engineering),Electronic data processing - Civil engineering,Electronic digital computers
رده :
TA645
.
B75
3347. The Architecture and engineering of digital computer complexes
پدیدآورنده : Beizer, Boris
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Electronic digital computers
رده :
QA
76
.
5
.
B37
3348. The Art of computer programming
پدیدآورنده : / Donald Ervin Knuth
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Electronic digital computers-- programming
رده :
QA
76
.
6
.
K64
3349. The Art of digital design: an introduction to top - down design
پدیدآورنده : / Franklin P. Prosser, David E. Winkel
موضوع : Electronic digital computers - Design and construction,Minicomputers - Design and construction
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
3350. The Boundary-Scan handbook
پدیدآورنده : / by Kenneth P. Parker
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Printed circuits--Testing,Printed circuits--Testing--Standards,Electronic digital computers--Circuits - Design and construction
رده :
TK
7868
.
P7P3
1992
R
3351. The Boundary-Scan handbook
پدیدآورنده : / by Kenneth P. Parker
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Printed circuits--Testing,Printed circuits--Testing--Standards,Electronic digital computers--Circuits - Design and construction
رده :
TK
7868
.
P7P3
1992
R
3352. The Boundary-Scan handbook
پدیدآورنده : Parker, Kenneth P.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Printed circuits-- Testing,، Printed circuits-- Testing-- Standards,، Boundary scan testing,، Electronic digital computers-- Circuits-- Design and construction
رده :
TK
7868
.
P7
.
P3
1992
3353. The Brains of men and machines
پدیدآورنده : Ernest W. Kent
موضوع : Brain,Artifical Intelligence,Electronic digital computers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3354. <The> Computer Chronicles
پدیدآورنده : H.D.Lechner
کتابخانه: Library of Faculty of Management of Tehran University (Tehran)
موضوع : Electronic Digital computers
3355. The Computerized Soiety
پدیدآورنده : / by the editors of Tim-life Books
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Computers and civilization,Electronic digital computers
رده :
QA
76
.
9
.
C66C638
1987
3356. The Craft of programming
پدیدآورنده : Reynolds, John C
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers
رده :
QA
76
.
6
.
R47
3357. The Cray X-MP/model 24: a case study in piplied architecture and vector processing
پدیدآورنده : Robbins, Kay, A.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Cray X-MO/ Model 42 )Computer(,، Electronic digital computers
رده :
QA
76
.
8
.
C7
.
R9
3358. The Design and application of parallel digital processors, 11- 15 April 1988
پدیدآورنده :
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Electronic digital computers- Design and construction- Congresses,، Parallel processing )Electronic computers(- Congresses
3359. The Designer,s guide toVHDL.
پدیدآورنده : / Peter J.Ashenden
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : VHDL (Computer hardware description language),Electronic digital computers- - computer simulation
رده :
TK
7888
.
3
.
A863
2002
3360. <The> Digital Hand
پدیدآورنده : \ James W. Cortada.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automation -- Economic aspects -- United States.,Manufacturing industries -- United States -- Automation.,خودکاری -- جنبه های اقتصادی -- ایالات متحده,صنعت تولیدی -- ایالات متحده -- خودکاری
رده :
E-Book
,
