Rudolf berghammer (39 Ergebnisse)

Zustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Zustand: New. pp. 414 Illus.

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

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

1992. 268 Seiten Very good condition. Reading pages are very clean and without marks. Minimum traces of storage or use. Otherwise very good exemplar. 9783540551218 Sprache: Englisch Gewicht in Gramm: 848 Softcover: 15.5 x 1.5 x 23.5 cm.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 248 pages. 9.25x6.50x0.50 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 362 pages. 9.20x6.10x0.70 inches. In Stock.

Paperback. Zustand: Brand New. 1st edition. 397 pages. 9.25x6.25x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate formalization in precise mathematical definitions. Prototyping can can be used as a means for checking the functional behaviour at this early stage of development. The ade quate specification resulting from the first phase is then the basis for the second phase which comprises the derivation of an implementation. This phase requires the use of formal methods and tools to verify/validate the implementation. A prerequisite for applying this approach is to have a suitable mechanical support. This volume contains the proceedings of the International Workshop Tool Support for System Specification, Development and Verification organized June 1 - 4, 1998, in Malente, Germany. This workshop is the third in a series of events devoted to this topic. The first two workshops were held in 1994 in Kiel and 1996 in Bremen, Germany. The aim of this workshop is to provide a forum for researchers interested in the use and development of tools which support the use of mathematical techniques for the specification, development and verification of systems. The workshop covers the spectrum from verification tools to graphical editors and compilers. The program of the workshop included an invited lecture and 26 talks. The invited lecture was given by F.W. von Henke (University ofUlm) on Mechanized formal methods and system design.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains contributions to the 17th Internationalworkshop on Graph-Theoretic Concepts in Computer Science(WG '91)held in Southern Bavaria in June 1991. These annualworkshops are designed to bring together researchers usinggraph-theoretic methods to discuss new developments relatingto or emerging from a diversity of application fields.The topics covered in this volume include: tree-relatedproblems, graph grammarsand rewriting, complexitycomputational geometry, parallel algorithms, vertexorderings, path-oriented algorithms, applications to VLSIand disjoint cycle problems.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of the 10th International Seminar on - lational Methods in Computer Science (RelMiCS 10) and the 5th International Workshop on Applications of Kleene Algebra (AKA 5). The joint conference took place in Frauenwo rthon an Island in Lake Chiem in Bavaria,April 7 April 11, 2008. Its purpose was to bring together researchers various subdisciplines of computer science, mathematics and related elds who use the calculus of - lations and/or Kleene algebra as methodological and conceptual tools in their work. This conference is the joint continuation of two di erent strands of meetings. The seminars of the RelMiCS series were held in Schloss Dagstuhl (Germany) in January 1994, Parati (Brazil) in July 1995, Hammamet (Tunisia) in January 1997, Warsaw (Poland) in September 1998, Qu ebec (Canada) in January 2000, and Oisterwijk (The Netherlands) in October 2001. The meeting on Appli- tions of Kleene Algebra started as a workshop, also held in Schloss Dagstuhl, in February2001.Tojointhesetwothemesinoneconferencewasmainlymotivated by the substantial common interests and overlap of the two communities. Over the years this has led to fruitful interactions and openened new and interesting researchdirections.Jointmeetings havebeenheldinMalente(Germany)in May 2003, in St. Catherines (Canada) in February 2005 and in Manchester (UK) in August/September 2006. This volume contains 28 contributions by researchersfrom all overthe world.…

Taschenbuch. Zustand: Neu. Relations and Kleene Algebra in Computer Science | 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings | Rudolf Berghammer (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2009 | Springer | EAN 9783642046384 | Verantwortliche Person für die EU: Lauinger, Sonia, Sonia Lauinger, Lauinger Verlag, Heinrich-Köhler-Platz 8, 76187 Karlsruhe, mail[at]lauinger-verlag[dot]de | Anbieter: preigu.…

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 396 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Taschenbuch. Zustand: Sehr gut. 404 Seiten; Sehr gut erhalten ZA 9616859 Sprache: Deutsch Gewicht in Gramm: 500.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 376 | Sprache: Englisch | Produktart: Bücher | The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation relation algebras and Kleene algebras, related formalisms such as process algebras, fixed point calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their applications in areas such as verification, analysis and development of programs and algorithms relational formal methods such as B or Z, tabular methods, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics, algebraic semantics of programming languages , graph theory and combinatorial optimization, games, automata and language theory, mechanised and automated reasoning, decision procedures, spatio-temporal reasoning, knowledge acquisition, preference and scaling methods or information systems.…

Softcover. 150 S. Guter Zustand. Leseseiten sind sauber und ohne Markierungen. Buch weist leichte Lager- bzw. Gebrauchsspuren auf. Sonst gutes Exemplar. --- Sprache: Deutsch Gewicht in Gramm: 1000.

Zustand: Wie neu. 4. erweiterte Auflage 2021 - guter bis sehr guter Zustand, broschiert, Springer-Verlag, h4.

Zustand: New. In German.

Zustand: New. In German.

paperback. Zustand: Sehr gut. 392 Seiten; 9783834805959.2 Gewicht in Gramm: 1.

Paperback. Zustand: Brand New. 2nd edition. 406 pages. German language. 9.45x6.61x0.87 inches. In Stock.

Zustand: New. In German.

Paperback. Zustand: Brand New. 3rd exp upd edition. 438 pages. German language. 9.45x6.61x0.94 inches. In Stock.

paperback. Zustand: Sehr gut. 248 Seiten; 9783658027100.2 Gewicht in Gramm: 500.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Das Lehrbuch führt in wichtige Themen der Ordnungs- und Verbandstheorie ein und behandelt bedeutende Informatikanwendungen. Die Ordnungs- und Verbandstheorie wird zur algebraischen Theorie der Relationen, kurz Relationenalgebra, ausgebaut. Des Weiteren widmet sich das Buch Informatikanwendungen, hauptsächlich der formalen Entwicklung von Algorithmen für diskrete Probleme. Beispiele aus der Ordnungs- und Verbandstheorie schlagen den Bogen zurück zum ersten Teil des Buches. Das Lehrbuch führt in wichtige Themen der Ordnungs- und Verbandstheorie ein und behandelt bedeutende Informatikanwendungen. Die Ordnungs- und Verbandstheorie wird zur algebraischen Theorie der Relationen, kurz Relationenalgebra, ausgebaut. Des Weiteren widmet sich das Buch Informatikanwendungen, hauptsächlich der formalen Entwicklung von Algorithmen für diskrete Probleme. Beispiele aus der Ordnungs- und Verbandstheorie schlagen den Bogen zurück zum ersten Teil des Buches.InhaltOrdnungen und Verbände - Spezielle Klassen von Verbänden - Fixpunkttheorie mit Anwendungen - Vervollständigungen - Wohlgeordnete Mengen und das Auswahlaxiom - Einige Informatik-Anwendungen von Ordnungen und Verbänden - Relationenalgebra - Strukturerhaltende Funktionen - Relationenalgebraische Beschreibung von Datenstrukturen - Erreichbarkeit und Zusammenhang - Berechnung von Kernen - Äquivalenzklassen und kanonische Epimorphismen - Ordnungs- und verbandstheoretische FragestellungenZielgruppeInformatiker, Mathematiker und Studierende im Bachelor- oder Masterstudium ab dem zweiten StudienjahrAutorProf. Dr. Rudolf Berghammer lehrt und forscht and der Universität Kiel, Institut für Informatik.…