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

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

### Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)

Computer Science By:Jorg Desel 1995-01-27 00:00:00

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, choice petri nets, free choice petri, alike.free choice petri, cambridge tracts

Tags:
*computer*
*science*
*nets*
*choice*
*theoretical*
*petri*
*tracts*
*cambridge*

### Nominal Sets: Names and Symmetry in Computer Science (Cambridge Tracts in Theoretical Computer Science)

Algorithms By:Andrew M. Pitts 2013-07-15 00:00:00

Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs that involve binding, or localising names. Part I provides an introduction to the basic theory of nominal nominal sets, nominal sets.nominal sets, new mathematical analysis, theoretical computer science, formal languages

Tags:
*sets*
*computer*
*science*
*theoretical*
*tracts*
*names*
*cambridge*
*nominal*
*symmetry*