## Home > Tags: cambridge (Total 70 Records)

### Essentials of Cognitive Radio (The Cambridge Wireless Essentials Series)

Networking By:Linda E. Doyle 2009-05-11 00:00:00

Do you need to get quickly up to speed on cognitive radio? This concise, practical guide presents the key concepts and challenges you need to know about, including issues associated with security, regulation, and designing and building cognitive radios. Written in a descriptive style and using minim Networking

### Recursion via Pascal (Cambridge Computer Science Texts)

Computer Science By:Rohl 1984-08-31 00:00:00

This book is devoted to recursion in programming, the technique by which the solution to a problem is expressed partly in terms of the solution to a simpler version of the same problem. Ultimately the solution to the simplest version must be given explicitly. In functional programming, recursion has Computer Science

### Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)

Programming By:Peter Padawitz 1992-10-30 00:00:00

In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the developm Programming

Tags:
*computer*
*programming*
*science*
*theoretical*
*tracts*
*declarative*
*cambridge*
*deductive*

### Modal Logic (Cambridge Tracts in Theoretical Computer Science)

Computer Science By:Patrick Blackburn 2002-09-30 00:00:00

This modern, advanced textbook reviews modal logic, a field which caught the attention of computer scientists in the late 1970's. The development is mathematical prior acquaintance with first-order logic and its semantics is assumed, and familiarity with the basic mathematical notions of set theory Computer Science

Tags:
*computer*
*science*
*logic*
*theoretical*
*tracts*
*cambridge*
*modal*

### Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science)

Algorithms By:Willem-Paul de Roever 2008-12-18 00:00:00

The goal of this book is to provide a comprehensive and systematic introduction to the important and highly applicable method of data refinement and the simulation methods used for proving its correctness. The authors concentrate in the first part on the general principles needed to prove data refin data refinement, model-oriented proof methods, data refinement correct, data refinement proofs, highly applicable method

Tags:
*computer*
*data*
*science*
*method*
*theoretical*
*tracts*
*refinement*
*cambridge*
*proof*
*comparison*

### Cambridge IGCSE Computer Science

Computer Science By:David Watson 2014-10-15 00:00:00

Endorsed by Cambridge International Examinations. Develop your students computational thinking and programming skills with complete coverage of the latest syllabus from experienced examiners and teachers. - Follows the order of the syllabus exactly, ensuring complete coverage - Introduces students t igcse computer science, cambridge igcse, cambridge international examinations, igcse entry, complete coverage

### Cambridge IGCSE ICT (2nd edition)

Computer Science By:Brian Sargent, David Watson, Graham Brown 2015-00-00 00:00:00

Endorsed by Cambridge International Examinations Now including Brian Sargent in the expert author team, alongside first edition authors Graham Brown and David Watson, this book has been fully revised and updated to cover every part of the latest Cambridge IGCSE ICT (0417) syllabus. - Ensures that st cambridge igcse ict, latest cambridge igcse, cambridge international examinations, authors graham brown, expert author team

### Convex Optimization in Signal Processing and Communications (Cambridge University Press)

Telecommunications By:Daniel P. Palomar 2010-01-25 00:00:00

Over the past two decades there have been significant advances in the field of optimization. In particular, convex optimization has emerged as a powerful signal processing tool, and the variety of applications continues to grow rapidly. This book, written by a team of leading experts, sets out the t convex optimization, cambridge university press, signal processing, convex optimization applications, signal processing tool

Tags:
*optimization*
*signal*
*communication*
*processing*
*press*
*university*
*cambridge*
*convex*

### Coding Theory: A Cambridge First Course

Computer Science By:San Ling 2004-03-08 00:00:00

Concerned with successfully transmitting data through a noisy channel, coding theory can be applied to electronic engineering and communications. Based on the authors' extensive teaching experience, this text provides a completely modern and accessible course on the subject. It includes sections on successfully transmitting data, extensive teaching experience, cambridge first course, noisy channel, electronic engineering

### Affine Hecke Algebras and Orthogonal Polynomials (Cambridge Tracts in Mathematics)

Cryptography By:I. G. Macdonald 2003-04-14 00:00:00

A satisfactory and coherent theory of orthogonal polynomials in several variables, attached to root systems, and depending on two or more parameters, has developed in recent years. This comprehensive account of the subject provides a unified foundation for the theory to which I.G. Macdonald has been orthogonal polynomials, cambridge tracts, coherent theory, unified foundation, comprehensive account

Tags:
*mathematics*
*orthogonal*
*tracts*
*cambridge*
*algebras*
*polynomials*
*affine*
*hecke*