Formal Systems – Bücher, LPs, CDs und mehr

Descriptional Complexity of Formal Systems

This book constitutes the refereed proceedings of the 26th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems, DCFS 2025, held in Loughborough, UK, during July 22--24, 202…

deliverable within 2-3 weeks

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9¿13, 2024.The 14 full pape…

deliverable within 2-3 weeks

Buch

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems

This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took pla…

deliverable within 2-3 weeks

Buch

Formal Techniques for Distributed Objects, Components, and Systems

This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2025, held in Lille, France, in…

deliverable within 2-3 weeks

Buch

Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

deliverable within 2-3 weeks

Buch

Rolf Drechsler, Pascal Pieper
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus,…

deliverable within 2-3 weeks

Buch

Anette Schumacher, Sandra Biewers-Grimm
Zufriedenheit, Wohlbefinden und Anerkennung im Kontext non-formaler Bildung

Schriften der Willy Brandt School of Public Policy an der Universität Erfurt

Wie zufrieden sind Eltern mit der pädagogischen Qualität der Kleinkinderbetreuung? Wie positioniert sich das pädagogische Fachpersonal hierzu und zur Qualität der eigenen Arbeit? Woran lässt sich das Wohl…

lieferbar ab 11.8.2025.

Buch

Informatik Band 3 - gymnasiale Oberstufe - Allgemeine Ausgabe - Schulbuch

Das neue Lehrwerk Informatik - gymnasiale Oberstufe verfolgt mit seinem handlungsorientierten Konzept und der Anordnung der Inhalte einen werkzeugunabhängigen Ansatz - und behandelt die Werkzeugkunde getr…

deliverable within 1-2 weeks

Buch

Gomorrha - Reise ins Reich der Camorra

Macht, Geld, Blut. Damit werden die Einwohner der Provinzen von Neapel und Caserta tagtäglich konfrontiert. Nur eine privilegierte Minderheit kann überhaupt daran denken, ein 'normales' Leben zu führen. V…

deliverable within one week

DVD

Manu Chao

Sibérie M'Etait Contéee

Format:TaschenbuchManu Chao hat eine neue CD herausgebracht. Diese Nachricht bereitete mir schlaflose Nächte bis ich sie endlich in den Händen halten durfte. Er ist für mich schließlich aufgrund seiner mu…

Item in stock

2 LPs, CD

Frederic Paul Probst
Jugendschutz auf Video-Sharing-Plattformen

Schriftenreihe des Archivs für Urheber- und Medienrecht UFITA - volume 302

Wie müssen Anbieter von Video-Sharing-Plattformen Minderjährige vor schädlichen Inhalten schützen? Obwohl Dienste wie YouTube zu den beliebtesten Internetanwendungen unter Kindern und Jugendlichen gehören…

available for immediate delivery

Buch

Gomorrha - Reise ins Reich der Camorra (Blu-ray)

Macht, Geld, Blut. Damit werden die Einwohner der Provinzen von Neapel und Caserta tagtäglich konfrontiert. Nur eine privilegierte Minderheit kann überhaupt daran denken, ein 'normales' Leben zu führen. V…

deliverable within 1-2 weeks

Blu-ray Disc

Lúcia Brandão Dias, Hildeberto E. Cabral
Normal Forms and Stability of Hamiltonian Systems

This book introduces the reader to the study of Hamiltonian systems, focusing on the stability of autonomous and periodic systems and expanding to topics that are usually not covered by the canonical lite…

deliverable within 2-3 weeks

Buch

Bob Vylan

Humble As The Sun

Das Punk-Grime-Duo Bob Vylan gewann 2022 den MOBO-Award als bester Alternative Music Act und den Kerrang! Award für das beste Album. Die neue LP »Humble As The Sun« ist eine erfrischende und überzeugende …

deliverable within 1-2 weeks

CD

Bob Vylan

Humble As The Sun (180g) (Black Vinyl)

Das Punk-Grime-Duo Bob Vylan gewann 2022 den MOBO-Award als bester Alternative Music Act und den Kerrang! Award für das beste Album. Die neue LP »Humble As The Sun« ist eine erfrischende und überzeugende …

deliverable within 1-2 weeks

LP

Dennis Bovell

Sufferer Sounds (Rare Dubs, Roots & Lovers Rock)

Dennis Bovells produktive und eklektische Karriere umfasst eine große Bandbreite an Musik: von Dub Poetry über Lovers Rock bis hin zu Post-Punk, Disco und Pop und darüber hinaus. Seine Produktionsarbeit u…

Item in stock

2 LPs

Sufferer Sounds (Rare Dubs, Roots & Lovers Rock)

Dennis Bovells produktive und eklektische Karriere umfasst eine große Bandbreite an Musik: von Dub Poetry über Lovers Rock bis hin zu Post-Punk, Disco und Pop und darüber hinaus. Seine Produktionsarbeit u…

Item in stock

CD

Bob Vylan

Humble As The Sun (180g) (Blue + White Marbled Vinyl)

Das Punk-Grime-Duo Bob Vylan gewann 2022 den MOBO-Award als bester Alternative Music Act und den Kerrang! Award für das beste Album. Die neue LP »Humble As The Sun« ist eine erfrischende und überzeugende …

deliverable within 1-2 weeks

LP

Div. Autoren,
Numerische Modellierung des Ermüdungsverhaltens von normal- und hochfestem Beton

DAfStb-Heft - volume 649

Trotz der bemerkenswerten Erkenntnisse, die in den letzten Jahren bei der Modellierung und Charakterisierung des Ermüdungsverhaltens von Beton gewonnen wurden, bleiben noch viele offene Fragen zu klären, …

available for immediate delivery

Buch

Sarah Gerwing
Das Diversity-Betriebssystem

Haufe Fachbuch

Wie ein Smartphone braucht dein Unternehmen das richtige Betriebssystem, um optimal zu funktionieren. Dieses Handbuch liefert eine praxiserprobte Anleitung, um das Diversity Management so zu konfigurieren…

available for immediate delivery

Buch

Search Results "Formal Systems" - all Bücher, LPs, CDs und mehr