✦ LIBER ✦

A PROPERTY OF 2-SORTED PEANO MODELS AND PROGRAM VERIFICATION

✍ Scribed by L. Csirmaz; J. B. Paris

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A novel collaborative scheme of simulati

✍ Ming Zhu; Jinian Bian; Weimin Wu 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 458 KB

A new approach to computing hedonic equi

✍ Nicolai V. Kuminoff; Abdul Salam Jarrah 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 825 KB

Verification of a simple numerical fuel

✍ S.F Au; N Woudstra; K Hemmes; I Uchida 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 323 KB

Mathematical Modeling, Simulation, and E

✍ G. Zahedi; A. Jahanmiri; A. Elkamel; A. Lohi 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 140 KB

Biofilm growth and the related changes i

✍ Stewart W. Taylor; Peter R. Jaffé 📂 Article 📅 1990 🏛 American Geophysical Union 🌐 English ⚖ 865 KB

[Lecture Notes in Computer Science] Data

✍ Liddle, Stephen W.; Schewe, Klaus-Dieter; Tjoa, A Min; Zhou, Xiaofang 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 73 KB