Filter by
Hardware and Software: Verification and Testing: 11th International Haifa Ver…
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; m…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26286-4
- Collation
- XVI, 293
- Series Title
- -
- Call Number
- 004 HAN
Structural Health Monitoring (SHM) of Civil Structures
Deficiencies in these areas may be remediated by advancements in structural health monitoring (SHM) technologies that provide sensing systems to automatically and economically diagnose structural integrity. In a sense, SHM technologies will help pave the way to intelligent structures that are able to detect damage by themselves and even warn occupants of any danger due to impending structural f…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 624 STR
Turbulent open channel flow, sediment erosion and sediment transport
This thesis aims to contribute to a better understanding of turbulent open channel flow, sediment erosion and sediment transport. The thesis provides an analysis of high-fidelity data from direct numerical simulation of (i) open channel flow over an array of fixed spheres, (ii) open channel flow with mobile eroding spheres, (iii) open channel flow with sediment transport of many mobile spheres.…
- Edition
- -
- ISBN/ISSN
- 978-3-86644-900-8
- Collation
- -
- Series Title
- -
- Call Number
- 624 CHA t
Advanced Asphalt Materials and Paving Technologies
There has been significant research progress in the area of pavement materials and paving technologies in the past decade. This includes the use of warm mix asphalt technologies, rubber asphalt, bio asphalt, nanomaterial applications, new construction technologies, innovative concrete materials, as well as the application of mechanistic–empirical pavement design. With all these developments, …
- Edition
- -
- ISBN/ISSN
- 978-3-03842-890-9
- Collation
- -
- Series Title
- -
- Call Number
- 624 ADV
The Handbook of Post Crisis Financial Modelling
This unique Handbook brings together leading practitioners and academics in the areas of banking, mathematics, and law to present original research on the key issues affecting financial modelling since the 2008 financial crisis. As well as exploring themes of distributional assumptions and efficiency the Handbook also explores how financial modelling can possibly be re-interpreted in light of t…
- Edition
- -
- ISBN/ISSN
- 978-1-137-49449-8
- Collation
- XIX, 316
- Series Title
- -
- Call Number
- -
Advances on Mechanics, Design Engineering and Manufacturing III : Proceedings…
Engineering Design; Manufacturing, Machines, Tools, Processes; Computer-Aided Engineering (CAD, CAE) and Design; Machines, Tools, Processes; Open Access; Additive Manufacturing; Virtual Prototyping; Eco-design; Generative design; Digitalization in Manufacturing; Reconfigurable Manufacturing Systems; 3D Modeling; Human-machine Interaction; Sustainable redesign; Stress analysis and simulation; Ro…
- Edition
- -
- ISBN/ISSN
- 978-3-030-70566-4
- Collation
- XVII, 439 halaman
- Series Title
- Lecture Notes in Mechanical Engineering
- Call Number
- 620 ADV
Applications of Semiconductor Optical Amplifiers
ca. 200 words; this text will present the book in all promotional forms (e.g. flyers). Please describe the book in straightforward and consumer-friendly terms. [Semiconductor optical amplifiers (SOAs) are considered a key enabling technology for the design and implementation of photonic circuits, subsystems, and networks. Owing to the attractive features of low power consumption, compactness, b…
- Edition
- -
- ISBN/ISSN
- 978-3-03897-171-9
- Collation
- -
- Series Title
- -
- Call Number
- 621 APP
Membrane Computing
This book constitutes revised selected papers from the International Conference on Membrane Computing, CMC 2015, held in Valencia, Spain, in August 2015. The 22 full papers presented in this volume were carefully reviewed and selected from 34 submissions. The volume also contains 3 invited talks in full-paper length.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-28474-3
- Collation
- XI, 387; 56 illustrations in colour
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Advances in Multi-Sensor Information Fusion : Theory and Applications 2017
The information fusion technique can integrate a large amount of data and knowledge representing the same real-world object and obtain a consistent, accurate and useful representation of that object. The data may be independent or redundant, and can be obtained by different sensors at the same time or at different times. A suitable combination of investigative methods can substantially increase…
- Edition
- -
- ISBN/ISSN
- 978-3-03842-934-0
- Collation
- -
- Series Title
- -
- Call Number
- 621 ADV
Timber Engineering : Principles for Design
This comprehensive book provides in-depth knowledge and understanding of design rules according to Eurocode 5. It is based on the first edition of the STEP (Structural Timber Education Programme) series, which was prepared in 1995 by about 50 authors from 14 European countries. The present work updates and extends the STEP compilation and is aimed at students, structural engineers and other tim…
- Edition
- -
- ISBN/ISSN
- 978-3-7315-0673-7
- Collation
- -
- Series Title
- -
- Call Number
- 624 BLA t
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography