Formal Methods for Mobile Computing

Editat de Marco Bernardo, Alessandro Bogliolo

en Limba Engleză Paperback – 13 apr 2005

Preț: 320^.37 lei

Preț vechi: 400^.47 lei
-20% Nou

Puncte Express: 481

:
56^.68€ • 66^.04$ • 49^.50£

Carte tipărită la comandă

Livrare economică 17-31 ianuarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

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

V-ar putea interesa

Designing the Internet of Things
A McEwen

-20%

Preț: 117^.87 lei

147^.34 lei
Cabling – The Complete Guide to Copper and Fiber–Optic Networking, 5th Edition
A Oliviero

-19%

Preț: 551^.63 lei

681^.02 lei
Dynamic Cloud Collaboration Platform: A Market-Oriented Approach
Mohammad Mehedi Hassan

-20%

Preț: 309^.78 lei

387^.22 lei
Learn Cisco Network Administration in a Month of Lunches
BEN PIPER

-20%

Preț: 165^.97 lei

207^.46 lei
Formal Methods for Executable Software Models
Marco Bernardo

-20%

Preț: 323^.83 lei

404^.79 lei
Formal Methods for Multicore Programming
Marco Bernardo

-20%

Preț: 317^.08 lei

396^.35 lei
Mobile Networks and Management: 8th International Conference, MONAMI 2016, Abu Dhabi, United Arab Emirates, October 23-24, 2016, Proceedings
Ramón Agüero

-20%

Preț: 317^.05 lei

396^.31 lei
Formal Methods for Software Architectures
Marco Bernardo

-20%

Preț: 321^.39 lei

401^.73 lei
Formal Methods for the Design of Real-Time Systems
Marco Bernardo

-20%

Preț: 321^.60 lei

402^.00 lei
NETWORKING 2005. Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems
Raouf Boutaba

-20%

Preț: 1084^.16 lei

1355^.20 lei
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures
Marco Bernardo

-20%

Preț: 317^.85 lei

397^.31 lei
General Theory of Information Transfer and Combinatorics
Rudolf Ahlswede

-20%

Preț: 665^.23 lei

831^.55 lei
Computational Science and Its Applications - ICCSA 2008: International Conference, Perugia, Italy, June 30 - July 3, 2008, Proceedings, Part I
Osvaldo Gervasi

-20%

Preț: 718^.03 lei

897^.53 lei
Communication and Networking: International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part I
Alan Chin-Chen Chang

-20%

Preț: 319^.13 lei

398^.90 lei
Communication and Networking: International Conference, FGCN 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings, Part II
Thanos Vasilakos

-20%

Preț: 630^.51 lei

788^.14 lei
Grid and Distributed Computing, Control and Automation: International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
Stephen S. Yau

-20%

Preț: 321^.17 lei

401^.46 lei
iNetSec 2009 - Open Research Problems in Network Security: IFIP Wg 11.4 International Workshop, Zurich, Switzerland, April 23-24, 2009, Revised Selected Papers
Jan Camenisch

-20%

Preț: 314^.22 lei

392^.77 lei
Constructive Side-Channel Analysis and Secure Design: Third International Workshop, COSADE 2012, Darmstadt, Germany, May 3-4, 2012. Proceedings
Werner Schindler

-20%

Preț: 320^.24 lei

400^.30 lei
Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems: 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012, Proceedings
Ioannis Askoxylakis

-20%

Preț: 317^.85 lei

397^.31 lei
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
Marco Bernardo

-20%

Preț: 328^.16 lei

410^.20 lei
Computational Science and Its Applications -- ICCSA 2012: 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II
Beniamino Murgante

-20%

Preț: 343^.23 lei

429^.04 lei
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
Marco Bernardo

-20%

Preț: 287^.51 lei

359^.38 lei

Public țintă

Research

Cuprins

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.

Papetărie, jocuri, reviste