海量图书期刊资源,随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 ||Bjørner, Dines; Broy, Manfred; Zamulin, Alexandre V. · 2001
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Principles for Entity AuthenticationBroy, Manfred; Zamulin, Alexandre V. · 2003
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || OCL Extended with Temporal LogicBroy, Manfred; Zamulin, Alexandre V. · 2003
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Polynomial Approximations for Model CheckingBroy, Manfred; Zamulin, Alexandre V. · 2003
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Integrating and Managing Conflicting DataBjørner, Dines; Broy, Manfred; Zamulin, Alexandre V. · 2001
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2244 || Unfoldings of Coloured Petri NetsBjørner, Dines; Broy, Manfred; Zamulin, Alexandre V. · 2001
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Partial Evaluation for Common Intermediate LanguageBroy, Manfred; Zamulin, Alexandre V. · 2003
[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 2890 || Functional Dependencies, from Relational to XMLBroy, Manfred; Zamulin, Alexandre V. · 2003