Detail Cantuman

Pencarian Spesifik

E Book

Formal Methods for Mobile Computing

SpringerLink (Online service) - Nama Orang
Bernardo, Marco. - Nama Orang
Bogliolo, Alessandro. - Nama Orang

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 Detail

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.
Subjek	Computer communication systems. Computer Communication Networks. Programming languages (Electronic computers). Programming Languages, Compilers, Interpreters. Software engineering. Special purpose computers. Special Purpose and Application-Based Systems. Computer logic. Logics and Meanings of Programs.
Info Detail Spesifik	-
Pernyataan Tanggungjawab	edited by Marco Bernardo, Alessandro Bogliolo.

Versi lain/terkait

Tidak tersedia versi lain

Informasi

Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog