Detail Cantuman
Pencarian SpesifikE Book
Formal Methods for Mobile Computing
- Bagikan:
Models and Languages -- History-Dependent Automata: An Introduction -- Mobile Distributed Programming in X-Klaim -- Scalability and Performance -- Dealing with Node Mobility in Ad Hoc Wireless Network -- Performance Analysis of Mobile Systems -- Dynamic Power Management -- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management -- Dynamic Power Management Strategies Within the IEEE 802.11 Standard -- Middleware Support -- Network Swapping -- Hermes: Agent-Based Middleware for Mobile Computing.
Ketersediaan
Tidak ada salinan data
Informasi Detil
| Judul Seri |
-
|
|---|---|
| No. Panggil |
-
|
| Penerbit | : ., |
| Deskripsi Fisik |
VIII, 272 p.online resource.
|
| Bahasa |
English
|
| ISBN/ISSN |
9783540320210
|
| Klasifikasi |
004.6
|
| Tipe Isi |
-
|
| Tipe Media |
-
|
|---|---|
| Tipe Pembawa |
-
|
| Edisi |
1st ed. 2005.
|
| Subyek |
Computer communication systems.
Software engineering. Programming languages (Electronic computers). Computer logic. Special purpose computers. Computer Communication Networks. Software engineering. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Special Purpose and Application-Based Systems. |
| Info Detil Spesifik |
-
|
| Pernyataan Tanggungjawab |
edited by Marco Bernardo, Alessandro Bogliolo.
|
Informasi Lainnya
| Anak judul |
5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
|
|---|---|
| Judul asli |
-
|
| DOI/URL |
https://doi.org/10.1007/b135888
|
Versi lain/terkait
Tidak tersedia versi lain