Rudolf Berghammer – författare
Visar alla böcker från författaren Rudolf Berghammer. Handla med fri frakt och snabb leverans.
19 produkter
Tool Support for System Specification, Development and Verification
Av Rudolf Berghammer, Yassine Lakhnech
Häftad, 1999
569 kr
Lägg i varukorg
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 …
Graph-Theoretic Concepts in Computer Science
17th International Workshop WG '91, Fischbachau, Germany, June 17-19, 1991. Proceedings
Av Gunther Schmidt, Rudolf Berghammer
Häftad, 1992
569 kr
Lägg i varukorg
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 …
Relations and Kleene Algebra in Computer Science
10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
Av Rudolf Berghammer, Rudolf Berghammer m. fl.
Häftad, 2008
569 kr
Lägg i varukorg
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 …
Relations and Kleene Algebra in Computer Science
10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
Av Georg Struth, Bernhard Moller m. fl.
E-bok, 2008
755 kr
Lägg i varukorg
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
Av Rudolf Berghammer, Ali Jaoua m. fl.
Häftad, 2009
551 kr
Lägg i varukorg
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 …
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
Av Bernhard Moller, Ali Jaoua m. fl.
E-bok, 2009
734 kr
Lägg i varukorg
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 …
Ordnungen, Verbände und Relationen mit Anwendungen
Häftad, 2012
426 kr
Lägg i varukorg
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, …
Ordnungen, Verbände und Relationen mit Anwendungen
E-bok, 2012
378 kr
Lägg i varukorg
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, …
Ordnungen und Verbände
Grundlagen, Vorgehensweisen und Anwendungen
Häftad, 2014
480 kr
Lägg i varukorg
Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die für dieses Gebiet typisch sind. Auch werden eine Reihe von Anwendungen diskutiert, …
Ordnungen und Verbände
Grundlagen, Vorgehensweisen und Anwendungen
E-bok, 2014
280 kr
Lägg i varukorg
Das Lehrbuch stellt eine grundlegende Einführung in die mathematische Theorie der geordneten Mengen und Verbände dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die für dieses Gebiet typisch sind. Auch werden eine Reihe von Anwendungen diskutiert, …
Mathematik für Informatiker
Grundlegende Begriffe und Strukturen
E-bok, 2014
326 kr
Lägg i varukorg
Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Ein spezielles Konzept erleichtert den Übergang von der Schul-Mathematik zur Mathematik an einer wissenschaftlichen Hochschule. Durch leicht …
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung
E-bok, 2017
359 kr
Lägg i varukorg
Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und Methoden in der Informatik, insbesondere in der Programmentwicklung und …
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung
E-bok, 2019
351 kr
Lägg i varukorg
Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen bei Dieses Buch erläutert die für ein Informatikstudium relevanten Begriffe und Strukturen der Mathematik. Daneben zeigt es Ihnen, wie Sie die formalen Methoden der Programmverifikation und -entwicklung und den Entwurf von …
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung
E-bok, 2021
522 kr
Lägg i varukorg
Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen bei Das Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten und …
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und Anwendungen
Häftad, 2024
568 kr
Lägg i varukorg
Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDieses Lehrbuch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten …
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und Anwendungen
E-bok, 2024
587 kr
Lägg i varukorg
Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen bei Dieses Lehrbuch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind. Weiterhin demonstriert es Anwendungen von mathematischen Konzepten …
Tool Support for System Specification, Development and Verification
Av Yassine Lakhnech, Rudolf Berghammer
E-bok, 2012
755 kr
Lägg i varukorg
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 …
Mathematik für die Informatik
Grundlegende Begriffe, Strukturen und ihre Anwendung
Häftad, 2021
552 kr
Tillfälligt slut
Mathematik für die Informatik: Dieses Buch bringt Ihnen die Grundlagen beiDas Buch bietet eine Einführung in die grundlegenden Begriffe und Strukturen der Mathematik, welche am Anfang eines Informatikstudiums relevant sind.
