- 5 Ergebnisse
Kleinster Preis: € 32,02, größter Preis: € 90,52, Mittelwert: € 51,05
1
Design of Formal Methods Approach to Resolve Disputes - Samer Nabil Mohamed
Bestellen
bei AbeBooks.de
€ 36,90
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Samer Nabil Mohamed:

Design of Formal Methods Approach to Resolve Disputes - Taschenbuch

2014, ISBN: 3659534161

[EAN: 9783659534164], Neubuch, [PU: LAP LAMBERT Academic Publishing Apr 2014], This item is printed on demand - it takes 3-4 days longer - Neuware -A Framework for Intelligent Situation A… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)]
zuklappen (X)
2
Design of Formal Methods Approach to Resolve Disputes - Samer Nabil Mohamed
Bestellen
bei AbeBooks.de
€ 32,02
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Samer Nabil Mohamed:

Design of Formal Methods Approach to Resolve Disputes - Taschenbuch

2014, ISBN: 3659534161

[EAN: 9783659534164], Neubuch, [PU: LAP LAMBERT Academic Publishing], INFORMATIK EDV BAYESIAN NETWORKS SITUATION AWARENESS TEMPORAL LOGIC FORMAL METHODS ANALYSIS SEQUENTIAL MINING COMMUNI… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) moluna, Greven, Germany [73551232] [Rating: 5 (von 5)]
zuklappen (X)
3
Bestellen
bei alibris.co.uk
€ 90,52
Bestellen
Details und Versand
gesponserter Link
Nabil Mohamed, Samer:
Design of Formal Methods Approach to Resolve Disputes - Taschenbuch

2014

ISBN: 9783659534164

paperback, Access codes and supplements are not guaranteed with used items. May be an ex-library book., Gebraucht, guter Zustand, [PU: LAP LAMBERT Academic Publishin]

Versandkosten:zzgl. Versandkosten Newport Coast, CA, Tustin
zuklappen (X)
4
Bestellen
bei alibris.co.uk
€ 45,20
Bestellen
Details und Versand
gesponserter Link
Nabil Mohamed Samer:
Design of Formal Methods Approach to Resolve Disputes - Taschenbuch

2014, ISBN: 9783659534164

Trade paperback, New., Trade paperback (US). Glued binding. 148 p., [PU: LAP Lambert Academic Publishing]

Versandkosten:zzgl. Versandkosten Uxbridge, MIDDLESEX, Ria Christie Books
zuklappen (X)
5
Design of Formal Methods Approach to Resolve Disputes [Soft Cover ] - Nabil Mohamed, Samer
Bestellen
bei AbeBooks.de
€ 50,62
Versand: € 8,141
Bestellen
Details beim Anbieter
gesponserter Link
Nabil Mohamed, Samer:
Design of Formal Methods Approach to Resolve Disputes [Soft Cover ] - Taschenbuch

2014, ISBN: 3659534161

[EAN: 9783659534164], Neubuch, [PU: LAP LAMBERT Academic Publishing], Books

NEW BOOK. Versandkosten: EUR 8.14 booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)]
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Design of Formal Methods Approach to Resolve Disputes
Autor:
Titel:
ISBN-Nummer:

9783659534164


A Framework for Intelligent Situation Analysis, FISA, is proposed. The main contribution of that framework is providing situation awareness in the domain of political disputes. To our knowledge, it is the first attempt for solving political disputes by crossing the gap between the looseness of political situations specifications and the tightness of logical formal methods. Other contributions include exploiting Communicating Sequential Processing, CSP, and the ‘fairness’ of Linear Temporal Logic, LTL, to provide ‘formal’ modeling for discovering ‘starvation’ and ‘deadlock’ situations. In this respect, the machine-based generation of the CSP processes that represents the situation model is an essential characteristic of the proposed framework. Actually, FISA is capable to answer questions about how to make ‘situation change(s)’ (based on fairness satisfaction) in order to ‘solve’ the no

Detailangaben zum Buch - Design of Formal Methods Approach to Resolve Disputes


EAN (ISBN-13): 9783659534164
ISBN (ISBN-10): 3659534161
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: LAP LAMBERT Academic Publishing

Buch in der Datenbank seit 2014-10-10T09:42:56+02:00 (Berlin)
Detailseite zuletzt geändert am 2024-04-16T22:10:57+02:00 (Berlin)
ISBN/EAN: 9783659534164

ISBN - alternative Schreibweisen:
3-659-53416-1, 978-3-659-53416-4
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: design methods

< zum Archiv...