Search results for “[Subject: computers-software]”

• Author(s): Rolf Esser • Publisher: Tredition Gmbh • Publisher Imprint: Tredition Gmbh • BISAC: GeneralEin Handbuch zum Einstieg in die Musikwelt des Computerzeitalters. Computer sind in der modernen Musikproduktion allgegenwärtig. Selbst Instru...

• Author(s): Stefan Luckhaus • Publisher: Tredition Gmbh • Publisher Imprint: Tredition Gmbh • BISAC: General

• Author(s): Markus Hiermer • Publisher: Tredition Gmbh • Publisher Imprint: Tredition Gmbh • BISAC: Business & Productivity Software - GeneralEinführung und Workshop In 12 Schritten vom Entwurfsmodell zum Gebäudemodell Mit Beispieldateien zu...

• Author(s): Lucien Sina • Publisher: Tredition Gmbh • Publisher Imprint: Tredition Gmbh • BISAC: Computer ScienceTheoretische Informatik - klar, kompakt und praxisnah. Dieses Buch f�hrt Sie Schritt f�r Schritt in die Grundlagen der formalen Spra...

• Author(s): Lucien Sina • Publisher: Tredition Gmbh • Publisher Imprint: Tredition Gmbh • BISAC: Computer ScienceTheoretische Informatik - klar, kompakt und praxisnah. Dieses Buch f�hrt Sie Schritt f�r Schritt in die Grundlagen der formalen Spra...

• Author(s): Bernard • Publisher: Tredition Gmbh • Publisher Imprint: Tredition Gmbh • BISAC: General"Building Bulletproof Software: How Formal Verification Saves the day" uses strong verbs and a touch of humor to grab attention. It highlights th...

• Author(s): Naviya • Publisher: Tredition Gmbh • Publisher Imprint: Tredition Gmbh • BISAC: General"Securing the System" delves into formal methods, a rigorous approach to crafting software free from errors and vulnerabilities. Unlike traditiona...