Editore: Morgan & Claypool Publishers, 2016
ISBN 10: 1627058397 ISBN 13: 9781627058391
Lingua: Inglese
Da: Our Kind Of Books, Liphook, Regno Unito
EUR 11,68
Quantità: 1 disponibili
Aggiungi al carrelloSoft cover. Condizione: As New. This book has been in storage since publication and is unread. Hence the description as new .
Editore: Ramakrishna Mission Vivekananda Centenary College, 2023
ISBN 10: 8195741215 ISBN 13: 9788195741212
Da: Vedams eBooks (P) Ltd, New Delhi, India
EUR 13,77
Quantità: 4 disponibili
Aggiungi al carrelloSoft cover. Condizione: New. Sundarban is the last remaining largest mangrove forest of the world with rich ecosystem and immense diversity, spread over 10,200 sqm. across the delta of the river Ganges, Brahmaputra and Meghna on the Bay of Bengal. The mangrove ecosystem of Sundarban is the home to diverse types of aquuuuuuand terrestrial plants and animals. Butterflies being important part in the foold chain act as a source of food for various predators and an important media of plangt pollination. In the recent years butterflies are considered as a focal species for biodiversity coservation in different parts of the world.
Editore: Springer International Publishing AG, CH, 2016
ISBN 10: 3031004450 ISBN 13: 9783031004452
Lingua: Inglese
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 50,57
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. This book provides a tutorial introduction to modern techniques for representing and reasoning about qualitative preferences with respect to a set of alternatives. The syntax and semantics of several languages for representing preference languages, including CP-nets, TCP-nets, CI-nets, and CP-theories, are reviewed. Some key problems in reasoning about preferences are introduced, including determining whether one alternative is preferred to another, or whether they are equivalent, with respect to a given set of preferences. These tasks can be reduced to model checking in temporal logic. Specifically, an induced preference graph that represents a given set of preferences can be efficiently encoded using a Kripke Structure for Computational Tree Logic (CTL). One can translate preference queries with respect to a set of preferences into an equivalent set of formulae in CTL, such that the CTL formula is satisfied whenever the preference query holds. This allows us to use a model checker toreason about preferences, i.e., answer preference queries, and to obtain a justification as to why a preference query is satisfied (or not) with respect to a set of preferences. This book defines the notions of the equivalence of two sets of preferences, including what it means for one set of preferences to subsume another, and shows how to answer preferential equivalence and subsumption queries using model checking. Furthermore, this book demontrates how to generate alternatives ordered by preference, along with providing ways to deal with inconsistent preference specifications. A description of CRISNER-an open source software implementation of the model checking approach to qualitative preference reasoning in CP-nets, TCP-nets, and CP-theories is included, as well as examples illustrating its use.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 40,60
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In English.
Condizione: New.
Condizione: New. 1st edition NO-PA16APR2015-KAP.
Condizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 57,39
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 56,29
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 57,38
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 65,13
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. pp. 732.
Editore: Springer, Berlin|Springer International Publishing|Morgan & Claypool|Springer, 2016
ISBN 10: 3031004450 ISBN 13: 9783031004452
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 45,36
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. This book provides a tutorial introduction to modern techniques for representing and reasoning about qualitative preferences with respect to a set of alternatives. The syntax and semantics of several languages for representing preference languages, includin.
EUR 104,29
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 103,10
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 103,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: New.
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Nov 2013, 2013
ISBN 10: 3642450040 ISBN 13: 9783642450044
Lingua: Inglese
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 11th International Conference on Service-Oriented Computing, ICSOC 2012, held in Berlin, Germany, in December 2013. The 29 full papers and 27 short papers presented were carefully reviewed and selected from 205 submissions. The papers are organized in topical sections on service engineering, service operations and management; services in the cloud; and service applications and implementations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 732 pp. Englisch.
Editore: Springer International Publishing AG, CH, 2016
ISBN 10: 3031004450 ISBN 13: 9783031004452
Lingua: Inglese
Da: Rarewaves.com UK, London, Regno Unito
EUR 44,94
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. This book provides a tutorial introduction to modern techniques for representing and reasoning about qualitative preferences with respect to a set of alternatives. The syntax and semantics of several languages for representing preference languages, including CP-nets, TCP-nets, CI-nets, and CP-theories, are reviewed. Some key problems in reasoning about preferences are introduced, including determining whether one alternative is preferred to another, or whether they are equivalent, with respect to a given set of preferences. These tasks can be reduced to model checking in temporal logic. Specifically, an induced preference graph that represents a given set of preferences can be efficiently encoded using a Kripke Structure for Computational Tree Logic (CTL). One can translate preference queries with respect to a set of preferences into an equivalent set of formulae in CTL, such that the CTL formula is satisfied whenever the preference query holds. This allows us to use a model checker toreason about preferences, i.e., answer preference queries, and to obtain a justification as to why a preference query is satisfied (or not) with respect to a set of preferences. This book defines the notions of the equivalence of two sets of preferences, including what it means for one set of preferences to subsume another, and shows how to answer preferential equivalence and subsumption queries using model checking. Furthermore, this book demontrates how to generate alternatives ordered by preference, along with providing ways to deal with inconsistent preference specifications. A description of CRISNER-an open source software implementation of the model checking approach to qualitative preference reasoning in CP-nets, TCP-nets, and CP-theories is included, as well as examples illustrating its use.
EUR 13,51
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
Editore: Springer Berlin Heidelberg, 2013
ISBN 10: 3642450040 ISBN 13: 9783642450044
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Conference on Service-Oriented Computing, ICSOC 2012, held in Berlin, Germany, in December 2013. The 29 full papers and 27 short papers presented were carefully reviewed and selected from 205 submissions. The papers are organized in topical sections on service engineering, service operations and management; services in the cloud; and service applications and implementations.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 109,96
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 109,96
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: preigu, Osnabrück, Germania
EUR 50,35
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Service-Oriented Computing | 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013. Proceedings | Samik Basu (u. a.) | Taschenbuch | xviii | Englisch | 2013 | Springer Berlin | EAN 9783642450044 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 109,95
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 110,49
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Condizione: New. pp. 144.
Condizione: New. pp. 168.
EUR 153,12
Quantità: 2 disponibili
Aggiungi al carrelloHardcover. Condizione: Brand New. 2014 edition. 160 pages. 9.25x6.25x0.50 inches. In Stock.