1
出版 2008
书本目录: ... / Wolfgang Reisig -- The event-B modelling method: concepts and case studies / Dominique Cansell...
Publisher description
Table of contents only
图书
2
书本目录: ... -- Language Theory and Semantics -- Computability and Decidability -- Probability, Statistics and Software...
获取全文
电子 电子书
3
书本目录: ... Zuse -- Computer Programming Languages -- Object-oriented Languages -- Functional Programming Languages...
获取全文
电子 电子书
4
出版 2010
书本目录: ... Distributed System -- Comparison and Analysis of the Eye Pointing Methods and Applications -- Abstraction...
获取全文
电子 电子书
5
书本目录: .... 3 - Layers.- Chap. 4 - Layered Architectures -- Chap. 5 - Protocol Functions -- Chap. 6 - Case Study...
获取全文
电子 电子书
6
出版 2010
书本目录: ...Insight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing...
获取全文
电子 电子书
7
出版 2008
书本目录: ...-B Modelling Method: Concepts and Case Studies -- A Methodological Guide to the CafeOBJ Logic -- Casl...
获取全文
电子 电子书
8
出版 2015
书本目录: ... -- Chapter 3 - Semantic and Social Spaces: Identifying Keyword Similarity with Relations -- Chapter 4...
获取全文
电子 电子书