Search Results - Cambridge Tracts in Theoretical Computer Scienc...
Order within 4hrs 8mins for Next Day Delivery
View Basket
Sign Out
Early Years View All
BrowseEarly YearsPrimarySecondaryFurther EducationAcademicVLeBooks
Top Categories
Popular TitlesBook BundlesComing SoonNew & NoteworthyAccelerated ReaderTikTok Made Me Read It
Non-Fiction Books
Biography & MemoirsHistoryMusicSportWildlifeView More...
Publisher
Crown HouseDorling Kindersley (DK)GMC DistributionMacmillanWileyView More...
Fiction Books
Animal storiesClassic crimeEnviroment storiesFantasyGraphic NovelsView More...
Author
David AlmondKwame AlexanderMalorie BlackmanSarah CrossanWilliam ShakespeareView More...
Children's Books
Bedtime StoriesBig BooksBoard BooksPicture BooksSoft Toys & GamesView More...
eBooks
AcademicCollectionsNew eBooksPrimary Box SetsPromotionsSecondary Box sets
Popular Topics
Black Lives, Black HistoryDiversity MattersFantastic FemalesLGBTQ+Mental Health AwarenessLooking After Our Planet
Not To Be Missed
Book ReviewsBlogEnglish MasteryOfficial Book AwardsSchool Book AwardsYoto Carnegies
Other
DictionariesDVD’sExam BoardsScotland ResourcesSENDTimeline of Events
Nursery Essentials
100 Essential Picture BooksFairytales & FablesNursery Rhymes & SongsSound BooksStory Board BooksTouch and Feel
Topics
Animal StoriesDinosaursFestivals & CelebrationsFunny StoriesPeople Who Help UsView More...
First Learning
ABC and First WordsColoursNumbers & CountingRhyming & WordplaySeasons & TimeView More...
Conversation Starters
Black Lives, Black HistoryBooks to Inspire ReadingDiversity MattersLooking after our PlanetRefugees & ImmigrationStarting School
Favourite Characters
BlueyElmerPaddingtonPeppa PigThe GruffaloView More...
Personal Development
All Kinds of FamiliesCelebrating GrandparentsFantastic FemalesFirst ExperiencesMental HealthPositively Me!
Favourite Series
Baby Touch & FeelCampbell Busy BooksFirst Questions & AnswersLadybird First Favourite TalesThat's Not My…View More...
Classroom Essentials
Big BooksNumiconPie Corbett CollectionsReading SchemesTeacher Resources/CPDToys and Games
Authors/Illustrators
Dapo AdeolaJoseph CoelhoJulia DonaldsonTom FletcherSue HendraView More...
Browns Recommends
Book BundlesCarnegie Medal for IllustrationGreat Books to Read AloudNew & NoteworthyOfficial Book AwardsTimeline of Events
Reading and Phonics
Accelerated ReaderAR Kids Reading Report '23AR: Newly QuizzedBook BandsPie Corbett CollectionsReading Schemes
Topics
Fiction by Genre – KS1Fiction by Genre – KS2Topic Collections - Early YearsTopic Collections - KS1Topic Collections - KS2
Reading Support
Dual & Foreign LanguageHow to Write a StoryPicture Books for KS1Picture Books for KS2Reluctant & Dyslexic ReadersWordless Picture Books
Conversation Starters
Black Lives, Black HistoryDiversity MattersFantastic FemalesFestivals & CelebrationsLooking After Our PlanetRefugees & Immigration
Reading for Pleasure
Fantastic FactsFavourite Classroom ReadsFilm & TV AdaptationsGraphic NovelsNarrative Non-FictionRead Around the World
Personal Development
Bullying AwarenessInspirational LivesMental HealthPeople Who Help UsRead for Empathy 2024Starting Secondary School
Library Collections
100 Best Fiction for Y1-Y6100 Best Non-Fiction for Y1-Y6Favourite Authors, A-ZSeries: Early Readers & KS1Series: Lower KS2Shakespeare
Classroom Essentials
11+ ExamsDictionariesNumiconScotland ResourcesTeacher Resources/CPDWales Resources
Browns Bestsellers
Bestselling New FictionBestselling New Non-FictionBook BundlesEssential PoetryFavourite AudiobooksTop 50 Graphic Novels
Browns Recommends
2023 Award WinnersChildren's Laureate 2022-2024New and NoteworthyOfficial Book AwardsSchool Book AwardsTimeline of Events
Reading for Pleasure
Favourite Authors A-ZGraphic Novels & MangaNarrative Non-FictionRead Around the WorldTikTok Made Me Read ItTV and Film Adaptations
GCSE by Exam Board
AQAEdexcelIGCSEOCRWJEC / EduqasView More...
Fiction by Genre
HistoricalHumourRomanceShort StoriesThrillersView More...
Key Debates & Topics
Black Lives, Black HistoryConflicts & TerrorismDiversity MattersMaking Sense of Our WorldOur Planet in DangerRefugees & Immigration
Non-Fiction by Subject
BiographiesGeographyHistoryHobbiesSportView More...
Personal Development
Bullying AwarenessCareersFantastic FemalesManaging Exam StressMental HealthRead for Empathy 2024
Reading Support
Accelerated ReaderDual & Foreign LanguageGraded Readers (CEFR)English MasteryReluctant & Dyslexic ReadersShakespeare
Classroom Essentials
DictionariesNorthern Ireland (CCEA)Scotland ResourcesTeacher Resources/CPDWales Resources
Browns Bestsellers
Audio BooksBestselling New FictionBestselling New Non-FictionEssential PoetryTop 30 Graphic Novels - KS3Top 30 Graphic Novels - KS4
Browns Recommends
2023 Award WinnersAR Kids Reading Report '23Book BundlesNew and NoteworthyOfficial Book AwardsTimeline of Events
Reading for Pleasure
Feel Good FictionFilm and TV AdaptationsGraphic Novels & MangaMyths RetoldTikTok Made Me Read ItView More...
A-Level by Exam Board
AQAEdexcelIALOCRWJEC / EduqasView More...
Fiction by Genre
CrimeFantasyHistoricalRomantic FictionSci-FiView More...
A-Level: Wider Reading
ArtEconomicsMusicPhilosophyShakespeareView More...
Non-Fiction by Subject
BiographiesNarrative Non-FictionPopular ScienceStudent CookbooksTrue CrimeUK Politics
Student Essentials
CareersManaging Exam StressMoney MattersReady for Uni - Reading ListsStudy SkillsView More...
Key Debates & Topics
Black Lives, Black HistoryDiversity MattersFantastic FemalesMental HealthOur Planet in DangerRefugees & Immigration
Classroom Essentials
Graded Readers (CEFR)Northern Ireland (CCEA)Scotland ResourcesT LevelsTeacher Resources/CPDWales Resources
Browns Bestsellers
Best New BiographiesBestselling New FictionBestselling New Non-FictionEssential PoetryNow StreamingQuick Reads
Browns Recommends
2023 Award WinnersAcademic NewsletterDVD CollectionsNew and NoteworthyOfficial Book AwardsTimeline of Events
Reading for Pleasure
Books by Authors of ColourGraphic NovelsLGBTQ+ Fiction Now StreamingTikTok Made Me Read It View more...
Education Studies
Early Childhood StudiesEarly Years TeachingEducation StudiesPrimary TeachingSecondary TeachingSEN Teaching
Student Essentials
Academic Writing & Research Careers Cooking on a BudgetMental HealthMoney Matters View More...
Health and Medicine
Biomedical ScienceDentistryMedicineMidwiferyNursing (Adult)View More...
Key Debates & Topics
AIConflicts Equality, Inclusion, Diversity Human Migration Net Zero Politics
Law and Politics
Criminal Law European Law Family Law International Relations Law of Tort View More...
Arts and Humanities
Art & Design Drama English Language English Literature Film Studies View More...
Sciences/Engineering
BiologyChemistryEngineeringGeographyPhysicsView More...
Business
Accounting Economics Entrepreneurship ManagementMarketing View More...
Browns Recommends
2023 Award WinnersAcademic NewsletterBestselling eBooksNew and NoteworthyOfficial Book AwardsTimeline of Events
About VLeBooks
Register for VLeBooksApplication FormRequest Inspection CopiesLeave FeedbackFAQsTerms and Conditions
Further Education
Foreign Language titlesGraphic Novels & MangaLGBTQ+Mental HealthNew FictionView More...
Teacher Hub
CPDEarly Years TeachingPrimary TeachingSecondary TeachingSEN / SENDWellbeing for Teachers
FE Curriculum
A Level by SubjectCambridge A-LevelIB DiplomaNorthern Ireland (CCEA)Scotland: Highers/Adv HighersVocational Training
Primary
Favourite Authors A-ZKS1 FictionKS2 FictionMental HealthPrimary Topics View More...
Academic
BiographiesCrime FictionMyths RetoldNew FictionRomance FictionWordsworth Classics
Secondary
Favourite SeriesFiction by GenreKS3 FictionKS4 FictionReluctant & Dyslexic ReadersView More...
Academic Subjects
AccountingBritish PoliticsDentistryMarketingPsychologyView More...
Secondary Curriculum
CareersGCSE by SubjectGraded Readers (CEFR)IGCSENorthern Ireland (CCEA)Scotland: National 4/5
Browns Recommends
2023 Award WinnersBestsellersExclusive CollectionsNew eBooksVLeBooks Promotions
Saved Searches
My Saved Searches
Image for Initial Algebras and Terminal Coalgebras

Initial Algebras and Terminal Coalgebras : The Theory of Fixed Points of Functors

series Cambridge Tracts in Theoretical Computer Science
Hardback 30 Sep 2024
ISBN: 9781108835466
£131.75
RRP £155.00
Special order line: only available to educational & business accounts. Sign In
Image for Topological Duality for Distributive Lattices

Topological Duality for Distributive Lattices : Theory and Applications

series Cambridge Tracts in Theoretical Computer Science
Hardback 7 Mar 2024
ISBN: 9781009349697
Dewey: 511.33
£55.24
RRP £64.99
Special order line: only available to educational & business accounts. Sign In
Image for Finite-State Techniques

Finite-State Techniques : Automata, Transducers and Bimachines

series Cambridge Tracts in Theoretical Computer Science
Hardback 1 Aug 2019
ISBN: 9781108485418
Dewey: 511.350285635
£56.94
RRP £66.99
Special order line: only available to educational & business accounts. Sign In
Image for Advanced topics in bisimulation and coinduction

Advanced topics in bisimulation and coinduction - 52

series Cambridge Tracts in Theoretical Computer Science
Ebook 13 Oct 2011
ISBN: 9781107227231
Dewey: 004.015113
Licence From
£110.00
Special order line: only available to educational & business accounts. Sign In
Image for Rippling: meta-level guidance for mathematical reasoning

Rippling: meta-level guidance for mathematical reasoning - 56

series Cambridge Tracts in Theoretical Computer Science
Ebook 30 Jun 2005
ISBN: 9781107139473
Dewey: 006.333
Licence From
£110.00
Special order line: only available to educational & business accounts. Sign In
Image for Introduction to Coalgebra: Towards Mathematics of States and Observation

Introduction to Coalgebra: Towards Mathematics of States and Observation - 59

series Cambridge Tracts in Theoretical Computer Science
Ebook 27 Oct 2016
ISBN: 9781316835500
Dewey: 512.46
Licence From
£95.00
Special order line: only available to educational & business accounts. Sign In
Image for Nominal Sets: Names and Symmetry in Computer Science

Nominal Sets: Names and Symmetry in Computer Science - 57

series Cambridge Tracts in Theoretical Computer Science
eBook 30 May 2013
ISBN: 9781139890779
Dewey: 005.13
Licence From
£110.00
Special order line: only available to educational & business accounts. Sign In
Image for Process algebra: equational theories of communicating processes

Process algebra: equational theories of communicating processes - 50

series Cambridge Tracts in Theoretical Computer Science
eBook 16 Dec 2009
ISBN: 9781107209596
Dewey: 004.0151
Licence From
£145.00
Special order line: only available to educational & business accounts. Sign In
Image for Domains and Lambda-Calculi

Domains and Lambda-Calculi

series Cambridge Tracts in Theoretical Computer Science
Paperback / softback 15 May 2008
ISBN: 9780521062923
Dewey: 511.3
£33.14
RRP £38.99
Special order line: only available to educational & business accounts. Sign In
Image for Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science

series Cambridge Tracts in Theoretical Computer Science
Paperback / softback 25 Mar 2004
ISBN: 9780521602808
Dewey: 006.3
£28.04
RRP £32.99
Special order line: only available to educational & business accounts. Sign In
Image for Algorithmic Information Theory

Algorithmic Information Theory

series Cambridge Tracts in Theoretical Computer Science
Hardback 15 Oct 1987
ISBN: 9780521343060
Out of Print
Image for Information Flow

Information Flow : The Logic of Distributed Systems

series Cambridge Tracts in Theoretical Computer Science
Hardback 28 Jul 1997
ISBN: 9780521583862
Dewey: 003.54
£56.09
RRP £65.99
Special order line: only available to educational & business accounts. Sign In
Image for The Optimal Implementation of Functional Programming Languages

The Optimal Implementation of Functional Programming Languages

series Cambridge Tracts in Theoretical Computer Science
Hardback 3 Dec 1998
ISBN: 9780521621120
Dewey: 005.13
£65.44
RRP £76.99
Special order line: only available to educational & business accounts. Sign In
Image for Extensions of First-Order Logic

Extensions of First-Order Logic

series Cambridge Tracts in Theoretical Computer Science
Paperback / softback 22 Aug 2005
ISBN: 9780521019026
Dewey: 511.3
£31.44
RRP £36.99
Special order line: only available to educational & business accounts. Sign In
Image for Basic Proof Theory

Basic Proof Theory

series Cambridge Tracts in Theoretical Computer Science
Paperback 15 Sep 2000
ISBN: 9780521784528
Dewey: 511.3
£20.99
Special order line: only available to educational & business accounts. Sign In
Image for Concurrency Verification

Concurrency Verification : Introduction to Compositional and Non-compositional Methods

series Cambridge Tracts in Theoretical Computer Science
Hardback 26 Nov 2001
ISBN: 9780521806084
Dewey: 005.14
£191.25
RRP £225.00
Special order line: only available to educational & business accounts. Sign In
Image for The Clausal Theory of Types

The Clausal Theory of Types

series Cambridge Tracts in Theoretical Computer Science
Paperback / softback 30 Jul 2009
ISBN: 9780521117906
Dewey: 005.11
£17.84
RRP £20.99
Special order line: only available to educational & business accounts. Sign In
Image for Concurrency Verification

Concurrency Verification : Introduction to Compositional and Non-compositional Methods

series Cambridge Tracts in Theoretical Computer Science
Paperback / softback 26 Jan 2012
ISBN: 9780521169325
Dewey: 005.14
£42.49
RRP £49.99
Special order line: only available to educational & business accounts. Sign In
Image for Understanding Z

Understanding Z : A Specification Language and its Formal Semantics

series Cambridge Tracts in Theoretical Computer Science
Hardback 31 Mar 1988
ISBN: 9780521334297
Dewey: 005.133
Out of Print
Image for Lambda-calculus, Combinators and Functional Programming

Lambda-calculus, Combinators and Functional Programming

series Cambridge Tracts in Theoretical Computer Science
Hardback 31 Mar 1988
ISBN: 9780521345897
Out of Print
Image for Formal Methods in Artificial Intelligence

Formal Methods in Artificial Intelligence

series Cambridge Tracts in Theoretical Computer Science
Hardback 10 Nov 1988
ISBN: 9780521352369
Out of Print
Image for Formal Methods in Digital Design

Formal Methods in Digital Design

series Cambridge Tracts in Theoretical Computer Science
Hardback 16 Jun 1998
ISBN: 9780521353878
£17.50
Special order line: only available to educational & business accounts. Sign In
Image for Theoretical Foundations of VLSI Design

Theoretical Foundations of VLSI Design

series Cambridge Tracts in Theoretical Computer Science
Hardback 13 Dec 1990
ISBN: 9780521366311
Out of Print
Image for Updating Logical Databases

Updating Logical Databases

series Cambridge Tracts in Theoretical Computer Science
Hardback 26 Oct 1990
Publisher Camb.U.P.
ISBN: 9780521373715
Dewey: 005.74
Out of Print
Image for Mathematical Theory of Domains

Mathematical Theory of Domains

series Cambridge Tracts in Theoretical Computer Science
Hardback 22 Sep 1994
ISBN: 9780521383448
Dewey: 004.01
Out of Print
Image for Logic Programming over Polymorphically Order-Sorted Types

Logic Programming over Polymorphically Order-Sorted Types

series Cambridge Tracts in Theoretical Computer Science
Hardback 1 Nov 1999
ISBN: 9780521391979
Dewey: 005.1
£17.50
Special order line: only available to educational & business accounts. Sign In
Image for The Clausal Theory of Types

The Clausal Theory of Types

series Cambridge Tracts in Theoretical Computer Science
Hardback 22 Apr 1993
ISBN: 9780521395380
Dewey: 005.11
£51.85
RRP £61.00
Special order line: only available to educational & business accounts. Sign In
Image for Logic and Computation

Logic and Computation : Interactive Proof with Cambridge LCF

series Cambridge Tracts in Theoretical Computer Science
Paperback / softback 26 Jul 1990
ISBN: 9780521395601
Dewey: 004.125
£25.49
RRP £29.99
Special order line: only available to educational & business accounts. Sign In
Image for Action Semantics

Action Semantics

series Cambridge Tracts in Theoretical Computer Science
Hardback 13 Aug 1992
ISBN: 9780521403474
£63.75
RRP £75.00
Special order line: only available to educational & business accounts. Sign In
Image for Programs, Recursion and Unbounded Choice

Programs, Recursion and Unbounded Choice

series Cambridge Tracts in Theoretical Computer Science
Hardback 21 May 1992
ISBN: 9780521404365
Dewey: 402.85
Out of Print
Add to basket
Prev
1234
Next
Browns Books Logo Footer +44 (0) 1482 384660

Our Services

Policies

Help & Contact

Browns Books © 2014-2024 All rights reserved [rev: 1.3.52.43]