Inbunden, Engelska, 2022
385 kr
Skickas inom 5-8 vardagar
Thomas Ball – författare
Visar alla böcker från författaren Thomas Ball. Handla med fri frakt och snabb leverans.
11 produkter
11 produkter
- Häftad, Engelska, 2022
220 kr
Skickas inom 5-8 vardagar
- Häftad, Engelska, 2018
345 kr
Skickas inom 5-8 vardagar
- Häftad, Engelska, 2006
1 135 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 18th International Conference on Computer Aided Verification, CAV 2006, held as part of the 4th Federated Logic Conference, FLoC 2006. Presents 35 revised full papers together with 10 tool papers and 4 invited papers adressing all current issues in computer aided verification and model checking - from foundational and methodological issues ranging to the evaluation of major tools and systems - E-bokPDF, Engelska, 2006
1 470 kr
Läs direkt efter köp
- Häftad, Engelska, 2003
571 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems. - E-bokPDF, Engelska, 2003
732 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop.
The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.
- E-bokPDF, Tyska, 2023
770 kr
Läs direkt efter köp
Das Fachbuch zum professionellen Gebäudemanagement behandelt in Beiträgen effiziente Immobilien- und produktionsnahe Sekundärprozesse. Die zunehmende Komplexität der kostenrelevanten Vorgänge, die Beachtung der elementaren Themen Arbeitssicherheit, Digitalisierung, Energieeffizienz sowie Nachhaltigkeit bieten eine Vielfalt an Chancen. Im Mittelpunkt stehen Werterhaltung und Wertentwicklung von Büro- und Gewerbeimmobilien, aber auch Prozessoptimierung und Qualitätssteigerung.Inhalte:- Rückblick auf das Jahr 2022 und Ausblick auf die Jahre 2023 und 2024- Entwicklung der Marktstruktur: Trends zu Multidienstleistern oder Spezialisten?- Wechselwirkung von Preis, Qualität und Personalbedarf im Facility Management- Beitrag des Facility Managements zu ESG-Anforderungen von Auftraggebern- Lösungen gegen den Personalmangel- Effizientere Immobilienbewirtschaftung durch digitale Lösungsansätze- Umfassende Immobilienbewirtschaftung: Wachsen Asset und Facility Management stärker zusammen?- Flexible Bewirtschaftungsmodelle und New Work- Beitrag des Facility Managements für zukunftsorientierte Arbeitsplatzangebote- Wichtige aktuelle Services aus dem Facility Management für die Praxis- Porträt 50 führender FS-Dienstleister sowie 20 BeraterDie digitale und kostenfreie Ergänzung zu Ihrem Buch auf myBook+:- Zugriff auf ergänzende Materialien und Inhalte- Persönliche Fachbibliothek mit Ihren BüchernJetzt nutzen auf mybookplus.de. - Engelska, 2014
672 kr
Skickas inom 5-8 vardagar
- Inbunden, Engelska, 2022
459 kr
Tillfälligt slut
- Häftad, Engelska, 2022
326 kr
Tillfälligt slut
