共 50 条
- [21] Java']Java transactions for the Internet [J]. PROCEEDINGS OF THE FOURTH USENIX CONFERENCE ON OBJECT-ORIENTED TECHNOLOGIES AND SYSTEMS: COOTS, 1998, : 89 - 100
- [22] Practical Methods for Reasoning About Java']Java 8's Functional Programming Features [J]. VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, (VSTTE 2018), 2018, 11294 : 267 - 278
- [23] Java']Java programming for spatial sciences [J]. ENVIRONMENT AND PLANNING B-PLANNING & DESIGN, 2003, 30 (03): : 478 - 479
- [24] PROGRAMMING OF INTELLIGENT AGENTS WITH JAVA']JAVA [J]. CADERNOS EDUCACAO TECNOLOGIA E SOCIEDADE, 2010, 2 (01): : 165 - 166
- [26] ECC programming in Java']Java Card [J]. JOURNAL OF INFORMATION ASSURANCE AND SECURITY, 2014, 9 (06):
- [27] Database programming using JAVA']JAVA [J]. IEEE SOUTHEASTCON 2002: PROCEEDINGS, 2002, : 220 - 225
- [28] 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
- [30] Conquering Uncertainty in Java']Java Programming [J]. 2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2, 2015, : 823 - 824