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

Darcs

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Darcs is a distributed revision control system created by David Roundy that …

lieferbar innerhalb 2-3 Wochen

Buch

Vox Lux (2018) (UK Import)

In 1999, teenage Celeste (Raffey Cassidy) survives a violent high-school shooting. After singing at a memorial service, she transforms into a burgeoning pop star with the help of her songwriter sister (St…

Artikel am Lager

DVD

Vox Lux (2018) (Blu-ray) (UK Import)

In 1999, teenage Celeste (Raffey Cassidy) survives a violent high-school shooting. After singing at a memorial service, she transforms into a burgeoning pop star with the help of her songwriter sister (St…

lieferbar in mind. 4 Wochen

Blu-ray Disc

Edwin Schicker
Datenbanken und SQL

Dieses Buch vermittelt fundierte Grundkenntnisse sowohl in Datenbanken als auch in SQL. Eine Zusammenfassung und zahlreiche Übungsaufgaben in jedem Kapitel dienen der Vertiefung des Stoffes und verbessern…

lieferbar innerhalb 2-3 Wochen

Buch

Alex Miller
Programming Clojure, Fourth Edition

Quickly turn complex problems into simple, working solutions using functional programming, safe concurrency, and the expressive tools of Clojure.Struggling with unnecessary complexity, unmanaged state, an…

lieferbar in mind. 4 Wochen

Buch

Paul A. Gagniuc
An Introduction to Programming Languages

Synthesis Lectures on Computer Science

This book presents a unique comparative framework that teaches programming through parallel exposure to multiple languages. Rather than focusing on a single syntax, this book reveals the universal princip…

lieferbar ab 21.7.2026.

Buch

Jim Blandy, Jason Orendorff, Leonora Tindall
Programming Rust

Rust combines low-level control with memory safety, making it an ideal choice for systems programming. This practical guide is for experienced programmers looking to write fast, reliable code while avoidi…

lieferbar ab 15.10.2026.

Buch

Domain Decomposition Methods in Science and Engineering XXVIII

Lecture Notes in Computational Science and Engineering

Domain decomposition is an active interdisciplinary area of research in the mathematical analysis and computational implementation of decoupling and coupling strategies for models of natural and engineere…

lieferbar ab 11.8.2026.

Buch

Theoretical Aspects of Software Engineering

Lecture Notes in Computer Science - Band 15841

.- 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

Reachability Problems

Lecture Notes in Computer Science - Band 16230

This book constitutes the proceedings of the 19th International Conference on Reachability Problems, RP 2025, which took place in Madrid, Spain, during October 1-3, 2025.The 12 full papers included in the…

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 in mind. 4 Wochen

Buch

Steve Klabnik, Carol Nichols, Chris Krycho
The Rust Programming Language

Build stable, production-grade systems with Rust.The Rust Programming Language, 3rd Edition , teaches you to write code that the compiler can verify, teams can maintain, and systems can evolve safely over…

sofort lieferbar

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

Kerem Koseoglu
Swift

This is your ultimate resource for Swift, the programming language for Apple devices! Get to know Swift's syntax and learn to work with elements such as variables and collections. Use Swift's built-in fea…

sofort lieferbar

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

Joel Holmes
Go in Action, Second Edition

Get a free eBook (PDF or ePub) from Manning as well as access to the online liveBook format (and its AI assistant that will answer your questions in any language) when you purchase the print book.Master G…

lieferbar ab 7.10.2026.

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, LPs, Blu-ray Discs und mehr