Lecture Notes in Computer Science 2791 Formal Modeling and Analysis of Timed Systems First Internati
FORMATS 20032004 年出版281 页ISBN:3540216715
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 10 THE MODELLING OF SYSTEMS WITH SMALL OBSERVATION
JAN M.MACIEJOWSKI1978 年出版242 页ISBN:3540090045
Lecture Notes in Computer Science 4202 Formal Modeling and Analysis of Timed Systems 4th Internation
FORMATS 20062006 年出版369 页ISBN:3540450262
Lecture Notes in Computer Science 4269 Large Scale Management of Distributed Systems 17th IFIP/IEEE
DSOM 20062006 年出版282 页ISBN:3540476598
THE FUTURE OF INDIRECT TAXATION RECENT TRENDS IN VAT AND GST SYSTEMS AROUND THE WORLD
THOMAS ECKER2012 年出版756 页ISBN:9041137971