Ori Lahav – författare
Visar alla böcker från författaren Ori Lahav. 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 …
Aquatic Chemistry
for Water and Wastewater Treatment Applications
Häftad, 2019
1001 kr
Lägg i varukorg
This book provides chemical concepts as well as crucial steps for inorganic water and wastewater treatment. Examples and tools help to understand and to guide through industrial and natural water process engineering. Chemical and environmental engineers, researchers and professionals, as well as …
Aquatic Chemistry
for Water and Wastewater Treatment Applications
E-bok, 2019
1165 kr
Lägg i varukorg
This book provides chemical concepts as well as crucial steps for inorganic water and wastewater treatment. Examples and tools help to understand and to guide through industrial and natural water process engineering. Chemical and environmental engineers, researchers and professionals, as well as …
