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 21 results.

Not what you expected? Check for suggestions
Sort
Results
Software Engineering

by Ian Sommerville.

Edition: 7Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Pearson Education 2008Availability: Items available for loan: Central Library (3)Call number: 005.1 SOM(SOF), ...

Design patterns for e-science

by Henry Gardner | Gabriele Manduchi.

Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Springer-Verlag 2007Availability: Items available for loan: Central Library (1)Call number: 005.133 GAR(DES).

Design Patterns for e-science

by Henry Gardner | Gabriele Manduchi.

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.133 GAR(DES).

Fundamentals of software integration

by Kay Hammer | Tina Timmerman.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Jones and Bratlett Pub. 2010Availability: Items available for loan: Central Library (1)Call number: 005.10684 HAM(FUN).

Agile software engineering

by Orit Hazzan | Yael Dubinsky.

Series: Undergraduate topics in computer scienceEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer c2008Availability: Items available for loan: Central Library (1)Call number: 005.1 HAZ(AGI).

Beautiful Code

by Andy Oram (ed.) | Greg wilson (ed.).

Series: Theory in practice seriesEdition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: O'reilly , Shroff Publisher & Distributers c2007Availability: Items available for loan: Central Library (1)Call number: 005.1 ORA(BEA).

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.

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.

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.

Software Engineering : a practical approach

by Roger S. Pressman.

Series: Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Mc Graw Hill Book Co. 2005Availability: Items available for loan: Central Library (1)Call number: 005.1 PRE(SOF).

The Correctness-by-Construction approach to programming

by Derrick G. Kourie | Bruce W. Watson.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer 2012Availability: Items available for loan: Central Library (1)Call number: 005.1 KOU(COR).

Time and petri nets

by Louchka Popova-Zeugmann.

Edition: Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer C2013Availability: Items available for loan: Central Library (1)Call number: 004.0151135 POP(TIM).

Scientific programming and computer architecture

by Divakar Viswanath.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: MIT Press 2017Availability: Items available for loan: Central Library (1)Call number: 005.1 VIS(SCI).

Using event-b for critical device software systems

by Neeraj Kumar Singh.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Springer – Verlag 2013Availability: Items available for loan: Central Library (1)Call number: 004.0151 SIN(USI).

Software engineering : a precise approach

by Pankaj Jalote.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Wiley 2010Availability: Items available for loan: Central Library (1)Call number: 005.1 JAL(SOF).

Algorithms for interviews : a problem solving approach

by Adnan Aziz | Amit Prakash.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: algorithmsforinterviews.com 2010Availability: Items available for loan: Central Library (1)Call number: 005.1 AZI(ALG).

Fundamentals of software engineering

by Carlo Ghezzi | Mehdi Jazayeri | Dino Mandrioli.

Edition: 4th Indian repr.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Prentice Hall of India Pvt. Ltd. 1996Availability: Items available for loan: Central Library (1)Call number: 005.1 GHE(FUN).

Software engineering : a practitioner’s approach

by Roger S. Pressman.

Edition: 6th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: McGraw Hill Higher Education 2005Availability: Items available for loan: Central Library (1)Call number: 005.1 PRE(SOF).

Fundamentals of software engineering

by Carlo Ghezzi | Mehdi Jazayeri | Dino Mandrioli.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Prentice Hall of India Pvt. Ltd. 1996 (repr.)Availability: Items available for loan: Central Library (1)Call number: 005.1 GHE(FUN).

Software engineering handbook

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: McGraw Hill Book Company 1986Availability: Items available for loan: Central Library (1)Call number: 005.1 SOF.

Pages
Visitor count :