1. Incomplete information : structure, inference, complexity

by Ortowska, Ewa S | Demri, Stephane P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 006.3 DEM] (1).
2. Coloured petri nets : basic concepts, analysis methods and practical use. Volume 1

by Jensen, Kurt.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 1997Availability: Items available for loan: [Call number: 511.321 JEN] (1).
3. Petri Net algebra

by Devillers, Raymond | Koutny, Maciej.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer-Verlag, 2001Availability: Items available for loan: [Call number: 004.35 BES] (1).
4. Theoretical aspects of local search

by Michiels, Wil | Aarts, Emile | Korst, Jan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2007Availability: Items available for loan: [Call number: 519.64 MIC] (1).
5. Stochastic coalgebraic logic

by Doberkat, Ernst-Erich.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2010Availability: Items available for loan: [Call number: 519.22 DOB] (1).
6. Theoretical aspects of distributed computing in sensor networks

by Nikoletseas, Sotiris | Romil, Jose D. P.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Heidelberg: Springer, 2011Availability: Items available for loan: [Call number: 621.3821 NIK] (1).
7. Process algebra with timing

by Baeten, J. C. M | Middelburg, C. A.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2002Availability: Items available for loan: [Call number: 003.83 BAE] (1).

Powered by Koha