✦ LIBER ✦

The SHIFT programming language for dynamic networks of hybrid automata

✍ Scribed by A. Deshpande; A. Gollu; L. Semenzato

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the induction operation for shift sub

✍ Silvio Capobianco 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 235 KB

[Lecture Notes in Computer Science] Auto

✍ Abramsky, Samson; Gavoille, Cyril; Kirchner, Claude; Meyer auf der Heide, Friedh 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 225 KB

C-language molecular dynamics program fo

✍ Monika Bargieł; Witold Dzwinel; Jacek Kitowski; Jacek Mościński 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 881 KB

On the method of dynamic programming for

✍ V. V. Azmyakov; R. Galvan-Guerra; A. E. Polyakov 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 276 KB

[Lecture Notes in Computer Science] Auto

✍ Díaz, Josep; Karhumäki, Juhani; Lepistö, Arto; Sannella, Donald 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 235 KB

DTL: A language for the design and imple

✍ J. W. Hughes; M. S. Powell 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 722 KB