Welcome to the Online Catalogue, 

Central Library

Ramakrishna Mission Vivekananda Educational and Research Institute (RKMVERI), Belur
       
                       Accredited by NAAC with A++  Grade

Your search returned 5 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Extremal combinatorics : with applications in computer science

by Stasys Jukna.

Series: Texts in theoretical computer scienceMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer, Berlin, New York 2001Availability: Items available for loan: Central Library (1)Call number: 511.6 JUK(EXT).
Lists:

Place hold
Finite model theory and its applications

by Erich Gradel | Phokion G. Kolaitis | Leonid Libkin | Maarten Marx | Joel Spencer.

Series: Texts in theoretical computer scienceEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2010Availability: Items available for loan: Central Library (1)Call number: 004.0151134 FIN.
Lists:

Place hold
Software Engineering 1 : abstracting and modelling

by Dines Bjorner.

Series: Texts in theoretical computer scienceEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2007Availability: Items available for loan: Central Library (1)Call number: 005.1 BJO(SOF) v.1.
Lists:

Place hold
Software Engineering 2 : specification of systems and languages

by Dines Bjorner.

Series: Texts in theoretical computer scienceEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2007Availability: Items available for loan: Central Library (1)Call number: 005.1 BJO(SOF) v.2.
Lists:

Place hold
Software Engineering 3 : domains, requirements, and software design

by Dines Bjorner.

Series: Texts in theoretical computer scienceEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2007Availability: Items available for loan: Central Library (1)Call number: 005.1 BJO(SOF) v.3.
Lists:

Place hold
Pages
Visitor count :