AN INTRODUCTION MECHANICAL ENGINEERING, THIRD EDITION
- Edition
- 3rd
- ISBN/ISSN
- 978-1-111-57682-0
- Collation
- xiv, 448 p. : ill. ; 24 cm
- Series Title
- -
- Call Number
- 621.8 Wic i
- Edition
- 3rd
- ISBN/ISSN
- 978-1-111-57682-0
- Collation
- xiv, 448 p. : ill. ; 24 cm
- Series Title
- -
- Call Number
- 621.8 Wic i
Software Engineering and Formal Methods: 20th International Conference, SEFM …
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. Th…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17108-6
- Collation
- xvii, 369p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Sof
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP…
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Ita…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08679-3
- Collation
- xiv, 209p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 For
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …
This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. After positions at Karlsruhe Institute of Technolo…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-08166-8
- Collation
- xii, 521p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 The
Numerical Modeling of Soil Constitutive Relationship
This book adopts numerical method to model soil constitutive relationship while it abandons the traditional idea of looking for plastic potential as the only way to model. Firstly, the triaxial com…
- Edition
- 1
- ISBN/ISSN
- 978-981-16-3231-0
- Collation
- xvi, 185p.:ill
- Series Title
- -
- Call Number
- 620.1 Ren n
Blockchain in Life Sciences
This book highlights the latest advances on the implementation and adaptation of blockchain technologies in real-world scientific, biomedical, and data applications. It presents rapid advancements …
- Edition
- 1
- ISBN/ISSN
- 978-981-19-2976-2
- Collation
- xxvii, 336p.: Ill.
- Series Title
- Blockchain Technologies
- Call Number
- 005.1 Blo
Emerging Technologies in Biomedical Engineering and Sustainable TeleMedicine
This book presents the most recent research and applications in Biomedical Engineering, electronic health and TeleMedicine. Top-scholars and research leaders in the field contributed to the book. I…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-14647-4
- Collation
- XII, 189p.:Ill
- Series Title
- Advances in Science, Technology & Innovation
- Call Number
- 610.28 Eme
Mobilities in India
This book presents commuting as a new paradigm in mobility studies in the context of global south. It delves into suburban train commuting in Eastern India. The book interprets commuting not only a…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-78350-1
- Collation
- xxiii, 183p.:ill
- Series Title
- The Urban Book Series
- Call Number
- 629.04 Mon m
Oxford English for Electrical and Mechanical Engineering
- Edition
- -
- ISBN/ISSN
- 978-0-19-457392-4
- Collation
- 190 p.; 23 cm
- Series Title
- -
- Call Number
- 621.31 Gle o
- Edition
- -
- ISBN/ISSN
- 978-0-19-457392-4
- Collation
- 190 p.; 23 cm
- Series Title
- -
- Call Number
- 621.31 Gle o
Transportation Infrastructure Engineering, Materials, Behavior and Performance
Society needs to travel to engage in productive and effective commerce, social, educational and related activities. Efficient travel is founded on an operational transport infrastructure system tha…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-79857-4
- Collation
- x, 200p.:ill
- Series Title
- Sustainable Civil Infrastructures
- Call Number
- 629.04 Tra
New Approaches of Geotechnical Engineering: Soil Characterization, Sustainabl…
The studies presented in this volume cover new approaches of geotechnical engineering introduced by researchers, engineers and scientists to address contemporary issues in geotechnical engineering …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-79641-9
- Collation
- x, 117p.:ill
- Series Title
- -
- Call Number
- 690.028 5 New
Nanozymes for Environmental Engineering
This book reviews the latest developments and applications of nanozymes in environmental science. Protection of the environment is essential because pollution has become a global problem with many …
- Edition
- 1
- ISBN/ISSN
- 978-3-030-68230-9
- Collation
- xv, 241p.:ill
- Series Title
- -
- Call Number
- 660.6 Nan
AUTOMOTIVE HEATING & AIR CONDITIONING
- Edition
- -
- ISBN/ISSN
- 978-1-56392-913-7
- Collation
- 272 p.; 26 cm
- Series Title
- -
- Call Number
- 629.2 Mik a
- Edition
- -
- ISBN/ISSN
- 978-1-56392-913-7
- Collation
- 272 p.; 26 cm
- Series Title
- -
- Call Number
- 629.2 Mik a
Evaluation of Novel Approaches to Software Engineering: 16th International Co…
The present book includes extended and revised versions of a set of selected papers from the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), he…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-96648-5
- Collation
- xi, 357p.: Ill.
- Series Title
- Communications in Computer and Information Science
- Call Number
- 005.437 Eva
CMOS Nanoelectronics: Analog and RF VLSI Ciruits
- Edition
- -
- ISBN/ISSN
- 978-0-07-175565-8
- Collation
- xix, 684 p. ; 23 cm
- Series Title
- -
- Call Number
- 621.382 Cmo c
- Edition
- -
- ISBN/ISSN
- 978-0-07-175565-8
- Collation
- xix, 684 p. ; 23 cm
- Series Title
- -
- Call Number
- 621.382 Cmo c
Nanoelectronics, Circuits and Communication Systems
This book features selected papers presented at the Fifth International Conference on Nanoelectronics, Circuits and Communication Systems (NCCS 2019). It covers a range of topics, including nanoele…
- Edition
- 1
- ISBN/ISSN
- 978-981-15-7486-3
- Collation
- XIII, 817p.:lll
- Series Title
- -
- Call Number
- 621.382 Nan
Bio#Futures
This volume presents a timely recognition, warning and mapping of the fast approaching wave, or “bio-tsunami”, of global socio-technical transformation, built by a much wider spectrum of conver…
- Edition
- 1
- ISBN/ISSN
- Springer Cham
- Collation
- xiv, 644p.:ill
- Series Title
- -
- Call Number
- 660.6 Bio
Practical Guide to the Packaging of Electronics: Thermal and Mechanical Desig…
- Edition
- -
- ISBN/ISSN
- 0-8247-0865-2
- Collation
- 374 p.; 24 cm
- Series Title
- -
- Call Number
- 621.31 Jam p
- Edition
- -
- ISBN/ISSN
- 0-8247-0865-2
- Collation
- 374 p.; 24 cm
- Series Title
- -
- Call Number
- 621.31 Jam p
Chemical Reaction Engineering: A First Course
- Edition
- -
- ISBN/ISSN
- 978-0-19-856538-3
- Collation
- 90 p.; 23 cm.
- Series Title
- -
- Call Number
- 547.2 Met c
- Edition
- -
- ISBN/ISSN
- 978-0-19-856538-3
- Collation
- 90 p.; 23 cm.
- Series Title
- -
- Call Number
- 547.2 Met c
Petri Nets: Theoretical Models and Analysis Methods for Concurrent Systems
This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory, it involves the interleaving semantics and concurrency semantic…
- Edition
- 1
- ISBN/ISSN
- 978-981-19-6309-4
- Collation
- xi, 279p.: Ill
- Series Title
- -
- Call Number
- 005.11 Liu p
Waterflooding Sandstone Reservoirs: Methods, Design and Analysis
This book focuses on oilfield performance analysis and development adjustment by integrating geology, applied mathematics, and other relevant theories. Based on the abundant and detailed field test…
- Edition
- 1
- ISBN/ISSN
- 978-981-16-0348-8
- Collation
- xiii, 406p.:Ill
- Series Title
- -
- Call Number
- 627.4 Wan w
Environmental Remote Sensing and GIS in Tunisia
This book focuses on monitoring and assessing various environmental processes in Tunisia using state-of-the-art remote sensing and GIS technologies. In addition to addressing the diversity of Tunis…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-63668-5
- Collation
- xi, 362p.:Ill
- Series Title
- -
- Call Number
- 621.367 8 Env
Application of Multi-Criteria Decision Analysis in Environmental and Civil En…
The use of a multi-criteria, decision-making theory was first studied in the 1970s. Its application in civil and environmental engineering is a new approach which can be enormously helpful for manu…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-64765-0
- Collation
- vi, 209p.:ill
- Series Title
- Professional Practice in Earth Sciences
- Call Number
- 624 App
Formal Methods Foundations and Applications: 25th Brazilian Symposium, SBMF 2…
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-22476-8
- Collation
- xiv, 143p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 For
Matrix Discrete Element Analysis of Geological and Geotechnical Engineering
This book introduces the basic structure, modeling methods, numerical calculation processes, post-processing, and system functions of MatDEM, which applies the basic principles and algorithm of the…
- Edition
- 1
- ISBN/ISSN
- 978-981-33-4524-9
- Collation
- xxiii, 294p.:ill
- Series Title
- -
- Call Number
- 690.028 5 Liu m
Smart Villages : Bridging the Global Urban-Rural Divide
This book brings together technical expertise, best practices, case studies and ground-level application of the ideas for empowering the rural population of the world to live economically prosperou…
- Edition
- 1st
- ISBN/ISSN
- 978-3-030-68458-7
- Collation
- xlii, 492 p
- Series Title
- -
- Call Number
- 621.391 LAK s
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The fir…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-38800-3
- Collation
- xxviii, 524p.: Ill.
- Series Title
- Texts in Theoretical Computer Science. An EATCS Series
- Call Number
- 005.437 Rog f
Collaboration and Integration in Construction, Engineering, Management and Te…
This book gathers papers presented at the 11th International Conference on Construction in the 21st Century, held in London in 2019. Bringing together a diverse group of government agencies, academ…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-48465-1
- Collation
- XLII, 661p.:ill
- Series Title
- -
- Call Number
- 690.028 5 Col
Conceptual Modeling: 41st International Conference, ER 2022, Hyderabad, India…
This book constitutes the refereed proceedings of the 41st International Conference on Conceptual Modeling, ER 2022, held in Hyderabad, India, in October 2022. The 19 full and 11 short papers wer…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17995-2
- Collation
- xxii, 434p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 Con
Internet of Things: 5th The Global IoT Summit, GIoTS 2022, Dublin, Ireland, J…
This book constitutes revised selected papers from the refereed proceedings of the 5th The Global IoT Summit, GIoTS 2022, which took place in Dublin, Ireland, in June 20–23, 2022. The 33 full…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-20936-9
- Collation
- xiv, 423p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.1 Int
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography