Sebastian Wolff – författare
Visar alla böcker från författaren Sebastian Wolff. Handla med fri frakt och snabb leverans.
6 produkter
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Av Rayna Dimitrova, Ori Lahav m. fl.
Häftad, 2024
846 kr
Lägg i varukorg
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were …
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part II
Av Sebastian Wolff, Ori Lahav m. fl.
E-bok, 2023
1056 kr
Lägg i varukorg
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were …
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
Av Rayna Dimitrova, Ori Lahav m. fl.
Häftad, 2024
850 kr
Lägg i varukorg
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were …
Verification, Model Checking, and Abstract Interpretation
25th International Conference, VMCAI 2024, London, United Kingdom, January 15–16, 2024, Proceedings, Part I
Av Sebastian Wolff, Ori Lahav m. fl.
E-bok, 2023
1091 kr
Lägg i varukorg
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were …
Erzähler der Schatten
Wie Pen & Paper Mechaniken die modernsten Rollenspiele prägten
E-bok, 2026
222 kr
Lägg i varukorg
Bevor wir mit fotorealistischen Charakteren durch epische 3D-Welten wanderten, fanden die größten Abenteuer der Spielegeschichte auf Küchentischen statt – bewaffnet nur mit Stiften, Papier und seltsam geformten Würfeln. Die Wurzeln der modernen, milliardenschweren Rollenspiel-Industrie liegen tief …
Imágenes Cardíacas en Cardiología del Ejercicio
Av Roberto Peidro, Carlos Franco m. fl.
E-bok, 2025
643 kr
Lägg i varukorg
El libro Imágenes cardíacas en cardiología del ejercicio aborda de manera integral los aspectos clave del uso de las técnicas de imagen avanzada en la evaluación del corazón del deportista. Los capítulos están dedicados a la ecocardiografía avanzada, resonancia magnética cardíaca, tomografía …
