Hugo & Russell’s Pharmaceutical MicrobiologyDiscover the very latest developments in pharmaceutical microbiology in the 9th edition of this popular textbookMicrobiology is one of the essential pharmaceutical sciences upon which the study and practice of pharmacy is built. It has a bearing on all aspects of the manufacture of medicines and sterile products, from their design and development to their delivery as quality products. Few interven...

Stephen Gilmore is a Senior Lecturer in the Laboratory for Foundations of Computer Science at The University of Edinburgh.

This textbook is an ambitious and engaging introduction to the more advanced writings on family law, primarily designed to allow students to 'get under the skin' of the topic and begin to build their critical thinking and analysis skills. Each chapter is structured around key questions and debates that provoke deeper thought and, ultimately, a clearer understanding.The aim of the book is therefore not to present a complete overview of theoretical issues in family law, but rather to...

Trump Fiction: Essays on Donald Trump in Literature, Film, and Television examines depictions of Donald Trump and his fictional avatars in literature, film, and television, including works that took up the subject of Trump before his successful presidential campaign (in terms that often uncannily prefigure his presidency) as well as those that have appeared since he took office. Covering a range of texts and approaches, the essays in this collection analyze the place Trump has assumed in l...

A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe. Feature interaction happens when one feature modifies or subverts the operation of another, and this problem has received a great deal of attention from industry and academics, especially in the field of telecommunications, where new services are constantly be...

Data Mining Techniques addresses all the major and latest techniques of data mining and data warehousing. It deals in detail with the latest algorithms for discovering association rules, decision trees, clustering, neural networks and genetic algorithms. The book contains the algorithmic details of different techniques such as A priori, Pincer-search, Dynamic Itemset Counting, FP-Tree growth, SLIQ, SPRINT, BOAT, CART, RainForest, BIRCH, CURE, BUBBLE, ROCK, STIRR, PAM, CLARANS, DBSCAN, GSP,...

This book presents latest research developments in the area of functional programming. The contributions in this volume cover a wide range of topics from theory, formal aspects of functional programming, transformational and generic programming to type checking and designing new classes of data types.Not all papers in this book belong to the category of research papers. Also, the categories of project description (at the start of a project) and project evaluation (at the end of a p...

Many approaches to creating Software Product Lines have emerged that are based on Model-Driven Engineering. This book introduces both Software Product Lines and Model-Driven Engineering, which have separate success stories in industry, and focuses on the practical combination of them. It describes the challenges and benefits of merging these two software development trends and provides the reader with a novel approach and practical mechanisms to improve software development productivity.

Readings in Artificial Intelligence and Software Engineering covers the main techniques and application of artificial intelligence and software engineering. The ultimate goal of artificial intelligence applied to software engineering is automatic programming. Automatic programming would allow a user to simply say what is wanted and have a program produced completely automatically. This book is organized into 11 parts encompassing 34 chapters that specifically tackle the topics of deductive...

Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefore called "embedded". For coordinating the various software components and allowing them to communicate with each other, support software is needed, called an operating system (OS). Because embedded software must function in real time (RT), a RTOS is needed. This book describes a formally devel...

This book constitutes the refereed proceedings of the 13th International Conference on Software Engineering and Formal Methods, SEFM 2015, held in York, UK, in September 2015.The 17 full papers presented together with 2 invited and 6 short papers were carefully reviewed and selected from 96 submissions. The topics of interest included the following aspects of software engineering and formal methods: program verification, testing, certification, formal specification and proof, testi...

This book delivers the latest developments in object technology and their impact in computing systems re-engineering. Object-oriented programming is here shown to provide support for constructing large scale systems that are cheaply built and with reusable components, adaptable to changing requirements and use efficient and cost-effective techniques.Internationally recognised authorities from Finland, France, Germany, Italy, Poland, Spain, the UK and the USA here record their research and ...