Sökt på: a p it
totalt 6 732 träffar
HVAC Control Systems
This important new book bridges the gap between works on classical control and process control, and those dealing with HVAC control at a more elementary level, which generally …
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held …
The Little Learner
A highly accessible, step-by-step introduction to deep learning, written in an engaging, question-and-answer style. The Little Learner introduces deep learning from the bottom up, …
Formal Techniques in Real-Time and Fault-Tolerant Systems
This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT'98, held in Lyngby, Denmark, …
Advances in Librarianship
Critically acclaimed since its inception, "Advances in Librarianship" continues to be the essential reference source for developments in the field of libraries and library science. …
Unifying Theories of Programming
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in …
Accounting Information Systems
Accounting Information Systems provides a systematic approach to meeting management information needs for planning, executing, controlling, monitoring and evaluating key business …
Progress in Cryptology – INDOCRYPT 2017
This book constitutes the refereed proceedings of the 18th International Conference on Cryptology in India, INDOCRYPT 2017, held in Chennai, India, in December 2017.
Security within CONASENSE Paragon
Security within CONASENSE Paragon describes in particular the cyber security issues in the field of Communication, Navigation, Sensing and Services within the broad platform of …
Computational Geometry
From the reviews: "e;This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational …
Agents and Data Mining Interaction
This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Agents and Data Mining Interaction, ADMI 2012, held in Valencia, Spain, …
Port Automation and Vehicle Scheduling
Container terminals are constantly being challenged to adjust their throughput capacity to match fluctuating demand. Examining the optimization problems encountered in today’s …