Formal Systems – Bücher, CDs, LPs 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…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

sofort lieferbar

Buch

Concurrent Programming, Open Systems and Formal Methods

Lecture Notes in Computer Science - Band 16120

This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

lieferbar in mind. 4 Wochen

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…

lieferbar innerhalb 2-3 Wochen

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, …

lieferbar innerhalb 2-3 Wochen

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,…

lieferbar innerhalb 2-3 Wochen

Buch

Andreas Georg Grote,
Datenbanksysteme und bioinformatische Werkzeuge zur Optimierung biotechnologischer Prozesse mit Pilzen

Der Braunschweiger SFB 578 "Vom Gen zum Produkt" befasst sich mit der Erfassung aller biologischen und verfahrenstechnischen Parameter, die dem Produktionsprozess rekombinanter Proteine in dem f…

lieferbar innerhalb 2-3 Wochen

Buch

Informatik Band 3 - gymnasiale Oberstufe - Allgemeine Ausgabe - Schulbuch

Band 3 bildet den Abschluss der Oberstufen-Ausgabe:handlungsorientierte Einstiegsaufgaben von Anfang an - mit Vorlagen für einen Unterricht, der an der Lebenswelt der Schüler/-innen ausgerichtet istviele …

sofort lieferbar

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…

sofort lieferbar

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…

lieferbar innerhalb einer Woche

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…

Artikel am Lager

2 LPs, CD

Frederic Paul Probst
Jugendschutz auf Video-Sharing-Plattformen

Schriftenreihe des Archivs für Urheber- und Medienrecht UFITA - Band 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…

sofort lieferbar

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…

lieferbar innerhalb 1-2 Wochen

Blu-ray Disc

Stand High Patrol

Underground Oasis

Sechstes Studioalbum des einzigartigen französischen Dub-Electro-Soundsystems als CD und Vinyl-LP auf dem bandeigenen Label Stand High Records. Schon seit 2000 ist das Soundsystem um Selecter Rootyste…

lieferbar ab 17.10.2025.

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…

Artikel am Lager

2 LPs

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…

sofort lieferbar

Buch

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

DAfStb-Heft - Band 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, …

sofort lieferbar

Buch

Stand High Patrol

Underground Oasis

Sechstes Studioalbum des einzigartigen französischen Dub-Electro-Soundsystems als CD und Vinyl-LP auf dem bandeigenen Label Stand High Records. Schon seit 2000 ist das Soundsystem um Selecter Rootyste…

lieferbar ab 17.10.2025.

CD

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…

lieferbar in mind. 4 Wochen

CD

Monika Burgmaier, Ulrich G. P. Freyer, Oliver Gomber, Bernhard Grimm
Tabellenbuch Informations-, Geräte-, System- und Automatisierungstechnik

Europa-Fachbuchreihe für elektrotechnische und elektronische Berufe

Das Buch ist ein umfassendes Nachschlagewerk für die Bereiche Kommunikationstechnik, Systemtechnik, Medientechnik, Automatisierungstechnik und Informationstechnik.Kompakte und übersichtliche Darstellung d…

lieferbar innerhalb 1-2 Wochen

Buch