This book develops a type theory, studies its properties, and explains its uses in computer science. The book focuses in particular on how the study of type theory may offer a powerful and uniform language for programming, program specification and development, and logical reasoning. The type theory developed here reflects a conceptual distinction between logical propositions and computational data types. Starting from an introduction of the basic concepts, the author explains the meaning and use of the type-theoretic language with proof-theoretic justifications, and discusses various issues in the study of type theory. The practical use of the language is illustrated by developing an approach to specification and data refinement in type theory, which supports modular development of specification, programs, and proofs. Students and researchers in computer science and logic will welcome this exciting new book.
List Price:
Price: 90.98

To succeed in radiology, you not only need to be able to interpret diagnostic images accurately and efficiently; you also need to make wise decisions about managing your practice at every level. Whether you work in a private, group, hospital, and/or university setting, this practical resource delivers the real-world advice you need to effectively navigate day-to-day financial decisions, equipment and computer systems choices, and interactions with your partners and staff.
List Price:
Price: 109.98

This step-by-step, how-to book is perfect for both home video makers and professionals who want to learn how to create basic to advanced digital movies and DVDs using Corel VideoStudio Pro X4. Whether readers are new to video editing, new to VideoStudio or switching to VideoStudio from another editor, this easy-to-use, fun, book will walk them through all the steps necessary to create and edit professional looking video to enjoy and share.

Download an errata list for Picture Yourself Making Creative Movies with Corel VideoStudio Pro X4.

List Price: $ 29.99

Price: $ 18.25

Why is it that business in Silicon Valley is again flourishing while along Route 128 in Massachusetts it continues to decline? The answer, Sexanian suggests, has to do with the fact that despite similar histories and technologies, Silicon Valley developed a decentralized but co-operative industrial system while Route 128 came to be dominated by independent, self-sufficient corporations. The result of more than 100 interviews, this analysis highlights the importance of local sources of competitive advantage in a volatile world economy.

List Price: $ 27.00

Price: $ 22.00

Summary: Aimed at knowledge management professionals and students in the field of knowledge management, information science, information systems and software engineering, the book provides answers to the ‘what-is’ and ‘why-is’ questions with regard to knowledge management. It investigates the concepts and elements, the drivers, and challenges involved in knowledge management. In the second part of the book the ‘How’ and ‘With-what’ characteristics of knowledge management are covered. Although knowledge management is primarily concerned with non-technical issues, this book concentrates on the technical issues and challenges. A new technology framework for knowledge management is proposed to position and relate the different knowledge management technologies as well as the two key applications of knowledge management, namely knowledge portals and knowledge discovery (including text mining). Key Features: 1.Best practices for a number of knowledge management issues are discussed 2.A new technology framework for knowledge management is proposed to position and relate the different knowledge management technologies 3.Written by internationally acknowledged KM researchers and practitioners The Authors: Dr Antonie Botha gained nearly 30 years of experience during his engagement with IBM. He is currently an independent IT Architect and IT Consultant, specialising in enterprise and integration architecting and knowledge management. Prof Dr Derrick Kourie is a professor in the Department of Computer Science at the University of Pretoria, South Africa. Prof Dr Retha Snyman gained many years of experience during her engagements with various information service organisations. She is responsible for postgraduate student supervision in the Department of Information Science, University of Pretoria. Readership: The book is aimed at knowledge management practitioners as well as knowledge management, information science, information systems and software engineering students at undergraduate and post-graduate level. Contents: Introduction – the new challenging business environment; the knowledge management idea Knowledge perspectives and concepts – miscellaneous insights about knowledge and why knowledge should be managed Knowledge management perspectives – conceptual, process, technology and implementation Intellectual capital – managing different forms of intellectual capital; intellectual capital domains Organisational learning and learning organisations – from organisational learning to the knowledge enabled organisation Knowledge management and Communities of Practice (CoPs) – knowledge workplace; CoPs: the organisational learning space Knowledge management best practices – best or worst practices today? A model for best practice transfer Knowledge management technology – what knowledge management technologies can do; what knowledge management technologies cannot do; positioning knowledge management and e-business Knowledge Management Technology Framework (KMTF
List Price:
Price: 88.98

This book is in Used condition
List Price: 131.0
Price: 101.88

This book is an introduction to the design and implementation of operating systems using OSP 2, the next generation of the highly popular OSP courseware for undergraduate operating system courses. Coverage details process and thread management; memory, resource and I/0 device management; and interprocess communication. The book allows students to practice these skills in a realistic operating systems programming environment. An Instructors Manual details how to use the OSP Project Generator and sample assignments. Even in one semester, students can learn a host of issues in operating system design.

List Price: $ 44.95

Price: $ 36.45

"Probability with R" is a comprehensive introductory book on probability with an emphasis on computing-related applications. Real examples show how probability can be used in practical situations, and the freely available and downloadable statistical programming language R illustrates and clarifies the book’s main principles. Promoting a simulation- and experimentation-driven method, this book is the ultimate introduction to probability and its computer science applications using R.
List Price:
Price: 96.98

This book is in Used condition
List Price: 88.95
Price: 108.89

List Price: $ 14.99

Price: $ 9.39

This book is a practical introduction to learning about Node. Each chapter introduces you to a different area of Node, using screenshots and examples to get you up and running as quickly as possible. If you are a developer who wants to use JavaScript on the server side in order to build quicker, higher performing web applications, then this book is for you. It is recommended that you should have at least a rudimentary understanding of JavaScript and web application development.

List Price: $ 24.99

Price: $ 22.71

In order for wireless devices to function, the signals must be coded in standard ways so that the sender and the receiver can communicate. This area of video source coding is one of the key challenges in the worldwide push to deliver full video communications over wireless devices. This important new book reviews current progress in this field and looks at how to solve some of the most important technology issues in the months and years ahead. The vision of being able to communicate from anywhere, at any time, and with any type of information is on its way to becoming reality. This natural convergence of mobile communications and multimedia is a field that is expected to achieve unprecedented growth and commercial success. Current wireless communication devices support a number of basic multimedia services (voice, messages, basic internet access), but have coding problems that need to be solved before “real-time” mobile video communication can be achieved. Addresses the emerging field of mobile multimedia communications
List Price:
Price: 118.00

This book is in Used condition
List Price: 30.95
Price: 60.07

Two SharePoint MVPs provide the ultimate introduction to SharePoint 2010

Beginning SharePoint 2010: Building Team Solutions with SharePoint provides information workers and site managers with extensive knowledge and expert advice, empowering them to become SharePoint champions within their organizations.

• Provides expansive coverage of SharePoint topics, as well as specialty areas such as forms, excel services, records management, and web content management
• Details realistic usage scenarios, and includes practice examples that highlight best practices for configuration and customization
• Includes detailed descriptions and illustrations of SharePoint’s functionality

Designed to mentor and coach business and technical leaders on the use of SharePoint in addressing critical information management problems within their organizations, Beginning SharePoint 2010 is sure to become the premiere handbook for any active or aspiring SharePoint expert.

List Price: $ 34.99

Price: $ 19.06

Related Computer Business Products

This book constitutes the refereed proceedings of 5th International Conference on Theoretical Computer Science held in Milano, Italy in 2008. "The IFIP" series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and, human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the "IFIP" series is to encourage education and the dissemination and exchange of information about all aspects of computing.
List Price:
Price: 219.00

No Synopsis Available
List Price: 75.0
Price: 62.47

This comprehensive and state-of-the art approach to video processing gives engineers and students a comprehensive introduction and includes full coverage of key applications: wireless video, video networks, video indexing and retrieval and use of video in speech processing. Containing all the essential methods in video processing alongside the latest standards, it is a complete resource for the professional engineer, researcher and graduate student. Numerous conceptual and numerical examples All the latest standards are thoroughly covered: MPEG-1, MPEG-2, MPEG-4, H.264 and AVC Coverage of the latest techniques in video security ""Like its sister volume "The Essential Guide to Image Processing," Professor Bovik’s Essential Guide to Video Processing provides a timely and comprehensive survey, with contributions from leading researchers in the area. Highly recommended for everyone with an interest in this fascinating and fast-moving field." -Prof. Bernd Girod, Stanford University, USA" * Edited by a leading person in the field who created the IEEE International Conference on Image Processing, with contributions from experts in their fields. * Numerous conceptual and numerical examples *All the latest standards are thoroughly covered: MPEG-1, MPEG-2, MPEG-4, H.264 and AVC. * Coverage of the latest techniques in video security
List Price:
Price: 96.98

This book presents the fundamentals of operating systems that remain constant as new, more advanced systems are introduced and also integrates and highlights key distributed operating systems issues. The main topics presented include message-based synchronization and remote procedure calls, as well as unique integration of distributed deadlocks, distributed shared memory, distributed file systems, and secure communication using cryptography. For systems programmers, software engineers, programmers, and other professionals who want to teach themselves the fundamentals of operating systems or enhance their understanding of operating systems and distributed systems issues.

List Price: $ 145.00

Price: $ 28.45

Introduction to Algorithms

“Introduction to Algorithms, the ‘bible’ of the field, is a comprehensive textbook covering the full spectrum of modern algorithms: from the fastest algorithms and data structures to polynomial-time algorithms for seemingly intractable problems, from classical algorithms in graph theory to special algorithms for string matching, computational geometry, and number theory. The revised third edition notably adds a chapter on van Emde Boas trees, one of the most useful data structures, and on multithreaded algorithms, a topic of increasing importance.”–Daniel Spielman, Department of Computer Science, Yale University

List Price: $ 87.00

Price: $ 61.00

Related Operating Systems Products

The relationship between anthropologists’ ethnographic investigations and the lived social worlds in which these originate is a fundamental issue for anthropology. Where some claim that only native voices may offer authentic accounts of culture and hence that ethnographers are only ever interpreters of it, others point out that anthropologists are, themselves, implanted within specific cultural contexts which generate particular kinds of theoretical discussions. The contributors to this volume reject the premise that ethnographer and informant occupy different and incommensurable cultural worlds. Instead they investigate the relationship between culture, context, and anthropologists’ models and accounts in new ways. In doing so, they offer fresh insights into this key area of anthropological research.
List Price:
Price: 80.00

Wish you could put together high quality presentations on the fly? To outshine your competition in business today, you’ll need to know how to do that and more. Download “Microsoft PowerPoint: The Video Guide” now and learn to navigate PowerPoint with ease and mastery in no time.

The ability to create and edit PowerPoint presentations efficiently can make or break an event. Whether you’re in business or education, this guide will be your go-to resource. 8 interactive chapters arm you with essential PowerPoint tips and tricks. You’ll learn to:

• Become a Template Pro
• Add and Edit Images
• Create Effective Charts and Plots
• Utilize Animation and Add-Ins
• Customize PowerPoint
• Display, Print and Share Presentations

…and more!

Wish you could put together high quality presentations on the fly? To outshine your competition in business today, you’ll need to know how to do that and more. Download “Microsoft PowerPoint: The Video Guide” now and learn to navigate PowerPoint with ease and mastery in no time.

The ability to create and edit PowerPoint presentations efficiently can make or break an event. Whether you’re in business or education, this guide will be your go-to resource. 8 interactive chapters arm you with essential PowerPoint tips and tricks. You’ll learn to:

• Become a Template Pro
• Add and Edit Images
• Create Effective Charts and Plots
• Utilize Animation and Add-Ins
• Customize PowerPoint
• Display, Print and Share Presentations

…and more!

List Price: $ 7.99

Price: $ 7.99