Newly Added Books in the Library

1. B Method an Introduction, by, Schneider, Steve ;

2. Proceedings of National Conference on Methods and Models in Computing, by, Minz, Sonajharia (Ed) ; Lobiyal, D K (Ed) ;

3. Microsensors, MEMS, and Smart Devices, by, Gardner, Julian W ; Varadan, Vijay K ; Awadelkarim, Osama O .

4. Software Engineering: A Practitioner's Approach, by, Pressman,Roger S ;

5. Designing with Web Standards, by, Zeldman, Jeffrey ;

6. Bulletproof Web Design : Improving Flexibility and Protecting against Worst case Scenarios with XHTML and CSS, by, Cederholm, Dan ;

7. Industrial Strength Formal Methods in Practice, by, Hinchey, Michael G (Ed) ; Bowen,Jonathan P (Ed) ;

8. ZUM 95 the Z Formal Specification Notation, Nineth International Conference of Z Users,Poceedings 1995, by, Bowen, Jonathan P (Ed) ; Hinchey, Michael G (Ed) ;

9. ZUM 97 the Z Formal Specification Notation, Tenth International Conference of Z Users, Proceedings, 1997., by, Bowen, Jonathan P (Ed) ; Hinchey,Michael G (Ed)Till,David (Ed) ;

10. ZUM 98, Z Formal Specification Notation, Eleventh International Conference of Z Users, Proceedings, 1998., by, Bowen,Jonathan P(Ed) ; Hinchey, Michael G (Ed)Fett, Andreas (Ed) ;

11. IEEE International Conference on Global Software Engineering ,ICGSE, Two Thausand Eight, by,IEEE

12. Google Story, by, Vice,David S ; Malseed, Mark ;

13. Essential System Administration, by, Frisch, Aeleen ;

14. Data Crunching,Solve Everyday Problems Using Java, Python, and More, by, Wilson, Greg ;

15. Hundred and One Mathematical Projects, a Resource Book, by, Bolt, Brian ; Hobbs, David ;

16. Open Source for the Enterprise, Managing Risks,Reaping Rewards, by,
Woods, Dan ; Guliani, Gautam ;

17. Specification in B an Introduction Using the B Toolkit, by, Lano, Kevin ; Haughton, Howard ;