الموضوعات المستخلصة من بحثك.
بدائل البحث:
transformations programming » transformation programme, transformation program
integrated transformations » integral transformations, integrated transportation, integral transformation
programming programming » programming programmed, programming program
programming constructs » programming concepts, programming contest
constructs loops » constructs lists, constructs coders, constructs core
1
صورة الغلاف
منشور في 2013
جدول المحتويات: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
احصل على النص الكامل
الكتروني كتاب الكتروني
أضف إلى المفضلة
محفوظ في:
2
صورة الغلاف
منشور في 2013
جدول المحتويات: “... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”
احصل على النص الكامل
الكتروني كتاب الكتروني
أضف إلى المفضلة
محفوظ في:
3
صورة الغلاف
منشور في 2013
جدول المحتويات: “... -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation...”
احصل على النص الكامل
الكتروني كتاب الكتروني
أضف إلى المفضلة
محفوظ في:
4
صورة الغلاف
منشور في 2014
جدول المحتويات: “... Objects -- VeriMAP: A Tool for Verifying Programs through Transformations -- CIF 3: Model-Based...”
احصل على النص الكامل
الكتروني كتاب الكتروني
أضف إلى المفضلة
محفوظ في:
5
صورة الغلاف
منشور في 2014
جدول المحتويات: “... Algorithm -- A Closed Loop Supply Chain Inventory Model for the Deteriorating Items with JIT Implementation...”
احصل على النص الكامل
الكتروني كتاب الكتروني
أضف إلى المفضلة
محفوظ في:
6
صورة الغلاف
منشور في 2006
جدول المحتويات: “... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...”
احصل على النص الكامل
الكتروني كتاب الكتروني
أضف إلى المفضلة
محفوظ في:
7
صورة الغلاف
منشور في 2010
جدول المحتويات: “... Partitioned Sampling for Multi-object Tracking -- Object Tracking and Segmentation in a Closed Loop -- Optical...”
احصل على النص الكامل
الكتروني كتاب الكتروني
أضف إلى المفضلة
محفوظ في:
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني — حفظ البحث