topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 8
 |
Mathematik Für Die Informatik: Grundlegende Begriffe, Strukturen Und Ihre Anwendung
ISBN: 9783658333034 / Angielski / Miękka / 2021 / 499 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
188,52 zł |
 |
Ordnungen Und Verbände: Grundlagen, Vorgehensweisen Und Anwendungen
ISBN: 9783658027100 / Niemiecki / Miękka / 2014 / 238 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Das Lehrbuch stellt eine grundlegende Einfuhrung in die mathematische Theorie der geordneten Mengen und Verbande dar. Neben wichtigen Begriffen werden allgemeine Vorgehensweisen und Beweistechniken demonstriert, die fur dieses Gebiet typisch sind. Auch werden eine Reihe von Anwendungen diskutiert, insbesondere aus der Informatik, wie logische Schaltungen, Semantik von Programmiersprachen und die Untersuchung von Kausalitat in verteilten Systemen. "Das Lehrbuch stellt eine grundlegende Einfuhrung in die mathematische Theorie der geordneten Mengen und Verbande dar. Neben wichtigen Begriffen wer... |
cena:
169,68 zł |
 |
Ordnungen, Verbände Und Relationen Mit Anwendungen
ISBN: 9783658006181 / Niemiecki / Miękka / 2012 / 392 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) Das Lehrbuch fuhrt 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, hauptsachlich der formalen Entwicklung von Algorithmen fur diskrete Probleme. Beispiele aus der Ordnungs- und Verbandstheorie schlagen den Bogen zuruck zum ersten Teil des Buches."
Das Lehrbuch fuhrt in wichtige Themen der Ordnungs- und Verbandstheorie ein und behandelt bedeutende Informatikanwendungen. Die Ordnungs- und Verbands...
|
cena:
150,79 zł |
 |
Mathematik F?r Die Informatik: Grundlegende Begriffe, Strukturen Und Anwendungen
ISBN: 9783658441487 / Niemiecki Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
207,36 zł |
 |
Tool Support for System Specification, Development and Verification
ISBN: 9783211832820 / Angielski / Miękka / 1999 / 232 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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...
The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements...
|
cena:
201,72 zł |
 |
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 Alge
ISBN: 9783642046384 / Angielski / Miękka / 2009 / 367 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This volume contains the proceedings of the 11th International Conference on RelationalMethodsinComputerScience(RelMiCS11)andthe6thInternational Conference on Applications of Kleene Algebra (AKA 6). The joint conference took place in Doha, Quatar, November 1-5, 2009. Its purpose was to bring - gether researchersfrom various subdisciplines of computer science, mathematics and related ?elds who use the calculus of relations 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...
This volume contains the proceedings of the 11th International Conference on RelationalMethodsinComputerScience(RelMiCS11)andthe6thInternational Confe...
|
cena:
201,72 zł |
 |
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/A
ISBN: 9783540789123 / Angielski / Miękka / 2008 / 402 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Workshop on Applications of Kleene Algebras, AKA 2008, held in Manchester, UK in April 2008. The 26 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...
The book constitutes the joint refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and ...
|
cena:
201,72 zł |
 |
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L
ISBN: 9783540151876 / Angielski / Miękka / 1985 / 276 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming - at the Technical University of Munich. Its central theme is program development by transformation, a methodology which is becoming more and more important. Whereas Volume I contains the description and formal specification of a wide spectrum language CIP-L particularly tailored to the needs of transformational programming, Volume II serves a double purpose: First, it describes a system, called CIP-S, that is to assist a programmer in the...
This book is the second of two volumes that present the main results which emerged from the project CIP - Computer-Aided, Intuition-Guided Programming...
|
cena:
121,01 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
