computer-science – برگه 2255 – فونیکس

نمایش 27049–27060 از 27722 نتیجه

نمایش فیلترها

دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 1719, Proceedings

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 1618, Proceedings

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 24th International Conference, VMCAI 2023, Boston, MA, USA, January 1617, Proceedings

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, Revised Selected

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Verified Software: Theories, Tools, Experiments: 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, Revised

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 1718, Revised Selected

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 1718, Revised

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Verilog HDL : digital design and modeling – HDL

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Versatile Video Coding (VVC). Machine Learning and Heuristics

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها
دانلود کتاب Vertex Labellings of Simple Graphs – ‌

108,000تومان

افزودن به سبد خرید

افزودن به علاقه مندی ها

بارگذاری محصولات بیشتر

تمامی حقوق برای سایت فونیکس محفوظ است.

سبد خرید

سبد خرید شما خالی است.

ورود به سایت