Knihu momentálně nemáme skladem
Formal methods for mobile computing
Autoři
Parametry
Více o knize
InhaltsverzeichnisModels 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.
Nákup knihy
Formal methods for mobile computing, Marco Bernardo
- Jazyk
- Rok vydání
- 2005
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- Formal methods for mobile computing
- Jazyk
- anglicky
- Autoři
- Marco Bernardo
- Vydavatel
- Springer
- Rok vydání
- 2005
- ISBN10
- 3540256970
- ISBN13
- 9783540256977
- Série
- Lecture notes in computer science
- Kategorie
- Počítače, IT, programování
- Anotace
- InhaltsverzeichnisModels 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.