![book Semantic Integration of Heterogeneous Software Specifications](/covers/files_170/965000/7cb0504d01ce6887e8243e7e2a4eabd7-d.jpg)
- Author: Martin Große-Rhode
- Language: English
- Year: 2004
![book Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use](/covers/files_170/964000/77ee56ce19909cc30def5753681b2f69-d.jpg)
- Author: Kurt Jensen
- Language: English
- Year: 1996
![book The Logic of Partial Information](/covers/files_170/964000/15d89e804911723f758ca09856082b08-d.jpg)
- Author: Areski Nait Abdallah
- Language: English
- Year: 1995
![book Information and Randomness: An Algorithmic Perspective](/covers/files_170/964000/62970784234371cf3372524bf0d7b47c-d.jpg)
- Author: Cristian Calude
- Language: English
- Year: 1994
![book Restricted-Orientation Convexity](/covers/files_170/946000/a86b5e28de2cf84bb7fcdde8c0ba7591-d.jpg)
- Author: Eugene Fink Derick Wood (auth.)
- Language: English
- Year: 2004
![book Theory of Semi-Feasible Algorithms](/covers/files_170/946000/24734f38341c824bf7e30be502ee7aa5-d.jpg)
- Author: Lane A. Hemaspaandra Leen Torenvliet
- Language: English
- Year: 2003
![book Process Algebra with Timing](/covers/files_170/945000/e96a07642ef86526957953590fd63e72-d.jpg)
- Author: J. C. M. Baeten C. A. Middelburg
- Language: English
- Year: 2002
![book Incomplete Information: Structure, Inference, Complexity](/covers/files_170/945000/aff0f1b17c363e992d31fbd849f44bd2-d.jpg)
- Author: Stéphane P. Demri Ewa S. Orłowska
- Language: English
- Year: 2002
![book Petri Net Algebra](/covers/files_170/945000/566fe02d8fb8c886aa1cbd3b6edd4f44-d.jpg)
- Author: Eike Best Raymond Devillers Maciej Koutny
- Language: English
- Year: 2001