Concurrency – Bücher, Blu-ray Discs, CDs und mehr, Seite 2

Bobo Stenson (geb. 1944)

Goodbye (SHM-CD)

Product Information A new album by the Bobo Stenson Trio is always an event. There can be few contemporary jazz piano trios that draw upon such wide-ranging repertoire. “Goodbye” continues its trad…

lieferbar innerhalb 1-2 Wochen

CD

Bobo Stenson (geb. 1944)

Goodbye (UHQ-CD)

Product Information A new album by the Bobo Stenson Trio is always an event. There can be few contemporary jazz piano trios that draw upon such wide-ranging repertoire. “Goodbye” continues its trad…

CD

Theoretical Aspects of Software Engineering

.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

lieferbar innerhalb 2-3 Wochen

Buch

Herbert Wolverson
Advanced Hands-On Rust

Accelerate your Rust development with reusable libraries, and build a game development toolkit that helps you quickly create games using the Bevy Engine. Improve your code with testing, benchmarking, and …

lieferbar ab 18.11.2025.

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Nathan Kozyra, Matt Butcher, Matt Farina
Go in Practice, Second Edition

From the back cover:Go in Practice, Second Edition delivers dozens of practical techniques for writing and maintaining Go applications following a handy problem/solution/discussion format. This up-to-date…

lieferbar innerhalb 1-2 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Computer Aided Verification

This open access 4-volume set constitutes the proceedings of the 37th International Conference on Computer Aided Verification, CAV 2025, held in Zagreb, Croatia, in July 23-25, 2025.The 51 regular papers …

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Concurrency" - alle Bücher, Blu-ray Discs, CDs und mehr