Aaron R. Bradley, Zohar Manna, “The Calculus of Computation Decision Procedures with Applications to Verification”
Springer; 1 edition (October 2007) | ISBN: 3540741127 | 366 pages | PDF | 2.1 MB


Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories.

This textbook also presents a logical approach to engineering correct software. The increasing ubiquity of computers makes implementing correct systems more important than ever. Verification exercises develop the reader’s facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems.

For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study.

Download | Mirror

Password:
www.bookscore.info

A Stahl, African Archaeology: A Critical Introduction
Blackwell Publishing | ISBN 1405101563 | 2004 | PDF | 4 Mb | 506 Pages


This book fills a crucial gap by providing a multi-authored introduction to the archaeology of Africa that challenges misconceptions and claims about Africa ’s past, and teaches students how to evaluate these claims. Ann Stahl ’s thoughtful introduction explores the contexts that have shaped archaeological knowledge of Africa ’s past and asks readers to consider for whom Africa ’s past matters and why. African Archaeology comprises unique contributions by prominent archaeologists with regional and topical expertise.

They explore the preoccupations and assumptions that have framed research, assess the quality and reliability of evidence, and chart emerging research directions and questions that can help build on the strengths of earlier work, while finally setting aside long-held misperceptions.African Archaeology is a landmark volume and an indispensable tool for students, instructors, and researchers.

Download | Mirror

Password:
www.bookscore.info

T.R. Pauketat, D.D. Loren, North American Archaeology
Blackwell Publishing | ISBN 0631231846 | 2001 | PDF | 7 Mb | 415 Pages


Lacking the grand-scale, pre-Columbian alterations to landscapes brought about by the repeated rise and fall of states and empires, the focus of North American archaeologists has been on native foragers and villagers. Since the quincentennial of Columbus’s voyage, North America has also become a hotbed for studies of culture contact, transculturation, and ethnogenesis. These recent developments have reshaped North American archaeology–bridging the divide between history and prehistory and between the practices of everyday life and global cultural change.

North American Archaeology offers readers a rich and informative text organized around central topics and debates within the discipline that are illustrated by case studies from different regions and time periods. Based on the lives of real people and the historical changes that they experienced in the past, these case studies emphasize human agency, cultural practice, the body, issues of inequality, and the politics of archaeological practice. By highlighting current understandings of cultural and historical processes in North America and situating these understandings within a global perspective, this volume will inspire not only students and scholars of North American archaeology but will undoubtedly spark the imaginations of the many individuals interested in the rich history and cultures of North American peoples.

Download | Mirror

Password:
www.bookscore.info

Virology: Principles and Applications
John Wiley & Sons | 0470023872 | Edition - 2007 | PDF | 358 pages | 20 MB


Virology: Principles and Applications is a clear and accessible introduction to this fast-moving field, providing a comprehensive resource enabling the reader to understand the key concepts surrounding this exciting subject. The reader is introduced to the principles of virus structure, replication and genetics, along with the theories behind the origins of viruses and how they are evolving. Taking a modern approach to the subject, the relevance of virology to everyday life is clearly emphasised and discussions of emerging viruses, cancer, vaccines, anti-viral drugs and gene vectors are included. To enhance student understanding, learning outcomes, sources of further information and ‘at-a-glance’ sections are integrated into in each chapter, reinforcing key concepts.
Illustrated in full colour throughout, extensive use is made of clear diagrams that include standard colour coding for different types of molecule, enabling students to grasp difficult concepts and deal with the level of detail in the subject.
An invaluable text for students of biology, microbiology, molecular biology and biomedical sciences taking courses in virology. The book is also a useful resource for MSc level students looking for an accessible introduction to the subject.
* a student-friendly introduction to the fast-moving subject of virology
* introduces the relevance of virology to the modern world including latest developments in the field
* looks at topical viruses such as HIV and influenza virus
* illustrated in full colour throughout with diagrams labelled clearly to enhance student understanding
* provides a comprehensive Virologists’ Vocabulary
* The companion web site www.wiley.com/go/carter provides self-assessment questions and answers, additional reference sources and links to various virology web sites

Download | Mirror

Password:
www.bookscore.info

Human Blood Groups
Blackwell Publishing | 0632056460 | Edition - 2002-06-15 | PDF | 560 pages | 4 MB


This book is a reference for those working in blood transfusion and blood banking. It provides an exhaustive overview of the biology and clinical significance of blood groups, which is of vital importance to safe blood transfusion within hospitals.
Contains latest information on the genes for various blood groups
Contains more information on the functional significance of blood groups - so it is more biologically and clinically orientated
Integrates serology with molecular biology - so marries the basic understanding at the genetic level with a cellular understanding of the red blood cell membrane

Download | Mirror

Password:
www.bookscore.info

Medicines from Animal Cell Culture
John Wiley & Sons | 0470850949 | Edition - 2007-10-05 | PDF | 672 pages | 6.9 MB


Medicines from Animal Cell Culture focuses on the use of animal cell culture, which has been used to produce human and veterinary vaccines, interferon, monoclonal antibodies and genetically engineered products such as tPA and erythropoietin. It also addresses the recent dramatic expansion in cell-based therapies, including the use of live cells for tissue regeneration and the culture of stem cells.

Medicines from Animal Cell Culture:

* Provides comprehensive descriptions of methods for cell culture and nutrition as well as the technologies for the preservation and characterisation of both the cells and the derived products
* Describes the preparation of stem cells and others for use in cell-based therapies – an area of burgeoning research
* Includes experimental examples to indicate expected results
* Covers regulatory issues from the UK, the EU and the USA and reviews how these are developing around the world
* Addresses the key issues of standardisation and validation with chapters on GLP and GMP for cell culture processes

Delivering insight into the exciting world of biological medicines and directions for further investigation into specific topics, Medicines from Animal Cell Culture is an essential resource for researchers and technicians at all levels using cell culture within the pharmaceutical, biotechnology and biomedical industries. It is of value to laboratory managers in these industries and to all those interested in this topic alike.

Download | Mirror

Password:
www.bookscore.info

Lorenzo Phillips, “Game Programming Tricks of the Trade (The Premier Press Game Development Series) ”
Publisher: Muska & Lipman/Premier-Trade | ISBN: 1931841691 | 1050 Pages | PDF | 17 Mb


“Game Programming Tricks of the Trade” is a compilation of techniques from today’s leading game programmers. Beginners will get started with invaluable tips, while intermediate game programmers can use these tricks to take their skills to the next level. There are even articles for advanced programmers who are looking for new and amazing effects to incorporate in their games. This book covers many exciting topics including Artificial Intelligence and multiplayer game programming. Plus, the tricks taught are a combination of OpenGL and DirectX to provide something for everyone!

Download | Mirror

Password:
www.bookscore.info

Rob Davis, Eric Brabänder, “ARIS Design Platform: Getting Started with BPM ”
Springer; 1 edition (June 6, 2007) | ISBN: 1846286123 | 364 pages | PDF | 10.3 MB


This practical “how-to” guide to both using the ARIS Design Platform and, more importantly, how to use it to create real business models, follows Rob Davis’ hugely successful, Business Process Modelling with ARIS (Springer 2001). This second volume describes the ARIS Business Architect and ARIS Business Designer web clients of the newly released ARIS 7 Design Platform.
Rob Davis has teamed up with Eric Brabänder of IDS Scheer to provide practical answers to the following questions using the new web-based ARIS Design Platform:
• How do we get started with the ARIS Design Platform?

• How do we establish company-wide Business Process Management?

• How do we setup a project with ARIS?

• Which modelling methods should we use?

• How do we structure a process architecture with ARIS?

• How do we effectively use the technical architecture of ARIS (Servers, Databases, Objects, Web Clients, etc)
Containing tips, techniques and short cuts gained from practical experience, this book show how to use ARIS in an easy way, supporting smart methods and smart models, and displays how ARIS can be used as a powerful tool for BPM. ARIS Design Platform: Getting started with BPM is a must have guide and reference for all existing and new users of ARIS.

Download | Mirror

Password:
www.bookscore.info

Y.C. Fung, “First Course in Continuum Mechanics ”
Prentice Hall; 3 edition | ISBN: 0130615242 | 311 pages | Djvu | 8.7 MB


This text offers a physical–rather than mathematical–approach to the study of continuum mechanics. The Third Edition enhances the three-fold objective established in previous editions: to emphasize the formulation of problems in mechanics, to reduce vague ideas into precise mathematical statements, and to cultivate a habit of questioning, analyzing, designing and inventing in engineering and science.

Download | Mirror

Password:
www.bookscore.info