Gesamtpreis (1 Artikel Artikel):
Versandziel:
dynamic logic (93 Ergebnisse)
Feedback
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (93)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (1)
- Angebotsfoto (29)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Enterprise Software Sourcing Performance : The Impact Logic of On-Demand, On-Premises, and In-House Software on Dynamic Fit and Process-Level Performance Outcomes in Client Organizations
Verlag: Springer International Publishing, 2015
ISBN 10: 3319239244 ISBN 13: 9783319239248
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 248 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 53,49
Gebraucht ab EUR 9,48
Mehr entdecken Hardcover
-
Presupposition and Assertion in Dynamic Semantics: A Critical Review of Linguistic Theories of Presupposition and a Dynamic Alternative (Studies in Logic, Language and Information)
Verlag: CTR FOR STUDY OF LANG & INFO, 2001
ISBN 10: 1575861208 ISBN 13: 9781575861203
Sprache: Englisch
Anbieter: Studibuch, Stuttgart, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 11,24
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorbpaperback. Zustand: Gut. 250 Seiten; 9781575861203.3 Gewicht in Gramm: 1.
-
First-Order Dynamic Logic
Verlag: Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374 ISBN 13: 9783540092377
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 10,69
Währung umrechnenEUR 2,90 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 13,59
Gebraucht ab EUR 16,74
Mehr entdecken Softcover
-
Object-Orientation Axiomatised by Dynamic Logic; RWTH Aachen, Aachener Informatik-Berichte, Nr. 92-30;
Erscheinungsdatum: 1992
Sprache: Englisch
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 6,95
Währung umrechnenEUR 2,90 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHeft; Zustand: Gut. 31 Seiten; Das hier angebotene Heft stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); insgesamt ordentlicher Erhaltungszustand; Sprache: Englisch Gewicht in Gramm: 60.
-
First-order dynamic logic. Lecture notes in computer science
Verlag: Springer Berlin 1979, 1979
Anbieter: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 8,00
Währung umrechnenEUR 6,90 für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbFormat groß 8°, broschiert, größerer weißer Fleck auf dem Einband v133 Seiten, on entfernter Rückensignatur, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen. Shipping to abroad insured with tracking number.
-
Dynamic Logic
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 99,26
Währung umrechnenEUR 11,87 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 476 pages. 9.00x7.00x1.20 inches. In Stock.
-
EUR 22,44
Währung umrechnenEUR 3,99 für den Versand von Frankreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Couverture légèrement déchirée. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Slightly torn cover. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 115,21
Gebraucht ab EUR 26,43
Mehr entdecken Hardcover
-
EUR 27,78
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. KlappentextrnrnDialogical Logic was suggested at the end of the 1950s by Paul Lorenzen and then worked out by Kuno Lorenz. The basic idea f the dialogical approach to logic, inspired by Wittgenstein s meaning as use , is that the meanings of l.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 252 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 54,99
Gebraucht ab EUR 33,20
Mehr entdecken Softcover
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Verlag: Karlsruher Institut Für Technologie, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 32,50
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
-
Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31¿August 1, 2022, Revised Selected Papers
Verlag: Springer International Publishing, 2023
ISBN 10: 3031266218 ISBN 13: 9783031266218
Sprache: Englisch
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 172 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 52,76
Gebraucht ab EUR 32,23
Mehr entdecken Softcover
-
Emotional Cognitive Neural Algorithms with Engineering Applications : Dynamic Logic: From Vague to Crisp
Verlag: Springer Berlin Heidelberg, 2011
ISBN 10: 3642228291 ISBN 13: 9783642228292
Sprache: Englisch
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 208 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 160,49
Gebraucht ab EUR 35,00
Mehr entdecken Hardcover
-
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 152 | Sprache: Englisch | Produktart: Bücher.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 52,76
Gebraucht ab EUR 35,69
Mehr entdecken Softcover
-
Dynamic Logic for an Intermediate Language : Verification, Interaction and Refinement
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 38,00
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of software implementations with their formal specification.Two successful ideas in program verification are integrated into a new approach which combines the advantages of both: Dynamic logic is brought together with verification on an intermediate verification language.Program verification combines the difficulties of two tasks in one: the difficulty of verifying algorithms and the problems of verification on implementation level. We propose a methodology to decompose this difficult task into two easier tasks using the well-established technique of refinement.
-
General Type-2 Fuzzy Logic in Dynamic Parameter Adaptation for the Harmony Search Algorithm
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 44,35
Währung umrechnenEUR 2,04 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.31.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 53,49
Gebraucht ab EUR 46,39
Mehr entdecken Softcover
-
The Problem of Plurality of Logics: Understanding the Dynamic Nature of Philosophical Logic
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 41,78
Währung umrechnenEUR 5,91 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Dynamic Logic. New Trends and Applications
Verlag: Springer International Publishing, 2020
ISBN 10: 3030658392 ISBN 13: 9783030658397
Sprache: Englisch
EUR 48,37
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Enterprise Software Sourcing Performance : The Impact Logic of On-Demand, On-Premises, and In-House Software on Dynamic Fit and Process-Level Performance Outcomes in Client Organizations
Verlag: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319370871 ISBN 13: 9783319370873
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book opens the 'black box' of software sourcing by explaining how dynamic software alignment is established and how it impacts business performance outcomes. By investigating how software-sourcing modes are related to value generation in the post-implementation phase, it shows researchers and managers the impact logic of on-demand, on-premises, and in-house software on dynamic fit and process-level performance outcomes in a client organization. It describes dynamic IT alignment as the key to success in a fast-moving digital world with software-as-a-service on the rise and highlights the fact that today companies can choose between developing software in-house (make) or sourcing packaged systems in an on-premises (buy) or an on-demand (lease) mode. This book is the first to explicitly compare these sourcing arrangements with each other in terms of alignment and business performance.
-
Differential Evolution Algorithm with Type-2 Fuzzy Logic for Dynamic Parameter Adaptation with Application to Intelligent Control
Verlag: Springer International Publishing, 2020
ISBN 10: 3030621324 ISBN 13: 9783030621322
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book focuses on the fields of fuzzy logic, bio-inspired algorithm, especially the differential evolution algorithm and also considering the fuzzy control area. The main idea is that these two areas together can help solve various control problems and to find better results. In this book, the authors test the proposed method using five benchmark control problems. First, the water tank, temperature, mobile robot, and inverted pendulum controllers are considered. For these 4 problems, experimentation was carried out using a Type-1 fuzzy system and an Interval Type-2 system. The last control problem was the D.C. motor, for which the experiments were performed with Type-1, Interval Type-2, and Generalized Type-2 fuzzy systems. When we use fuzzy systems combined with the differential evolution algorithm, we can notice that the results obtained in each of the controllers are better and with increasing uncertainty, the results are even better. For this reason, the authors consider in this book the proposed method using fuzzy systems and the differential evolution algorithm to improve the fuzzy controllers' behavior in complex control problems.
-
Dynamic Logic. New Trends and Applications : Second International Workshop, DaLí 2019, Porto, Portugal, October 7¿11, 2019, Proceedings
Verlag: Springer International Publishing, Springer International Publishing, 2020
ISBN 10: 3030388077 ISBN 13: 9783030388072
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.
-
Dynamic Logic. New Trends and Applications : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319735780 ISBN 13: 9783319735788
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 53,49
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The workshop is based on the project DaLí - Dynamic logics for cyber-physical systems: towards contract based design.
-
Dynamic Parameter Adaptation for Meta-Heuristic Optimization Algorithms Through Type-2 Fuzzy Logic
Verlag: Springer, Berlin, Springer International Publishing, Springer, 2018
ISBN 10: 3319708503 ISBN 13: 9783319708508
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
EUR 56,98
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 2 verfügbar
In den WarenkorbTaschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - In this book, a methodology for parameter adaptation in meta-heuristic op-timization methods is proposed. This methodology is based on using met-rics about the population of the meta-heuristic methods, to decide through a fuzzy inference system the best parameter values that were carefully se-lected to be adjusted. With this modification of parameters we want to find a better model of the behavior of the optimization method, because with the modification of parameters, these will affect directly the way in which the global or local search are performed.Three different optimization methods were used to verify the improve-ment of the proposed methodology. In this case the optimization methods are: PSO (Particle Swarm Optimization), ACO (Ant Colony Optimization) and GSA (Gravitational Search Algorithm), where some parameters are se-lected to be dynamically adjusted, and these parameters have the most im-pact in the behavior of each optimization method.Simulation results show that the proposed methodology helps to each optimization method in obtaining better results than the results obtained by the original method without parameter adjustment.
-
THE TECHNIQUE OF CONTROVERSY Principles of Dynamic Logic
Verlag: Kegan Paul, Trench, Trubner & Co. , Ltd., London, 1928
Anbieter: Complete Traveller Antiquarian Bookstore, Westport, CT, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 18,07
Währung umrechnenEUR 25,44 für den Versand von USA nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Very Good+. Boards with light rubbing to extremities. ; logic and modern reasoning; 8vo; 266 pages.
-
EUR 55,23
Währung umrechnenEUR 3,99 für den Versand von Frankreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbSoftcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Pages cornées. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Dog-eared pages. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 55,76
Währung umrechnenEUR 5,91 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Dynamic Logic
Anbieter: Anybook.com, Lincoln, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 56,68
Währung umrechnenEUR 7,97 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbZustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. Clean from markings With owner's name inside cover. In good all round condition. Dust jacket in good condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1050grams, ISBN:9780262082891.
-
The Technique of Controversy: Principles of Dynamic Logic
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,85
Währung umrechnenEUR 11,87 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 276 pages. 8.50x5.25x0.75 inches. In Stock.
-
Dynamic Epistemic Logic
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
EUR 98,00
Währung umrechnenKostenlos für den Versand innerhalb von/der DeutschlandAnzahl: 1 verfügbar
In den Warenkorb24 x 16,5 cm. Zustand: Gut. Synthese Library 337. XI, 282 Pages ; With Figures Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). Englische Sprache - Hardboard with Library label. Inside with Library stamps, in good condition. English Language B13-03-04C|S36 Sprache: Englisch Gewicht in Gramm: 550.
Mehr Angebote von anderen Verkäufern bei ZVAB
Neu ab EUR 114,36
Gebraucht ab EUR 98,00
Mehr entdecken Hardcover Erstausgabe
-
Language in Action: Categories, Lambdas and Dynamic Logic
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 90,93
Währung umrechnenEUR 11,87 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 360 pages. 9.00x6.00x0.82 inches. In Stock.
-
A Fuzzy Logic Dynamic Bandwidth Allocation for Upstream EPON
Verlag: LAP LAMBERT Academic Publishing, 2016
ISBN 10: 3330015462 ISBN 13: 9783330015463
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 91,47
Währung umrechnenEUR 11,87 für den Versand von Vereinigtes Königreich nach DeutschlandAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 152 pages. 8.66x5.91x0.35 inches. In Stock.
