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

### 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*

### Technology and Practice of Passwords: 9th International Conference, PASSWORDS 2015, Cambridge, UK, December 7-9, 2015, Proceedings

Cryptography By:Frank Stajano, Stig F. Mjolsnes, Graeme Jenkinson 2016-00-00 00:00:00

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Passwords, PASSWORDS 2015, held in Cambridge, UK, in December 2015. The 6 revised full papers presented together with 3 revised short papers were carefully reviewed and selected from 32 international conference, passwords, human factors, short papers, proceedings

Tags:
*technology*
*practice*
*proceedings*
*passwords*
*conference*
*cambridge*

### Cambridge International AS and A Level Computer Science Coursebook (Cambridge International Examinations)

Computer Science By:Sylvia Langfield 2016-02-09 00:00:00

Cambridge International AS and A Level Computer Science offers a complete set of resources to accompany the 9608 syllabus. This coursebook delivers an accessible guide to the theoretical and practical skills that are required by the course, with a clear progression of tasks that consolidate and deve cambridge international examinations, level computer science, alongside fundamental definitions, complex subject matter, higher level programming

Tags:
*computer*
*science*
*level*
*cambridge*
*examinations*
*coursebook*