<--- Back to Details
First PageDocument Content
Nickeline / Gersdorffite / Rammelsbergite / Breithauptite / Skutterudite / Safflorite / Nickel / Bismuthinite / Arsenide mineral / Crystallography / Chemistry / Matter
Date: 2007-09-30 02:32:26
Nickeline
Gersdorffite
Rammelsbergite
Breithauptite
Skutterudite
Safflorite
Nickel
Bismuthinite
Arsenide mineral
Crystallography
Chemistry
Matter

Add to Reading List

Source URL: www.handbookofmineralogy.com

Download Document from Source Website

File Size: 59,60 KB

Share Document on Facebook

Similar Documents

Formal methods / Software engineering / Computing / Logic in computer science / Non-interference / Exception handling / Formal verification / Refinement / Thread / Futures and promises / Covert channel / Application programming interface

Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

DocID: 1xVUp - View Document

Aircraft instruments / Standards / Covert channel / Steganography / ARINC 653 / ARINC / Verification / Human behavior / Technology / User interface design / Design

Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang

DocID: 1xV5v - View Document

PDF Document

DocID: 1xGDt - View Document

PDF Document

DocID: 1xqsR - View Document

PDF Document

DocID: 1xcec - View Document