(1631) Evaluating the lightweight Currency System using the probabilistic Checking PRISM تقييم نظام العملة الخفيف باستخدام برنامج التحقق الاحتمالي PRISM
Electronic commerce is one if the major factors in the evolution of the internet. It increases the possibility for private companies or individuals to trade with each other. Information plays a major role in such global economy. Immediate supply of information means improvement of the hole economy....
Saved in:
| Main Author: | Helmi El Rayes, Amani |
|---|---|
| Format: | Book |
| Published: |
معهد التخطيط القومى
2022
|
| Subjects: | |
| Online Access: | http://repository.inp.edu.eg/handle/123456789/5046 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM /
by: El Rayes, Amani Helmi
Published: (2006)
by: El Rayes, Amani Helmi
Published: (2006)
Understanding the digital economy : data, tools, and research /
Published: (2000)
Published: (2000)
Global shift : mapping the changing contours of the world economy /
by: Dicken, Peter
Published: (2007)
by: Dicken, Peter
Published: (2007)
Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
by: David Lee Kuo Chuen
Published: (2015)
by: David Lee Kuo Chuen
Published: (2015)
COMESA : Group of common market for Eastern and Southern African Countries /
Published: (2001)
Published: (2001)
United Kingdom trade with Europe /
by: Meyer, F. V.
Published: (1957)
by: Meyer, F. V.
Published: (1957)
(1288) A method for local and global minimization of concave function under linear constraints
طريقة للتقليل المحلي والعالمي للدالة المقعرة في ظل قيود خطية
by: Omar, Amani
Published: (2018)
by: Omar, Amani
Published: (2018)
Commerce : Its theory and practice /
by: Thomas, S. Evelyn
Published: (1965)
by: Thomas, S. Evelyn
Published: (1965)
Political economy and Soviet socialism /
by: Nove, Alec
Published: (1979)
by: Nove, Alec
Published: (1979)
(1246) Advanced Mathematical treatment of least squares in economic applications
المعالجة الرياضية المتقدمة للمربعات الصغرى في التطبيقات الاقتصادية
by: Omar, Amani, et al.
Published: (2018)
by: Omar, Amani, et al.
Published: (2018)
Alleviation the Side Effect of the Negative Impacts of Economic Reform /
by: Khalifa, Magdi
Published: (1993)
by: Khalifa, Magdi
Published: (1993)
Risk Analysis & Country Profile.
classification of national econom /
by: linsel, hermann
Published: (1965)
by: linsel, hermann
Published: (1965)
balance of national economy-an instrument of long term planning /
by: rudolph, johannes
Published: (1958)
by: rudolph, johannes
Published: (1958)
A Simple Financial Model on the Egyptian Economy /
by: Selim, Hassan M.
Published: (1973)
by: Selim, Hassan M.
Published: (1973)
(1475) INP database management system
نظام إدارة قاعدة بيانات INP
by: El-daoushy, Abdalla
Published: (2018)
by: El-daoushy, Abdalla
Published: (2018)
The State Trading Corporation : a report on India's export performance /
Published: (1961)
Published: (1961)
(1291) A programming method for Quasi and explicitly Quasi-concave minimum programming problem
طريقة برمجة لمسألة البرمجة الدنيا شبه المقعرة وشبه المقعرة الصريحة
by: Omar, Amani
Published: (2018)
by: Omar, Amani
Published: (2018)
(1277) Regional planning as a tool of strengthening the national economy
التخطيط الإقليمي كأداة لتعزيز الاقتصاد الوطني
by: Sobhy, Hoda M.
Published: (2018)
by: Sobhy, Hoda M.
Published: (2018)
(529) Classification of National Economy
تصنيف الاقتصاد الوطني
by: Linsel, Hermann, et al.
Published: (2025)
by: Linsel, Hermann, et al.
Published: (2025)
Economic Thought of Al-Ghazali : A. H 450-505 / A. D 1058-1111 /
by: Ghazanfar, Syed Mohammad
Published: (1997)
by: Ghazanfar, Syed Mohammad
Published: (1997)
On political economy and econometrics essays in honour of oskar lange.
Published: (1964)
Published: (1964)
improving the position of third world countries in the international cotton economy /
Published: (1979)
Published: (1979)
(723) On Economic Balances and Alternative Methods of Valuation
حول الموازين الاقتصادية وطرق التقييم البديلة
by: M. El-Imam, M.
Published: (2023)
by: M. El-Imam, M.
Published: (2023)
la politique conjoncturelle en economie quverte /
by: salin, pascal
Published: (1965)
by: salin, pascal
Published: (1965)
The Egyptian economy in the twenty-first century : the hard road to inclusive prosperity /
by: Ikram,Khalid
Published: (2022)
by: Ikram,Khalid
Published: (2022)
Basic Economics /
by: Dyal, James A.
Published: (1990)
by: Dyal, James A.
Published: (1990)
Medium-term Planning of National Economy /
by: Knauthe, Habil Erhart
Published: (1967)
by: Knauthe, Habil Erhart
Published: (1967)
the economics of michal kalecki /
Published: (1985)
Published: (1985)
The global third way debate /
Published: (2001)
Published: (2001)
(563) Long Term Growth of A Developing Economy
النمو طويل الأمد للاقتصاد النامي
by: Qayoum, A.
Published: (2024)
by: Qayoum, A.
Published: (2024)
(563) Long Term Growth of A Developing Economy
النمو طويل الأمد للاقتصاد النامي
by: Qayoum, A.
Published: (2025)
by: Qayoum, A.
Published: (2025)
la Réforme agraire en egypte /
by: Marei, Sayed
Published: (1957)
by: Marei, Sayed
Published: (1957)
Economics : an integrated approach /
by: creedy, john
Published: (1984)
by: creedy, john
Published: (1984)
(1090) On Solving the Capacitated Facilities Location Problem with Concave Cost Functions
حول حل مشكلة تحديد مواقع المنشآت ذات السعة المحدودة مع دوال التكلفة المقعرة
by: Al - Walid N. E l-Shafei.
Published: (2020)
by: Al - Walid N. E l-Shafei.
Published: (2020)
State, society, and economy in Saudi Arabia /
Published: (1982)
Published: (1982)
The Economics of Money, Banking and Finance: A European Text/
by: Howells, Peter, et al.
Published: (2002)
by: Howells, Peter, et al.
Published: (2002)
Free trade.
(635) Balance of National Economy – An Instrument of Long Term Planning
ميزان الاقتصاد الوطني – أداة للتخطيط على المدى الطويل
by: Rudolph, Johannes
Published: (2024)
by: Rudolph, Johannes
Published: (2024)
Egypt`s Political Economy - Power Relation in Development
by: Farah, Nadia Ramsis
Published: (2008)
by: Farah, Nadia Ramsis
Published: (2008)
Similar Items
-
Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM /
by: El Rayes, Amani Helmi
Published: (2006) -
Understanding the digital economy : data, tools, and research /
Published: (2000) -
Global shift : mapping the changing contours of the world economy /
by: Dicken, Peter
Published: (2007) -
Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
by: David Lee Kuo Chuen
Published: (2015) -
COMESA : Group of common market for Eastern and Southern African Countries /
Published: (2001)