海量图书期刊资源,随时随地畅享阅读乐趣
[IEEE Comput. Soc Ninth International Symposium on Temporal Representation and Reasoning - Manchester, UK (7-9 July 2002)] Proceedings Ninth International Symposium on Temporal Representation and Reasoning - Logical data expirationToman, D. · 2002
[IEEE Comput. Soc Ninth International Symposium on Temporal Representation and Reasoning - Manchester, UK (7-9 July 2002)] Proceedings Ninth International Symposium on Temporal Representation and Reasoning - Distributed states logicMontangero, C.; Semini, L. · 2002
[IEEE Comput. Soc Ninth International Symposium on Temporal Representation and Reasoning - Manchester, UK (7-9 July 2002)] Proceedings Ninth International Symposium on Temporal Representation and Reasoning - Temporal views as abstract relationsRamsay, A. · 2002
[IEEE Comput. Soc Ninth International Symposium on Software Reliability Engineering - Paderborn, Germany (4-7 Nov. 1998)] Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257) - Protecting mobile codeSander, T. · 1998
[IEEE Comput. Soc Ninth International Symposium on Software Reliability Engineering - Paderborn, Germany (4-7 Nov. 1998)] Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257) - Software diagnosabilityLe Traon, Y.; Ouabdesselam, F.; Robach, C. · 1998
[IEEE Comput. Soc Ninth International Symposium on Temporal Representation and Reasoning - Manchester, UK (7-9 July 2002)] Proceedings Ninth International Symposium on Temporal Representation and Reasoning - Tensed ontology based on simple partial logicKachi, D. · 2002
[IEEE Comput. Soc Ninth International Symposium on Software Reliability Engineering - Paderborn, Germany (4-7 Nov. 1998)] Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257) - Testing production system programsAntoniou, G.; Jack, O. · 1998
[IEEE Comput. Soc Ninth International Symposium on Software Reliability Engineering - Paderborn, Germany (4-7 Nov. 1998)] Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257) - Lightweight guided random simulationSumners, R.; Chhabra, P.; Abraham, J.A. · 1998