This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2010), held September 8-10, 2010, at IST (Institute of Science and Technology) Austria, in Klosterneuburg, Austria.
The theory of holomorphic dynamical systems is a subject of increasing interest in mathematics, both for its challenging problems and for its connections with other branches of pure and applied mathematics.
The international conference \Operations Research 2008"e;, the annual meeting of the German Operations Research Society (GOR), was held at the University of Augsburg on September 3-5, 2008.
SHORTLISTED FOR THE 2022 NED KELLY AWARD FOR BEST TRUE CRIMEThe compelling story of South Australia s disgraced former chief forensic pathologist and the legal scandals in which he became implicated.
This book offers advanced iterative learning control (ILC) and optimization methods for industrial batch systems, facilitating engineering applications subject to time- and batch-varying process uncertainties that could not be effectively addressed by the existing ILC methods.
This book offers advanced iterative learning control (ILC) and optimization methods for industrial batch systems, facilitating engineering applications subject to time- and batch-varying process uncertainties that could not be effectively addressed by the existing ILC methods.
This book provides a comprehensive overview of the latest applications of laser-induced breakdown spectroscopy (LIBS) in the environmental and forensic sciences along with chemometric methods.
This book is an exploration of paramount significance, delving into the fundamental principles, methodologies, and cutting-edge techniques that underpin the discipline of environmental forensics.
This book is an exploration of paramount significance, delving into the fundamental principles, methodologies, and cutting-edge techniques that underpin the discipline of environmental forensics.
The book Anatomy of IoT Botnets and Detection Methods delves into the evolving landscape of cybersecurity threats associated with the Internet of Things (IoT), specifically focusing on the anatomy, behavior, and detection of IoT-based botnets.
The Third Edition of Cold Case Homicides remains a vital resource for students and professionals alike, offering a comprehensive guide to the investigation and resolution of unsolved cases.
The book Anatomy of IoT Botnets and Detection Methods delves into the evolving landscape of cybersecurity threats associated with the Internet of Things (IoT), specifically focusing on the anatomy, behavior, and detection of IoT-based botnets.
The Third Edition of Cold Case Homicides remains a vital resource for students and professionals alike, offering a comprehensive guide to the investigation and resolution of unsolved cases.
Crime Scene Investigator (CSI) Field Guide is a convenient and handy reference guide ideally suited for use in the field by crime scene investigators (CSI), both sworn and civilian.
The Routledge Companion to Performance and Science investigates and illuminates the growing international interest in the intersections and interactions between theatre, drama, performance and the sciences.
Principles and Practice of Forensic Mechanical Engineering explains the physical processes and causes of failures that result in physical or bodily damage.
Principles and Practice of Forensic Mechanical Engineering explains the physical processes and causes of failures that result in physical or bodily damage.
Mastering Cybersecurity: A Practical Guide to Cyber Tools and Techniques (Volume 2) offers a hands-on, real-world approach to developing modern cybersecurity skills.
The aim of the monograph is to demonstrate different approaches to building business models, where the starting point is the joint examination of social and technical factors.
Mastering Cybersecurity: A Practical Guide to Cyber Tools and Techniques (Volume 2) offers a hands-on, real-world approach to developing modern cybersecurity skills.
The Routledge Companion to Performance and Science investigates and illuminates the growing international interest in the intersections and interactions between theatre, drama, performance and the sciences.
The aim of the monograph is to demonstrate different approaches to building business models, where the starting point is the joint examination of social and technical factors.
Crime Scene Investigator (CSI) Field Guide is a convenient and handy reference guide ideally suited for use in the field by crime scene investigators (CSI), both sworn and civilian.
This edited book presents recent findings on use of IoT-based monitoring systems to analyse functional frameworks for intelligent computational analysis of sustainable agricultural system, field monitoring and automation systems, agriculture sensor network, sensor-based precision agriculture, expert systems for soil management, remote monitoring and predictive analysis systems, AI-based emergency alert systems, crop monitoring, AI-based predictive analysis, smart irrigation, and data acquisition security.
This edited book presents recent findings on use of IoT-based monitoring systems to analyse functional frameworks for intelligent computational analysis of sustainable agricultural system, field monitoring and automation systems, agriculture sensor network, sensor-based precision agriculture, expert systems for soil management, remote monitoring and predictive analysis systems, AI-based emergency alert systems, crop monitoring, AI-based predictive analysis, smart irrigation, and data acquisition security.
The book develops the tools to describe equilibrium thermal properties and near-equilibrium processes of finite size particles, with the emphasis on gas phase particles.
The book develops the tools to describe equilibrium thermal properties and near-equilibrium processes of finite size particles, with the emphasis on gas phase particles.
This book consists of a collection of the high-quality research articles in the field of computer vision and robotics which are presented at the International Conference on Computer Vision and Robotics (CVR 2025), organized by National Institute of Technology, Goa, India, during 25–26 April 2025.
This book consists of a collection of the high-quality research articles in the field of computer vision and robotics which are presented at the International Conference on Computer Vision and Robotics (CVR 2025), organized by National Institute of Technology, Goa, India, during 25–26 April 2025.
This book includes research papers presented at the International Conference on Data Science and Network Engineering (ICDSNE 2025) organized by the Department of Computer Science and Engineering, National Institute of Technology Agartala, Tripura, India, during July 18–19, 2025.
This book includes research papers presented at the International Conference on Data Science and Network Engineering (ICDSNE 2025) organized by the Department of Computer Science and Engineering, National Institute of Technology Agartala, Tripura, India, during July 18–19, 2025.
This volume constitutes the proceedings of Third International Conference on Artificial Intelligence of Things and Systems, AIoTSys 2025, held in Lanzhou, China, during August 15–17, 2025.
This volume constitutes the proceedings of Third International Conference on Artificial Intelligence of Things and Systems, AIoTSys 2025, held in Lanzhou, China, during August 15–17, 2025.
The book covers a wide array of rhythmic phenomena in plants, ranging from diurnal and circadian rhythms to underexplored topics such as rhizomicrobiome and algae rhythms.
The book covers a wide array of rhythmic phenomena in plants, ranging from diurnal and circadian rhythms to underexplored topics such as rhizomicrobiome and algae rhythms.
