1
出版 2008
书本目录: ... with Grammatical Evolution in Java -- Processing and Querying Description Logic Ontologies Using Cartographic...
获取全文
电子 电子书
2
出版 2015
书本目录: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
获取全文
电子 电子书
3
出版 2014
书本目录: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
获取全文
电子 电子书