Kapak Resmi

Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM /

Electronic Commerce is one of the major factors in the evolution of the internet it increases the possibility for private companies or individuals to trade with each other.

Kaydedildi:

Detaylı Bibliyografya
Yazar:	El Rayes, Amani Helmi
Materyal Türü:	Kitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	Cairo : The Institute of National Planning, 2006.
Seri Bilgileri:	The Institute of National Planning ; 1631.
Konular:	Currency System. Electronic Commerce. trade.
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Evaluating the lightweight Currency System using the probabilistic Checking PRISM
Yazar:: Helmi El Rayes, Amani
Baskı/Yayın Bilgisi: (2022)

Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
Yazar:: David Lee Kuo Chuen
Baskı/Yayın Bilgisi: (2015)

Handbook of digital currency : bitcoin, innovation, financial instruments, and big data /
Yazar:: David Lee Kuo Chuen
Baskı/Yayın Bilgisi: (2015)

Understanding the digital economy : data, tools, and research /
Baskı/Yayın Bilgisi: (2000)

Currency boards for developing countries : a handbook /
Yazar:: Hanke, Steve H.
Baskı/Yayın Bilgisi: (1994)

Currency boards for developing countries : a handbook /
Yazar:: Hanke, Steve H.
Baskı/Yayın Bilgisi: (1994)

Global economic effects of the Asian currency devaluations /
Baskı/Yayın Bilgisi: (1998)

The State Trading Corporation : a report on India's export performance /
Baskı/Yayın Bilgisi: (1961)

The State Trading Corporation : a report on India's export performance /
Baskı/Yayın Bilgisi: (1961)

Free trade.

Distributed Computing Systems : Communication, Cooperation, Consistency /
Baskı/Yayın Bilgisi: (1985)

International trade and economic growth : studies in pure theory /
Yazar:: Johnson, Harry G.
Baskı/Yayın Bilgisi: (1958)

International trade and economic growth : studies in pure theory /
Yazar:: Johnson, Harry G.
Baskı/Yayın Bilgisi: (1958)

Introducing systems design /
Yazar:: Skidmore, Steve
Baskı/Yayın Bilgisi: (1990)

Global shift : mapping the changing contours of the world economy /
Yazar:: Dicken, Peter
Baskı/Yayın Bilgisi: (2007)

International trade and finance : new frontiers for research : essays in honor of Peter B. Kenen /
Yazar:: .Cohen, Benjamin J.
Baskı/Yayın Bilgisi: (1997)

The application of advanced information and communications technologies in the transport sector in the ESCWA region /
Baskı/Yayın Bilgisi: (2001)

1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
Baskı/Yayın Bilgisi: (1997)

1996 International Trade Statistics Yearbook Annualre Statistque du Commerce International.
Baskı/Yayın Bilgisi: (1997)

INP database management system
Yazar:: El-daoushy, Abdalla
Baskı/Yayın Bilgisi: (2018)

Trade and transport facilitation : e-business and information and communications technology applications /
Baskı/Yayın Bilgisi: (2003)

United Kingdom trade with Europe /
Yazar:: Meyer, F. V.
Baskı/Yayın Bilgisi: (1957)

COMESA : Group of common market for Eastern and Southern African Countries /
Baskı/Yayın Bilgisi: (2001)

United Kingdom trade with Europe /
Yazar:: Meyer, F. V.
Baskı/Yayın Bilgisi: (1957)

Self-organizing systems : proceedings /
Baskı/Yayın Bilgisi: (1960)

Self-organizing systems : proceedings /
Baskı/Yayın Bilgisi: (1960)

Glossary of commercial, economic & financial terms : English-French-Arabic /
Yazar:: Joreiga, Mona
Baskı/Yayın Bilgisi: (2000)

Systems modelling : theory and practice /
Baskı/Yayın Bilgisi: (2004)

Money and man : a survey of monetary experience /
Yazar:: Groseclose, Elgin Earl
Baskı/Yayın Bilgisi: (1961)

Money and man : a survey of monetary experience /
Yazar:: Groseclose, Elgin Earl
Baskı/Yayın Bilgisi: (1961)

Commerce : Its theory and practice /
Yazar:: Thomas, S. Evelyn
Baskı/Yayın Bilgisi: (1965)

Manuel de Classification economique et fonctionnelle des opperations de l’ Etat /
Yazar:: United Nations
Baskı/Yayın Bilgisi: (1957)

Introduction to computers & information systems /
Yazar:: Long, Larry E.
Baskı/Yayın Bilgisi: (1997)

Introduction to computers & information systems /
Yazar:: Long, Larry E.
Baskı/Yayın Bilgisi: (1997)

Hedging of Contracts, Anticipated Positions, and Tender Offers : A Study of Corporate Foreign Exchange Rate Risk And/or Price Risk /
Yazar:: Lagerstam, Catharina
Baskı/Yayın Bilgisi: (1990)

Using PEPA to Model the Unemployment Problem
Yazar:: El Rayes, Amani, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Stochastic models optimization techniques and computer applications : Proceeding of the international conference in stochastic models optimization techniques and computer applications /
Baskı/Yayın Bilgisi: (1994)

program evaluation and review technique with computer application /
Yazar:: taha, hamdy A.
Baskı/Yayın Bilgisi: (1965)

Foreign direct investment and industrialisation in Malaysia, Singapore, Taiwan, and Thailand /
Yazar:: .Lim, Linda Y.C
Baskı/Yayın Bilgisi: (1991)

World monetary disorder : national policies vs. international imperatives /
Baskı/Yayın Bilgisi: (1976)