| Title | Author | Subject | Publisher | Action |
| A Practical Guide for SystemVerilog Assertions | Srikanth Vijayaraghavan, Meyyappan Ramanathan | Engineering | Springer | Details |
| Modern Antennas | S. Drabowitch, A. Papiernik, H. D. Griffiths, J. Encinas, B. L. Smith | Engineering | Springer | Details |
| Transaction Level Modeling with SystemC | Frank Ghenassia | Engineering | Springer | Details |
| Data Mining and Diagnosing IC Fails | Leendert M. Huisman | Engineering | Springer | Details |
| Functional Verification of Programmable Embedded Architectures | Prabhat Mishra, Nikil D. Dutt | Engineering | Springer | Details |
| Statistical Analysis and Optimization for VLSI: Timing and Power | Ashish Srivastava, Dennis Sylvester, David Blaauw | Engineering | Springer | Details |
| Nonblocking Electronic and Photonic Switching Fabrics | Wojciech Kabaci?ski | Engineering | Springer | Details |
| M-Health | Robert S. H. Istepanian, Swamy Laxminarayan, Constantinos S. Pattichis | Engineering | Springer | Details |
| Electromagnetic Compatibility of Integrated Circuits | Sonia Ben Dhia, Mohamed Ramdani, Etienne Sicard | Engineering | Springer | Details |
| Surface Engineered Surgical Tools and Medical Devices | Mark J. Jackson, Waqar Ahmed | Engineering | Springer | Details |
| Systemverilog for Verification | Chris Spear | Engineering | Springer | Details |
| Communication Systems | Marcelo S. Alencar, Valdemar C. Rocha | Engineering | Springer | Details |
| Traffic Grooming in Optical WDM Mesh Networks | Keyao Zhu, Hongyue Zhu, Biswanath Mukherjee | Engineering | Springer | Details |
| Mastering Calculations in Linear and Nonlinear Mechanics | Pierre Ladevèze, Jean-Pierre Pelle | Engineering | Springer | Details |
| Structural Sensitivity Analysis and Optimization 1 | Kyung K. Choi, Nam Ho Kim | Engineering | Springer | Details |
| Structural Sensitivity Analysis and Optimization 2 | Kyung K. Choi, Nam Ho Kim | Engineering | Springer | Details |
| Parts Management Models and Applications | Sameer Kumar | Engineering | Springer | Details |
| MIMO Signals and Systems | Horst J. Bessai | Engineering | Springer | Details |
| Modeling and Simulation for RF System Design | Ronny Frevert, Joachim Haase, Roland Jancke, Uwe Knöchel, Peter Schwarz, Ralf Kakerow, Mohsen Darianian | Engineering | Springer | Details |
| Stormwater Management for Smart Growth | Allen P. Davis, Richard H. McCuen | Engineering | Springer | Details |
| The Multimedia Internet | Stephen Weinstein | Engineering | Springer | Details |
| Constraint Theory | George J. Friedman | Engineering | Springer | Details |
| Acoustic MIMO Signal Processing | Yiteng Arden Huang, Jingdong Chen, Jacob Benesty | Engineering | Springer | Details |
| Wireless Networks | Cristina Comaniciu, Narayan B. Mandayam, H. Vincent Poor | Engineering | Springer | Details |
| Nanoscale Transistors | Mark S. Lundstrom, Jing Guo | Engineering | Springer | Details |
| Leakage in Nanometer CMOS Technologies | Siva G. Narendra, Anantha Chandrakasan | Engineering | Springer | Details |
| Analysis and Design of Advanced Multiservice Networks Supporting Mobility, Multimedia, and Internetworking | Jose Brazio, Phuoc Tran-Gia, Nail Akar, Andrzej Beben, Wojciech Burakowski, Markus Fiedler, Ezhan Karasan, Michael Menth, Olivier Philippe, Kurt Tutschku, Sabine Wittevrongel | Engineering | Springer | Details |
| Mechanosensing and Mechanochemical Transduction in Extracellular Matrix | Frederick H. Silver | Engineering | Springer | Details |
| The Finite Element Method and Applications in Engineering Using Ansys? | Erdogan Madenci, Ibrahim Guven | Engineering | Springer | Details |
| Intermediate Dynamics: A Linear Algebraic Approach | R. A. Howland | Engineering | Springer | Details |
| Design of Embedded Control Systems | Marian Andrzej Adamski, Andrei Karatkevich, Marek Wegrzyn | Engineering | Springer | Details |
| Wideband Amplifiers | Peter Stari?, Erik Margan | Engineering | Springer | Details |
| Manufacturing Systems: Theory and Practice | George Chryssolouris | Engineering | Springer | Details |
| FPGA Implementations of Neural Networks | Amos R. Omondi, Jagath C. Rajapakse | Engineering | Springer | Details |
| High-Speed Photodiodes in Standard CMOS Technology | Saša Radovanovi?, Anne-Johan Annema, Bram Nauta | Engineering | Springer | Details |
| Digital Signal Processing for Measurement Systems | Gabriele D’Antona, Alessandro Ferrero | Engineering | Springer | Details |
| Dynamics of Rotating Systems | Giancarlo Genta | Engineering | Springer | Details |
| BioMEMS | Gerald A. Urban | Engineering | Springer | Details |
| Fundamentals of Solid State Engineering | Manijeh Razeghi | Engineering | Springer | Details |
| Transient Analysis of Electric Power Circuits Handbook | Arieh L. Shenkman | Engineering | Springer | Details |
| Vehicle Dynamics and Control | Rajesh Rajamani | Engineering | Springer | Details |
| Micromachined Thin-Film Sensors for SOI-CMOS Co-Integration | J. Laconte, D. Flandre, J. -P. Raskin | Engineering | Springer | Details |
| Rapid Prototyping of Digital Systems | James O. Hamblen, Tyson S. Hall, Michael D. Furman | Engineering | Springer | Details |
| Optical Switching | Tarek S. El-Bawab | Engineering | Springer | Details |
| Thermo-Fluid Dynamics of Two-Phase Flow | Mamoru Ishii, Takashi Hibiki | Engineering | Springer | Details |
| Product Platform and Product Family Design | Timothy W. Simpson, Zahed Siddique, Jianxin Roger Jiao | Engineering | Springer | Details |
| Fully-Depleted SOI CMOS Circuits and Technology | Takayasu Sakurai, Akira Matsuzawa, Takakuni Douseki | Engineering | Springer | Details |
| Interconnect Noise Optimization in Nanometer Technologies | Mohamed A. Elgamel, Magdy A. Bayoumi | Engineering | Springer | Details |
| Gizopoulos / Advances in ElectronicTesting | Dimitris Gizopoulos | Engineering | Springer | Details |
| Complex Orthogonal Space-Time Processing in Wireless Communications | Chung Tran, Tadeusz A. Wysocki, Alfred Mertins, Jennifer Seberry | Engineering | Springer | Details |
| Thermal and Power Management of Integrated Circuits | Arman Vassighi, Manoj Sachdev | Engineering | Springer | Details |
| Scalable Hardware Verification with Symbolic Simulation | Valeria Bertacco | Engineering | Springer | Details |
| Embedded System Design | Peter Marwedel | Engineering | Springer | Details |
| Orthogonal Frequency Division Multiplexing for Wireless Communications | Ye Li, Gordon L. Stüber | Engineering | Springer | Details |
| Reliability and Six Sigma | U Dinesh Kumar, John Crocker, T Chitra, Haritha Saranga | Engineering | Springer | Details |
| Modelling and Reasoning with Vague Concepts | Jonathan Lawry | Engineering | Springer | Details |
| Fundamentals of Switching Theory and Logic Design | Jaakko T. Astola, Radomir S. Stankovi? | Engineering | Springer | Details |
| Distributed Cooperative Laboratories: Networking, Instrumentation, and Measurements | Franco Davoli, Sergio Palazzo, Sandro Zappatore | Engineering | Springer | Details |
| Wide-Bandwidth High-Dynamic Range D/A Converters | Konstantinos Doris, Arthu van Roermund, Domine Leenaerts | Engineering | Springer | Details |
| Constraint-Based Verification | Jun Yuan, Carl Pixley, Adnan Aziz | Engineering | Springer | Details |
| Finite Element Methods: Parallel-Sparse Statics and Eigen-Solutions | Duc Thai Nguyen | Engineering | Springer | Details |
| Springer Handbook of Experimental Solid Mechanics | William N. Sharpe | Engineering | Springer | Details |
| Stem Cell Therapy and Tissue Engineering for Cardiovascular Repair | Nabil Dib, Doris A. Taylor, Edward B. Diethrich | Engineering | Springer | Details |
| Fault-Tolerance Techniques for SRAM-based FPGAs | Fernanda Lima Kastensmidt, Luigi Carro, Ricardo Reis | Engineering | Springer | Details |
| Writing Testbenches using System Verilog | Janick Bergeron | Engineering | Springer | Details |
| Digital Timing Measurements | Wolfgang Maichen | Engineering | Springer | Details |
| Adaptive Techniques for Mixed Signal System on Chip | Ayman Fayed, Mohammed Ismail | Engineering | Springer | Details |
| Data Converters | Franco Maloberti | Engineering | Springer | Details |
| Design of Systems on a Chip: Design and Test | Ricardo Reis, Marcelo Lubaszewski, Jochen A.G. Jess | Engineering | Springer | Details |
| Effective Functional Verification | Srivatsa Vasudevan | Engineering | Springer | Details |
| Signal Processing Methods for Music Transcription | Anssi Klapuri, Manuel Davy | Engineering | Springer | Details |
| Digital Phase Lock Loops | Saleh R. Al-araji, Zahir M. Hussain, Mahmoud A. Al-qutayri | Engineering | Springer | Details |
| Computational Techniques for Voltage Stability Assessment and Control | Venkataramana Ajjarapu | Engineering | Springer | Details |
| Three-Phase Diode Bridge Rectifier With Low Harmonics | Predrag Pejovic | Engineering | Springer | Details |
| Software-Implemented Hardware Fault Tolerance | Olga Goloubeva, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante | Engineering | Springer | Details |
ALP = Alipore Campus Library, University of Calcutta
1, Reformatory Steet, Kolkata - 750027
CL = Central Library, University of Calcutta
87/1, College Street, Kolkata - 750073
TSP = Ballygunge Science College (Taraknath Siksha Prangan)
35, Ballygunge Circular Road, Kolkata – 750019
RBSP= Rashbehari Siksha Prangan – Rajabazar Science College
92, Acharyya Prafulla Chandra Road, Kolkata - 750009
ECO = ECONOMICS, B. T. Road Campus
56A, Barrackpore Trunk Road, Kolkata-750 050
LAW = Hazra Road Campus
51/1and 51/2 Hazra Road, Kolkata-750 019
VLC = Home Science, Viharilal Home Science Campus
20B, Judges Court Road, Alipore, Kolkata -750 021