✦ LIBER ✦

Web Services and Interoperability for the Maude Termination Tool

✍ Scribed by Francisco Durán; Salvador Lucas; José Meseguer; Francisco Gutiérrez

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The DBCLS BioHackathon: standardization

✍ Toshiaki Katayama; Kazuharu Arakawa; Mitsuteru Nakao; Keiichiro Ono; Kiyoko F Ao 📂 Article 📅 2010 🏛 BioMed Central 🌐 English ⚖ 530 KB

The 2nd DBCLS BioHackathon: interoperabl

✍ Toshiaki Katayama; Mark D Wilkinson; Rutger Vos; Takeshi Kawashima; Shuichi Kawa 📂 Article 📅 2011 🏛 BioMed Central 🌐 English ⚖ 662 KB

Multimedia data and tools for Web servic

✍ Alves dos Santos, L.M. 📂 Article 📅 1998 🏛 IEEE 🌐 English ⚖ 735 KB

Geospatial Services and Applications for

✍ Sample, John T.; Shaw, Kevin; Tu, Shengru; Abdelguerfi, Mahdi 📂 Article 📅 2008 🏛 Springer US ⚖ 274 KB

Accessing the SEED Genome Databases via

✍ Terry Disz; Sajia Akhter; Daniel Cuevas; Robert Olson; Ross Overbeek; Veronika V 📂 Article 📅 2010 🏛 BioMed Central 🌐 English ⚖ 685 KB

The Web as A Tool For Proving

✍ Petros Stefaneas; Ioannis M. Vandoulakis 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 203 KB