Models analysis distributed systems (31 résultats)
- Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 86,47
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Scheduling In Distributed Computing Systems: Analysis, Design And Models
Vidyarthi, Deo Prakash; Sarker, Biplab Kumer; Tripathi, Anil Kumar; Yang, Laurence Tianruo
- Couverture rigide
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 102,26
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Couverture rigide
Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 102,26
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Models and Analysis for Distributed Systems
Haddad, Serge (EDT); Kordon, Fabrice (EDT); Pautet, Laurent (EDT); Petrucci, Laure (EDT)
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 134,09
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture rigide
Vendeur : INDOO, Avenel, NJ, Etats-UnisINDOO
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 136,66
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Brand New.
- Couverture rigide
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 151,93
EUR 3,44 expéditionExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. pp. 368.
Models and Analysis for Distributed Systems
Haddad, Serge (EDT); Kordon, Fabrice (EDT); Pautet, Laurent (EDT); Petrucci, Laure (EDT)
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 155,11
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 20 disponible(s)
Etat : As New. Unread book in perfect condition.
Scheduling in Distributed Computing Systems : Analysis, Design and Models
Deo Prakash Vidyarthi, Laurence Tianruo Yang, Anil Kumar Tripathi, Biplab Kumer Sarker
- Couverture rigide
Vendeur : Buchpark, Trebbin, , AllemagneBuchpark
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Très bon
EUR 47,74
EUR 105,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : Sehr gut. Zustand: Sehr gut | Seiten: 312 | Sprache: Englisch | Produktart: Bücher | Scheduling in Distributed Computing Systems: Analysis, Design and Models intends to inculcate the innovative ideas for the scheduling aspect. Although the models in this book are designed for distributed systems, the same information is a…pplicable for any type of system (i.e., where distributed processing is required).Scheduling in Distributed Computing Systems: Analysis, Design and Models will dramatically improve the design and management of the processes for industry professionals. This book deals exclusively with the scheduling aspect, which finds little space in other distributed operating system books.Scheduling in Distributed Computing Systems: Analysis, Design and Models is structured for a professional audience composed of researchers and practitioners in industry. This book is also suitable as a reference for graduate-level students in management sciences, and computer science for distributed computing system classes.
- Couverture rigide
Vendeur : Majestic Books, Hounslow, , Royaume-UniMajestic Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 155,57
EUR 7,53 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Etat : New. pp. 368 Illus.
Scheduling in Distributed Computing Systems: Analysis, Design and Models
Vidyarthi, Deo Prakash; Sarker, Biplab Kumer; Tripathi, Anil Kumar; Yang, Laurence Tianruo
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 157,25
EUR 13,89 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
- Couverture rigide
- Édition originale
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-UnisGrand Eagle Retail
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 174,41
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : new. Hardcover. Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms from the same editors introduce the underlying concepts, the associat…ed design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Masters and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Scheduling in Distributed Computing Systems : Analysis, Design and Models
Vidyarthi, Deo Prakash; Sarker, Biplab Kumer; Tripathi, Anil Kumar; Yang, Laurence Tianruo
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 173,35
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New.
Scheduling in Distributed Computing Systems: Analysis, Design and Models
Vidyarthi, Deo Prakash; Sarker, Biplab Kumer; Tripathi, Anil Kumar; Yang, Laurence Tianruo
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 164,57
EUR 13,89 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Models and Analysis for Distributed Systems
Haddad, Serge (EDT); Kordon, Fabrice (EDT); Pautet, Laurent (EDT); Petrucci, Laure (EDT)
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 162,20
EUR 17,39 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-UniPBShop.store UK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 177,15
EUR 5,82 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
HRD. Etat : New. New Book. Shipped from UK. Established seller since 2000.
Models and Analysis for Distributed Systems
Haddad, Serge (EDT); Kordon, Fabrice (EDT); Pautet, Laurent (EDT); Petrucci, Laure (EDT)
- Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 164,66
EUR 17,39 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
Scheduling in Distributed Computing Systems : Analysis, Design & Models
Vidyarthi, Deo Prakash; Sarker, Biplab Kumer; Tripathi, Anil Kumar; Yang, Laurence Tianruo
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 180,88
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New.
Scheduling in Distributed Computing Systems : Analysis, Design and Models
Vidyarthi, Deo Prakash; Sarker, Biplab Kumer; Tripathi, Anil Kumar; Yang, Laurence Tianruo
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 185,92
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : As New. Unread book in perfect condition.
Models and Analysis for Distributed Systems
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci
- Couverture rigide
Vendeur : Chiron Media, Wallingford, , Royaume-UniChiron Media
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 179,55
EUR 17,96 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : New.
- Couverture rigide
Vendeur : Ubiquity Trade, Miami, FL, Etats-UnisUbiquity Trade
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 197,52
EUR 2,59 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Brand new! Please provide a physical shipping address.
- Couverture rigide
- Édition originale
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandeKennys Bookshop and Art Galleries Ltd.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 190,19
EUR 10,50 expéditionExpédition depuis Irlande vers Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Editor(s): Hadda…d, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. Num Pages: 356 pages, Illustrations. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 235 x 168 x 25. Weight in Grams: 666. . 2011. 1st Edition. Hardcover. . . . .
Autres images- Couverture souple
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 140,00
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Scheduling in Distributed Computing Systems | Analysis, Design and Models | Deo Prakash Vidyarthi (u. a.) | Taschenbuch | xii | Englisch | 2010 | Springer | EAN 9781441945037 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[d…ot]com | Anbieter: preigu.
- Couverture rigide
Vendeur : Revaluation Books, Exeter, , Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 214,29
EUR 14,49 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Brand New. 1st edition. 368 pages. 9.50x6.50x1.00 inches. In Stock.
- Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 168,73
EUR 63,18 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Scheduling in Distributed Computing Systems: Analysis, Design and Models intends to inculcate the innovative ideas for the scheduling aspect. Although the models in this bookare designed for distributed systems, the same information is applicable for any type… of system (i.e., where distributed processing is required).Scheduling in Distributed Computing Systems: Analysis, Design and Models will dramatically improve the design and management of the processes for industry professionals. This book deals exclusively with the scheduling aspect, which finds little space in other distributed operating system books.Scheduling in Distributed Computing Systems: Analysis, Design and Models is structured for a professional audience composed of researchers and practitioners in industry. This book is also suitable as a reference for graduate-level students in management sciences, and computer science for distributed computing system classes.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 168,73
EUR 62,38 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - Scheduling in Distributed Computing Systems: Analysis, Design and Models intends to inculcate the innovative ideas for the scheduling aspect. Although the models in this bookare designed for distributed systems, the same information is applicable for a…ny type of system (i.e., where distributed processing is required).Scheduling in Distributed Computing Systems: Analysis, Design and Models will dramatically improve the design and management of the processes for industry professionals. This book deals exclusively with the scheduling aspect, which finds little space in other distributed operating system books.Scheduling in Distributed Computing Systems: Analysis, Design and Models is structured for a professional audience composed of researchers and practitioners in industry. This book is also suitable as a reference for graduate-level students in management sciences, and computer science for distributed computing system classes.
Scheduling in Distributed Computing Systems: Analysis, Design and Models
Vidyarthi, Deo Prakash, Sarker, Biplab Kumer, Tripathi, Anil
- Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 210,13
EUR 28,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : Like New. Like New. book.
- Couverture rigide
Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 235,48
EUR 9,05 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : New. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Editor(s): Hadda…d, Serge; Kordon, Fabrice; Pautet, Laurent; Petrucci, Laure. Num Pages: 356 pages, Illustrations. BIC Classification: UYD. Category: (G) General (US: Trade). Dimension: 235 x 168 x 25. Weight in Grams: 666. . 2011. 1st Edition. Hardcover. . . . . Books ship from the US and Ireland.
Scheduling in Distributed Computing Systems : Analysis, Design & Models
Vidyarthi, Deo Prakash; Sarker, Biplab Kumer; Tripathi, Anil Kumar; Yang, Laurence Tianruo
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 243,15
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : 15 disponible(s)
Etat : As New. Unread book in perfect condition.
Scheduling in Distributed Computing Systems: Analysis, Design & Models
Vidyarthi, D. P./ Sarker, Biplab K./ Tripathi, Anil Kumar/ Yang, Laurence Tianruo
- Couverture rigide
Vendeur : Revaluation Books, Exeter, , Royaume-UniRevaluation Books
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 235,43
EUR 14,49 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 2 disponible(s)
Hardcover. Etat : Brand New. 1st edition. 300 pages. 9.50x6.50x1.00 inches. In Stock.
- Couverture rigide
- Édition originale
Vendeur : AussieBookSeller, Truganina, VIC, AustralieAussieBookSeller
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 274,68
EUR 31,89 expéditionExpédition depuis Australie vers Etats-UnisQuantité disponible : 1 disponible(s)
Hardcover. Etat : new. Hardcover. Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms from the same editors introduce the underlying concepts, the associat…ed design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Masters and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area. Today distributed systems are increasingly present, for public software applications as well as critical systems, software applications as well as critical systems. Models and Analysis for Distributed Systems explores the state of the art of the formal methods for the analysis of distributed systems. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
