✦ LIBER ✦

Formalizing computational river networks

✍ Scribed by Shilong Ma; Xiaolin Hu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On computable formal concepts in computa

✍ A. S. Morozov; M. A. L’vova 📂 Article 📅 2007 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 163 KB

The telephonic switching centre network

✍ Henrique Pacca L. Luna; Nivio Ziviani; Regina Helena B. Cabral 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 608 KB

A formal nethod (a networked formal meth

✍ Peter T. Breuer; Simon Pickin 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 378 KB

Formalizing Java-MaC

✍ Usa Sammapun; Raman Sharykin; Margaret DeLap; Myong Kim; Steve Zdancewic 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 243 KB

Computational complexity of formal trans

✍ J. Hartmanis 📂 Article 📅 1974 🏛 Springer 🌐 English ⚖ 801 KB

Stochastic Analog Networks and Computati

✍ Hava T. Siegelmann 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 236 KB