Filter by
Thermal Energy Storage Using Phase Change Materials Fundamentals and Applica…
This book presents a comprehensive introduction to the use of solid‐liquid phase change materials to store significant amounts of energy in the latent heat of fusion. The proper selection of materials for different applications is covered in detail, as is the use of high conductivity additives to enhance thermal diffusivity. Dr. Fleischer explores how applications of PCMS have expanded over t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20922-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Thermal Effects in Supercapacitors
This Brief reviews contemporary research conducted in university and industry laboratories on thermal management in electrochemical energy storage systems (capacitors and batteries) that have been widely used as power sources in many practical applications, such as automobiles, hybrid transport, renewable energy installations, power backup and electronic devices. Placing a particular emphasis o…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20242-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Applied Environmental Biotechnology: Present Scenario and Future Trends
Applied Environmental Biotechnology: Present Scenario and Future Trends is designed to serve as a reference book for students and researchers working in the area of applied environmental science. It presents various applications of environmental studies that involve the use of living organisms, bioprocesses engineering technology, and other fields in solving environmental problems like waste an…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-81-322-2123-4
- Collation
- XVI, 167
- Series Title
- -
- Call Number
- 628 APP a
Applied Discrete-Time Queues
This book introduces the theoretical fundamentals for modeling queues in discrete-time, and the basic procedures for developing queuing models in discrete-time. There is a focus on applications in modern telecommunication systems. It presents how most queueing models in discrete-time can be set up as discrete-time Markov chains. Techniques such as matrix-analytic methods (MAM) that can used …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-1-4939-3420-1
- Collation
- XXI, 383
- Series Title
- -
- Call Number
- 003.5 ALF a
Applied Computation and Security Systems: Volume Two
This book contains the extended version of the works that have been presented and discussed in the First International Doctoral Symposium on Applied Computation and Security Systems (ACSS 2014) held during April 18-20, 2014 in Kolkata, India. The symposium has been jointly organized by the AGH University of Science & Technology, Cracow, Poland and University of Calcutta, India. The Volume I …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-81-322-1988-0
- Collation
- X, 211
- Series Title
- Advances in Intelligent Systems and Computing
- Call Number
- 003.5 APP a
Data Transmission at Millimeter Waves Exploiting the 60 GHz Band on Silicon
This book describes the design of a receiver front-end circuit for operation in the 60GHz range in 90nm CMOS. Physical layout of the test circuit and post-layout simulations for the implementation of a test chip including the QVCO and the first stage divider are also presented. The content of this book is particularly of interest to those working on mm-wave frequency generation and signal recep…
- Edition
- -
- ISBN/ISSN
- 9783662469385
- Collation
- xix, 108 pages
- Series Title
- -
- Call Number
- 620
Formal Methods: Foundations and Applications
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014. The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal…
- Edition
- -
- ISBN/ISSN
- 9783319150758
- Collation
- IX, 179 hlm
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Formal Methods for Multicore Programming
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and …
- Edition
- -
- ISBN/ISSN
- 9783319189413
- Collation
- VII, 211 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state …
- Edition
- -
- ISBN/ISSN
- 9783319254234
- Collation
- XXV, 436 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Formal Aspects of Component Software
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ex…
- Edition
- -
- ISBN/ISSN
- 9783319153179
- Collation
- X, 385 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography