Vote for your favorite mineral in #MinCup25! - Sanidine vs. Hematite
It's a pair of often-overlooked classics as potassium feldspar sanidine competes with iron ore hematite.
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Du, Yuyue, Zheng, Hong, Yu, Shuxia (2008) Analysis and Verification of Dynamic Stock Trading Systems. Information Technology Journal, 7 (3) 466-473 doi:10.3923/itj.2008.466.473

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleAnalysis and Verification of Dynamic Stock Trading Systems
JournalInformation Technology Journal
AuthorsDu, YuyueAuthor
Zheng, HongAuthor
Yu, ShuxiaAuthor
Year2008 (March 1)Volume7
Issue3
PublisherScience Alert
DOIdoi:10.3923/itj.2008.466.473Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID14619862Long-form Identifiermindat:1:5:14619862:7
GUID0
Full ReferenceDu, Yuyue, Zheng, Hong, Yu, Shuxia (2008) Analysis and Verification of Dynamic Stock Trading Systems. Information Technology Journal, 7 (3) 466-473 doi:10.3923/itj.2008.466.473
Plain TextDu, Yuyue, Zheng, Hong, Yu, Shuxia (2008) Analysis and Verification of Dynamic Stock Trading Systems. Information Technology Journal, 7 (3) 466-473 doi:10.3923/itj.2008.466.473
In(2008, March) Information Technology Journal Vol. 7 (3) Science Alert

See Also

These are possibly similar items as determined by title/reference text matching only.

Du, Yu Yue, Zheng, Hong, ShuXia, Yu (2008) Modeling Non-Repudiation in Distributed Systems. Information Technology Journal, 7 (1) 228-230 doi:10.3923/itj.2008.228.230
Du, YuYue, Zhang, FuXin (2009) A Process Generation Approach of Dynamic Workflows Based Description Logics. Information Technology Journal, 8 (7) 998-1005 doi:10.3923/itj.2009.998.1005
Du, Yuyue, Li, Peng (2009) Modeling and Design for Dynamic Workflows Based on Flexible Activities. Information Technology Journal, 8 (5) 750-756 doi:10.3923/itj.2009.750.756
Liu, Wei, Du, Yuyue (2009) Modeling Multimedia Synchronization using Petri Nets. Information Technology Journal, 8 (7) 1054-1058 doi:10.3923/itj.2009.1054.1058
Lian, WenJuan, Fan, Hao, Du, YuYue, Liang, YongQuan (2008) Petri Net Methods of Constructing Kleene-Closure Operations of Regular Languages. Information Technology Journal, 7 (4) 689-693 doi:10.3923/itj.2008.689.693
Liu, Jianxin, Du, Yuyue, Li, Peng, Hong, Yongfa (2013) Petri-net Modeling of Container-port Work Flo. Information Technology Journal, 12 (9) 1845-1850 doi:10.3923/itj.2013.1845.1850
Liu, Wei, Du, Yuyue, Sun, Haichun (2009) Soundness Analysis of T-Restricted Interorganizational Logical Workflow Nets. Information Technology Journal, 8 (6) 821-829 doi:10.3923/itj.2009.821.829
Sun, H.C., Du, Y.Y. (2008) Soundness Analysis of Inter-Organizational Workflows. Information Technology Journal, 7 (8) 1194-1199 doi:10.3923/itj.2008.1194.1199
Gao, Hong-Jiang, Sun, Hong, Xu, Bang-Hai, He, Ying, Qin, Zheng (2008) Rigorous Development of Fault-Tolerant Transactions for Information Retrieval Systems Using Event-B. Information Technology Journal, 7 (6) 868-875 doi:10.3923/itj.2008.868.875
Bai, Xingzhen, Hong, Yongfa, Du, Yuyue, Gao, Zhengzhong (2013) Efficient Data Dissemination Scheme for the Urban Vehicular ad hoc Networks. Information Technology Journal, 12 (9) 1696-1706 doi:10.3923/itj.2013.1696.1706
Hassan, Sa`adah (2010) Soft Systems Methodology in Environment-Aware Case-Based Reasoning System Analysis. Information Technology Journal, 9 (3) 467-473 doi:10.3923/itj.2010.467.473
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are Β© OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 7, 2025 14:37:37
Go to top of page