|
|
|
|
| | McGraw-Hill's PCATThe Pharmacy College Admission Test (PCAT) is a standardized exam that is used to assess applicants to pharmacy schools. It is required as part of the admissions process by most U.S. pharmacy schools. The test is created and administered by Harcourt Assessment, the oldest commercial test publisher in the nation and a leader in the test development... | | |
|
The Intelligent Web: Search, smart algorithms, and big data
As we use the Web for social networking, shopping, and news, we leave a personal trail. These days, linger over a Web page selling lamps, and they will turn up at the advertising margins as you move around the Internet, reminding you, tempting you to make that purchase. Search engines such as Google can now look deep into the data on the Web... | | Formal Methods for Concurrency
The aim of this work is to provide a practical introduction to the formal specification of concurrent and real-time systems. It is intended for those with some basic knowledge or experience of computing but does not assume knowledge of the particular problems of concurrent and real-time systems. It concentrates on one group of languages,... | | Semantic Multimedia and Ontologies: Theory and ApplicationsThis book draws together experts from the multimedia, the knowledge and the integrated multimedia-knowledge domains to explore how knowledge technologies can be exploited to create new multimedia applications, and how multimedia technologies can provide new contexts for the use of knowledge technologies.
The step-by-step approach guides the... |
|
Blown to Bits: Your Life, Liberty, and Happiness After the Digital ExplosionEvery day, billions of photographs, news stories, songs, X-rays, TV shows, phone calls, and emails are being scattered around the world as sequences of zeroes and ones: bits. We can’t escape this explosion of digital information and few of us want to–the benefits are too seductive. The technology has enabled unprecedented innovation,... | | | | Logic in Computer Science: Modelling and Reasoning about SystemsRecent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound... |
|
|
|
Result Page: 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 13 |