dynamic logic (353 Ergebnisse)

paperback. Zustand: Gut. 250 Seiten; 9781575861203.3 Gewicht in Gramm: 1.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 248 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics.

Heft; 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.

Zustand: As New. Unread book in perfect condition.

Format 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.

Hardcover. 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.

Zustand: 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.

Taschenbuch. 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.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 252 | Sprache: Englisch | Produktart: Bücher.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 172 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. 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.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 208 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Neuware -The main objective of this book is to elaborate on MOS current-mode logic circuits and provide the readers a deep understanding of modelling and design strategies of current-mode digital circuits. The book presents different structures proposed in literature based on current-mode logic and compares them by consolidating all the results. First, the literature review of various MOS current mode logic topologies have presented. Then the book introduces MOS Current mode logic circuits which helps develop the elementary concepts and understanding of the circuits. Further, dynamic current mode logic design styles (DyCML-1 and DyCML-2) and hybrid structure of dynamic current mode logic design styles (H-DyCML-1 and H-DyCML-2) have been discussed. Their structures and working principle are discussed and compared. Finally, all the designing styles (DyCML-1, DyCML-2, H-DyCML-1 and H-DyCML-2) are compared for multi-level applications. For multi-level design applications, cascading with the help of self-timed buffers is explained.Books on Demand GmbH, Überseering 33, 22297 Hamburg 60 pp. Englisch.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 152 | Sprache: Englisch | Produktart: Bücher.

Zustand: New.

Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.31.

x,365pp. paperback. edge sl. spotted.

Zustand: New. In.

Zustand: As New. Unread book in perfect condition.

Zustand: New.

Taschenbuch. 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.

Taschenbuch. 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.

Taschenbuch. 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.

Taschenbuch. 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.

Taschenbuch. Zustand: Neu. Neuware -Fiber-to-the-home (FTTH) is one of the best broadband access solution for the public. In order to support FTTH services, Ethernet passive optical network (EPON) is mainly used. In this book, an intelligent dynamic bandwidth allocation algorithm based on fuzzy logic is proposed to allocate the upstream EPON bandwidth in the FTTH environment to avoid collision. By using fuzzy logic in EPON, it has been proved that the bandwidth is granted as according to the Quality of Service, thus leads to the less unused slot remainder and less delay. Hence, the performance of the system improves significantly.Books on Demand GmbH, Überseering 33, 22297 Hamburg 152 pp. Englisch.

Taschenbuch. 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.

Hardcover. Zustand: Very Good+. Boards with light rubbing to extremities. ; logic and modern reasoning; 8vo; 266 pages.

Softcover. 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.

Zustand: New. In.