Login
|
ภาษาไทย
|
English
|
Home
Search
Member
Search Results
Search within results
Anywhere
Title
Author
Subject
Tags
ISBN/ISSN
Publisher
Journal title
Found
:
2
Titles
Order by
:
Relevance
Title A-Z
Pub date (newest)
Pub date (oldest)
Author A-Z
Call Number
Show
:
5
10
15
20
25
30
Per Page
Select Page
|
Deselect Page
|
Export saved(0)
|
Clear saved(0)
Source Types
Book
Title
Building high integrity applications with SPARK
Author
McCormick, John W., 1948-.
Published
New York, NY : Cambridge University Press, 2015.
Call Number
004.2 Mc131B 2015
Location
สำนักวิทยบริการและเทคโนโลยีสารสนเทศ
Source Types
Book
Title
Quantum error correction
Author
Lidar, Daniel A., ed.
Published
Cambridge : Cambridge University Press, 2013.
Call Number
004.2 Qu1 2013
Location
สำนักวิทยบริการและเทคโนโลยีสารสนเทศ
Page :
1
Search Tools:
Get RSS Feed
Current Search
Subject
Fault-tolerant computing
Author
Brun, Todd A., ed (1)
Chapin, Peter C., author (1)
Lidar, Daniel A., ed (1)
McCormick, John W., 1948- (1)
Subject
Fault-tolerant computing (2)
Error-correcting codes (Information theory) (1)
Quantum computers (1)
SPARK (Computer program language) (1)
Publish year
2015 (1)
2013 (1)
Source Types
Book (2)
Location
สำนักวิทยบริการและเทคโนโลยีสารสนเทศ (2)