The Geography Teacher
- 期刊名称The Geography Teacher
- 卷第4卷
- 期第1期
- 印刷ISSN1933-8341
- 电子ISSN1752-6884
- 文件大小4548.38KB
- 发表时间2007-03-06
- DOI10.1080/19338340701410758
- 页码1-48
[IEEE 2007 IEEE International Conference on Portable Information Devices - Orlando, FL, USA (2007.05.25-2007.05.29)] 2007 IEEE International Conference on Portable Information Devices - Sponsors - Portable 20072007
[IEEE 2007 IEEE International Conference on Portable Information Devices - Orlando, FL, USA (2007.05.25-2007.05.29)] 2007 IEEE International Conference on Portable Information Devices - Copyright - Portable 20072007
[IEEE 2007 IEEE International Conference on Portable Information Devices - Orlando, FL, USA (2007.05.25-2007.05.29)] 2007 IEEE International Conference on Portable Information Devices -Antolovic, Danko; Wallace, Steven S. · 2007
[IEEE 2007 IEEE International Conference on Portable Information Devices - Orlando, FL, USA (2007.05.25-2007.05.29)] 2007 IEEE International Conference on Portable Information Devices - Portable Information Devices - Service DiscoveryKadirire, J. · 2007
[IEEE 2007 IEEE International Conference on Electro/Information Technology - Chicago, IL (2007.05.17-2007.05.20)] 2007 IEEE International Conference on Electro/Information Technology - Chairmans' MessageWong, Thomas; Mousavinezhad, Hossein · 2007
[IEEE 2007 IEEE International Conference on Portable Information Devices - Orlando, FL, USA (2007.05.25-2007.05.29)] 2007 IEEE International Conference on Portable Information Devices - Title Page - Portable 20072007
[IEEE 2007 IEEE International Conference on Portable Information Devices - Orlando, FL, USA (2007.05.25-2007.05.29)] 2007 IEEE International Conference on Portable Information Devices - Organizing Committees - Portable 20072007
[IEEE 2007 IEEE International Conference on Electro/Information Technology - Chicago, IL, USA (2007.05.17-2007.05.20)] 2007 IEEE International Conference on Electro/Information Technology - List staff2007
[IEEE 2016 International Conference on Emerging Technologies (ICET) - Islamabad, Pakistan (2016.10.18-2016.10.19)] 2016 International Conference on Emerging Technologies (ICET) - Formalizing the resurrecting duckling into hierarchical coloured Petri netsJamal, Maryam; Zafar, Nazir Ahmad · 2016
[IEEE 2017 International Conference on Communication Technologies (ComTech) - Rawalpindi, Pakistan (2017.4.19-2017.4.21)] 2017 International Conference on Communication Technologies (ComTech) - Formal semantics of executable node and activity group of UML 2.5 activity diagramJamal, Maryam; Zafar, Nazir Ahmad · 2017
[IEEE 2016 International Conference on Open Source Systems & Technologies (ICOSST) - Lahore, Pakistan (2016.12.15-2016.12.17)] 2016 International Conference on Open Source Systems & Technologies (ICOSST) - Formalizing structural semantics of UML 2.5 activity diagram in Z NotationJamal, Maryam; Zafar, Nazir Ahmad · 2016
[IEEE 2015 International Conference on Information and Communication Technologies (ICICT) - Karachi, Pakistan (2015.12.12-2015.12.13)] 2015 International Conference on Information and Communication Technologies (ICICT) - Formalizing air traffic control system using agent-based Mobile Petri NetsJamal, Maryam; Zafar, Nazir Ahmad · 2015
[IEEE 2016 International Conference on Frontiers of Information Technology (FIT) - Islamabad, Pakistan (2016.12.19-2016.12.21)] 2016 International Conference on Frontiers of Information Technology (FIT) - Transformation of Activity Diagram into Coloured Petri Nets Using Weighted Directed GraphJamal, Maryam; Zafar, Nazir Ahmad · 2016
[IEEE 2017 International Conference on Innovations in Electrical Engineering and Computational Technologies (ICIEECT) - Karachi, Pakistan (2017.4.5-2017.4.7)] 2017 International Conference on Innovations in Electrical Engineering and Computational Technologies (ICIEECT) - Enhancing formal semantics of Activity Diagram with Object NodesJamal, Maryam; Zafar, Nazir Ahmad · 2017
[IEEE 2017 International Conference on Communication, Computing and Digital Systems (C-CODE) - Islamabad, Pakistan (2017.3.8-2017.3.9)] 2017 International Conference on Communication, Computing and Digital Systems (C-CODE) - Extending agent-based Mobile Petri Nets with access controlJamal, Maryam; Ahmad Zafar, Nazir · 2017