Your search returned 5 results. Subscribe to this search

Not what you expected? Check for suggestions
|
1. High-level petri nets: theory and application

by Rozenberg, G.

Material type: book Book; Format: print Publisher: Berlin : Springer-verlag, 1991Availability: Items available for reference: [Call number: 511.35 JEN/H] (1).

2. Category theory and computer science: proceedings of the 4th beinnial summer con

by Pitt, D. H., Ed.

Material type: book Book; Format: print Publisher: Berlin : Springer, 1991Availability: Items available for reference: [Call number: 005.1015126 PIT/C] (1).

3. Principles of programming languages

by Dowek, G.

Material type: book Book; Format: print Publisher: London : Springer, 2009Availability: Items available for loan: [Call number: 005.13 DOW/P] (1).

4. Finite model theory and its applications

by Gradel, Erich.

Material type: book Book; Format: print Publisher: Verlag : Springer, 2007Availability: Items available for loan: [Call number: 511.34 GRA/F] (1).

5. Foundations of algebraic specification and formal software development

by Sannella, Donald.

Material type: book Book; Format: print Publisher: New york : Springer, 2012Availability: Items available for loan: [Call number: 004.0151 SAN/F] (1).



Implemented and Maintained by Biju Patnaik Central Library.
For any Suggestions/Query Contact to library or Email: library@nitrkl.ac.in OR bpcl-cir@nitrkl.ac.in. Ph:91+6612462103
Website/OPAC best viewed in Mozilla Browser in 1366X768 Resolution.

Powered by Koha