✦ LIBER ✦

More products for OEM computer

Publisher: Elsevier Science
Year: 1976
Weight: 121 KB
Volume: 1
Category: Article
ISSN: 0308-5953
DOI: 10.1016/0308-5953(76)90114-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

More glass and ceramic products for faci

More glass and ceramic products for facing buildings

📂 Article 📅 1961 🏛 Springer US 🌐 English ⚖ 355 KB

Computer-assisted mould design for styro

Computer-assisted mould design for styrofoam products

✍ S.W. Lye; H.Y. Yeong 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 874 KB

Succinic acid: more projects for biosour

Succinic acid: more projects for biosourced production

📂 Article 📅 2009 🏛 Elsevier Science ⚖ 66 KB

Verenium and VPP agree to test C 5 cellulosic technology on pulping feedstocks for

More glass and ceramic products for the

More glass and ceramic products for the national economy

✍ V. I. Degtyarev 📂 Article 📅 1962 🏛 Springer US 🌐 English ⚖ 312 KB

An efficient algorithm for product compu

An efficient algorithm for product computations on computer

✍ K.C. Wong; S.Sitharama Iyengar 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 263 KB

Yet more image computations for SMV, the

Yet more image computations for SMV, the symbolic model verifier

✍ Hiromi Hiraishi 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 128 KB

This paper describes a collection of techniques to improve the efficiency of the pre-and postimage computations that are the core of the Symbolic Model Verifier (SMV), which is used for formal logic design verification. The proposed techniques aim mostly at improving the efficiency of the verificati