Formal Methods for Mobile Computing
Editat de Marco Bernardo, Alessandro Boglioloen Limba Engleză Paperback – 13 apr 2005
Preț: 321.36 lei
Preț vechi: 401.70 lei
-20%
Puncte Express: 482
Carte tipărită la comandă
Livrare economică 27 iulie-10 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540256977
ISBN-10: 3540256970
Pagini: 284
Ilustrații: VIII, 272 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540256970
Pagini: 284
Ilustrații: VIII, 272 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Computer Networks: A Systems ApproachLarry L. Peterson-41%Preț: 551.40 lei941.81 lei -
Formal Methods for Multi-Agent Feedback Control SystemsDimos V. Dimarogonas-20%Preț: 600.65 lei750.82 lei -
-20%Preț: 364.10 lei455.13 lei -
Networking All-in-One For DummiesDoug Lowe-20%Preț: 254.21 lei317.77 lei -
Advanced Wired and Wireless NetworksTadeusz A Wysocki-20%Preț: 639.12 lei798.89 lei -
-30%Preț: 1370.55 lei1965.94 lei -
Mobile Computing Research & ApplicationsKevin Y Chen-41%Preț: 920.72 lei1566.57 lei -
-37%Preț: 274.08 lei434.10 lei -
Advances in AI for Cloud, Edge, and Mobile Computing ApplicationsShrikaant Kulkarni-94%Preț: 104.84 lei1623.82 lei -
Web, Artificial Intelligence and Network ApplicationsLeonard Barolli-20%Preț: 1255.62 lei1569.53 lei -
Networked SystemsSalem Lahlou-20%Preț: 982.68 lei1228.35 lei -
-20%Preț: 391.93 lei489.91 lei -
-18%Preț: 1333.69 lei1626.45 lei -
-20%Preț: 316.28 lei395.35 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 333.68 lei417.09 lei -
-20%Preț: 324.19 lei405.23 lei -
-20%Preț: 325.79 lei407.24 lei -
-20%Preț: 328.16 lei410.20 lei -
Intelligent Mobile Edge Computing and SensingWanming Hao-20%Preț: 1239.36 lei1549.19 lei
Public țintă
ResearchCuprins
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.