This Book Presents 8 Tutorial Survey Papers By Leading Researchers Who Lectured At The 5th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, Sfm 2005, Held In Bertinoro, Italy In April 2005. Sfm 2005 Was Devoted To Formal Methods And Tools For Th
โฆ LIBER โฆ
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 3771 || Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks
โ Scribed by Romijn, Judi; Smith, Graeme; van de Pol, Jaco
- Book ID
- 121404909
- Publisher
- Springer Berlin Heidelberg
- Year
- 2005
- Weight
- 936 KB
- Category
- Article
- ISBN
- 354032240X
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
[Lecture Notes in Computer Science] Form
โ
Bernardo, Marco; Bogliolo, Alessandro
๐
Article
๐
2005
๐
Springer Berlin Heidelberg
๐
German
โ 717 KB
[Lecture Notes in Computer Science] Mobi
โ
Zhang, Hongke; Olariu, Stephan; Cao, Jiannong; Johnson, David B.
๐
Article
๐
2007
๐
Springer Berlin Heidelberg
โ 694 KB
[Lecture Notes in Computer Science] Ad-H
โ
Kunz, Thomas; Ravi, S. S.
๐
Article
๐
2006
๐
Springer Berlin Heidelberg
โ 317 KB
[Lecture Notes in Computer Science] Netw
โ
Takizawa, Makoto; Barolli, Leonard; Enokido, Tomoya
๐
Article
๐
2008
๐
Springer Berlin Heidelberg
๐
German
โ 869 KB
This Book Constitutes The Refereed Proceedings Of The Second International Conference On Network-based Information Systems, Nbis 2008, Held In Turin, Italy, September 1-5, 2008 In Conjunction With Dexa 2008. The 32 Revised Full Papers Presented Were Carefully Reviewed And Selected From 81 Submission
[Lecture Notes in Computer Science] Mobi
โ
Zhang, Hongke; Olariu, Stephan; Cao, Jiannong; Johnson, David B.
๐
Article
๐
2007
๐
Springer Berlin Heidelberg
๐
German
โ 639 KB
[Lecture Notes in Computer Science] Grid
โ
Park, James J.; Arabnia, Hamid R.; Kim, Cheonshik; Shi, Weisong; Gil, Joon-Min
๐
Article
๐
2013
๐
Springer Berlin Heidelberg
โ 283 KB