共 50 条
- [31] ECC programming in Java']Java Card [J]. JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 2014, 9 (06):
- [32] Programming with Actors in Java']Java 8 [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 37 - 53
- [33] Database programming using JAVA']JAVA [J]. IEEE SOUTHEASTCON 2002: PROCEEDINGS, 2002, : 220 - 225
- [35] Conquering Uncertainty in Java']Java Programming [J]. 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 823 - 824
- [36] A framework for parallel programming in Java']Java [J]. HIGH-PERFORMANCE COMPUTING AND NETWORKING, 1998, 1401 : 628 - 637
- [37] Control Programming Using Java']Java [J]. IEEE INDUSTRIAL ELECTRONICS MAGAZINE, 2008, 2 (02) : 19 - 27
- [38] A programming logic for sequential Java']Java [J]. PROGRAMMING LANGUAGES AND SYSTEMS, 1999, 1576 : 162 - 176
- [40] An enhancement to Java']Java for programming with assertions [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-IV, PROCEEDINGS, 1998, : 42 - 49