𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - Guadeloupe, French Caribbean (2007.03.4-2007.03.9)] 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - Weakest Preconditions for Applied \pi-Calculus

✍ Scribed by Jiao, Decai; Sinclair, David

Book ID: 124163513
Publisher: IEEE
Year: 2007
Weight: 186 KB
Edition: Cdrth
Category: Article
ISBN-13: 9780769527987
DOI: 10.1109/ICCGI.2007.63

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2007 International Multi-Conferenc

[IEEE 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - Guadeloupe, French Caribbean (2007.03.4-2007.03.9)] 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - Evaluation of a Learning Management System for Adaptivity Purposes

✍ Popescu, Elvira; Trigano, Philippe; Badica, Costin 📂 Article 📅 2007 🏛 IEEE ⚖ 330 KB

[IEEE 2007 International Multi-Conferenc

[IEEE 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - Guadeloupe, French Caribbean (2007.03.4-2007.03.9)] 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - Distributed Data Storage with Strong Offline Access Support

✍ Hejtmanek, Lukas; Matyska, Ludek 📂 Article 📅 2007 🏛 IEEE ⚖ 137 KB

[IEEE 2007 International Multi-Conferenc

[IEEE 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - Guadeloupe, French Caribbean (2007.03.4-2007.03.9)] 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - Integrating Voice over IP Services in IPv4 and IPv6 Networks

✍ Lambrinos, Lambros; Kirstein, Peter 📂 Article 📅 2007 🏛 IEEE ⚖ 233 KB

[IEEE 2007 International Multi-Conferenc

[IEEE 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - Guadeloupe, French Caribbean (2007.03.4-2007.03.9)] 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07) - From Standard Definition to High Definition Migration in Current Digital Video Broadcasting

✍ Bodecek, Kamil; Novotny, Vit 📂 Article 📅 2007 🏛 IEEE ⚖ 587 KB

[IEEE 2006 International Multi-Conferenc

[IEEE 2006 International Multi-Conference on Computing in the Global Information Technology - (ICCGI'06) - Bucharest, Romania (2006.08.1-2006.08.3)] 2006 International Multi-Conference on Computing in the Global Information Technology - (ICCGI'06) - BitTorrent Traffic Characteristics

✍ Erman, David; Ilie, Dragos; Popescu, Adrian 📂 Article 📅 2006 🏛 IEEE ⚖ 289 KB

[IEEE 2006 International Multi-Conferenc

[IEEE 2006 International Multi-Conference on Computing in the Global Information Technology - (ICCGI'06) - Bucharest, Romania (2006.08.1-2006.08.3)] 2006 International Multi-Conference on Computing in the Global Information Technology - (ICCGI'06) - Multi-Attribute Decision Making E-Course

✍ Resteanu, Cornel; Somodi, Marius; Alexe, Bogdan 📂 Article 📅 2006 🏛 IEEE ⚖ 301 KB