Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Ergebnisse zu
Informatik: Theorie / Studium

Fachgebiete anzeigen
An Introduction to Program Verification
von José Bacelar Almeida; Maria João Frade; Jorge Sousa..
Buch | Softcover
2026 | Springer London Ltd
ISBN: 9781447175575
CHF 164,75 (inkl. MwSt)
in den Warenkorb jetzt vorbestellen
  • Noch nicht erschienen
Sequential, Parallel and Distributed
von Kayhan Erciyes
Buch | Hardcover
2026 | Auflage: 2 | Springer International Publishing
ISBN: 9783032052933
CHF 112,30 (inkl. MwSt)
in den Warenkorb jetzt vorbestellen
  • Noch nicht erschienen
Security Proofs and Cryptanalysis
von Jacques Patarin; Emmanuel Volte; Benoît Cogliati
Buch | Hardcover
2026 | Auflage: 2 | Springer International Publishing
ISBN: 9783031998492
CHF 119,80 (inkl. MwSt)
in den Warenkorb jetzt vorbestellen
  • Noch nicht erschienen
A Concise Introduction
von Steven W. Knox
Buch | Hardcover
2026 | John Wiley & Sons Inc
ISBN: 9781394325252
CHF 144,80 (inkl. MwSt)
in den Warenkorb jetzt vorbestellen
  • Noch nicht erschienen