熱門搜尋
您輸入的關鍵字: Bjorner
搜尋結果共 23 筆, 頁數 1 / 1
呈現:
During 1996-97 MSRI held a full academic-year program on combinatorics, with special emphasis on its... more
This book is a carefully written exposition of Coxeter groups, an area of mathematics which appears ... more
This third volume examines the basic principles and techniques of overall software development, from... more
This second volume looks at the principles and techniques of modeling spatial and simple temporal ph... more
This well written first volume covers the basic principles and techniques of abstraction and modelin... more
Bob Dylan fans from coast-to-coast across Canada, as well as in other countries, will find this valu... more
This book presents comprehensive studies on nine specification languages and their logics of reasoni... more
A number of important results in combinatorics, discrete geometry, and theoretical computer science ... more
This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ers... more
This second edition of the first comprehensive, accessible account of the subject is intended for a ... more
This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatic... more
This book constitutes the proceedings of the 12th International Conference on Distributed Computing ... more
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... more
This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia and L... more