Search Results - Books

Sub Total £0.00 0 Items

(8244028)

Early Years View All

Browse Early Years Primary Secondary Further Education Academic VLeBooks

Top Categories

Non-Fiction Books

Biography & Memoirs History Music Sport Wildlife View More...

Publisher

Crown House Dorling Kindersley (DK)GMC Distribution Macmillan Wiley View More...

Fiction Books

Animal stories Classic crime Enviroment stories Fantasy Graphic Novels View More...

Author

David Almond Kwame Alexander Malorie Blackman Sarah Crossan William Shakespeare View More...

Children's Books

Bedtime Stories Big Books Board Books Picture Books Soft Toys & Games View More...

eBooks

Academic Collections New eBooks Primary Box Sets Promotions Secondary Box sets

Not To Be Missed

Book Reviews Blog English Mastery Official Book Awards School Book Awards Yoto Carnegies

Other

Dictionaries DVD’s Exam Boards Scotland Resources SEND Timeline of Events

Nursery Essentials

100 Essential Picture Books Fairytales & Fables Nursery Rhymes & Songs Sound Books Story Board Books Touch and Feel

Topics

Animal Stories Dinosaurs Festivals & Celebrations Funny Stories People Who Help Us View More...

First Learning

ABC and First Words Colours Numbers & Counting Rhyming & Wordplay Seasons & Time View More...

Conversation Starters

Black Lives, Black History Books to Inspire Reading Diversity Matters Looking after our Planet Refugees & Immigration Starting School

Favourite Characters

Bluey Elmer Paddington Peppa Pig The Gruffalo View More...

Personal Development

All Kinds of Families Celebrating Grandparents Fantastic Females First Experiences Mental Health Positively Me!

Favourite Series

Baby Touch & Feel Campbell Busy Books First Questions & Answers Ladybird First Favourite Tales That's Not My…View More...

Classroom Essentials

Big Books Numicon Pie Corbett Collections Reading Schemes Teacher Resources/CPD Toys and Games

Authors/Illustrators

Dapo Adeola Joseph Coelho Julia Donaldson Tom Fletcher Sue Hendra View More...

Browns Recommends

Book Bundles Carnegie Medal for Illustration Great Books to Read Aloud New & Noteworthy Official Book Awards Timeline of Events

Reading and Phonics

Accelerated Reader AR Kids Reading Report '23 AR: Newly Quizzed Book Bands Pie Corbett Collections Reading Schemes

Topics

Fiction by Genre – KS1 Fiction by Genre – KS2 Topic Collections - Early Years Topic Collections - KS1 Topic Collections - KS2

Reading Support

Dual & Foreign Language How to Write a Story Picture Books for KS1 Picture Books for KS2 Reluctant & Dyslexic Readers Wordless Picture Books

Conversation Starters

Black Lives, Black History Diversity Matters Fantastic Females Festivals & Celebrations Looking After Our Planet Refugees & Immigration

Reading for Pleasure

Fantastic Facts Favourite Classroom Reads Film & TV Adaptations Graphic Novels Narrative Non-Fiction Read Around the World

Personal Development

Bullying Awareness Inspirational Lives Mental Health People Who Help Us Read for Empathy 2024 Starting Secondary School

Library Collections

100 Best Fiction for Y1-Y6 100 Best Non-Fiction for Y1-Y6 Favourite Authors, A-Z Series: Early Readers & KS1 Series: Lower KS2 Shakespeare

Classroom Essentials

11+ Exams Dictionaries Numicon Scotland Resources Teacher Resources/CPD Wales Resources

Browns Bestsellers

Bestselling New Fiction Bestselling New Non-Fiction Book Bundles Essential Poetry Favourite Audiobooks Top 50 Graphic Novels

Browns Recommends

2023 Award Winners Children's Laureate 2022-2024 New and Noteworthy Official Book Awards School Book Awards Timeline of Events

Reading for Pleasure

Favourite Authors A-Z Graphic Novels & Manga Narrative Non-Fiction Read Around the World TikTok Made Me Read It TV and Film Adaptations

GCSE by Exam Board

AQA Edexcel IGCSE OCR WJEC / Eduqas View More...

Fiction by Genre

Historical Humour Romance Short Stories Thrillers View More...

Key Debates & Topics

Black Lives, Black History Conflicts & Terrorism Diversity Matters Making Sense of Our World Our Planet in Danger Refugees & Immigration

Non-Fiction by Subject

Biographies Geography History Hobbies Sport View More...

Personal Development

Bullying Awareness Careers Fantastic Females Managing Exam Stress Mental Health Read for Empathy 2024

Reading Support

Accelerated Reader Dual & Foreign Language Graded Readers (CEFR)English Mastery Reluctant & Dyslexic Readers Shakespeare

Classroom Essentials

Dictionaries Northern Ireland (CCEA)Scotland Resources Teacher Resources/CPD Wales Resources

Browns Bestsellers

Audio Books Bestselling New Fiction Bestselling New Non-Fiction Essential Poetry Top 30 Graphic Novels - KS3 Top 30 Graphic Novels - KS4

Browns Recommends

2023 Award Winners AR Kids Reading Report '23 Book Bundles New and Noteworthy Official Book Awards Timeline of Events

Reading for Pleasure

Feel Good Fiction Film and TV Adaptations Graphic Novels & Manga Myths Retold TikTok Made Me Read It View More...

A-Level by Exam Board

AQA Edexcel IAL OCR WJEC / Eduqas View More...

Fiction by Genre

Crime Fantasy Historical Romantic Fiction Sci-Fi View More...

A-Level: Wider Reading

Art Economics Music Philosophy Shakespeare View More...

Non-Fiction by Subject

Biographies Narrative Non-Fiction Popular Science Student Cookbooks True Crime UK Politics

Student Essentials

Careers Managing Exam Stress Money Matters Ready for Uni - Reading Lists Study Skills View More...

Key Debates & Topics

Black Lives, Black History Diversity Matters Fantastic Females Mental Health Our Planet in Danger Refugees & Immigration

Classroom Essentials

Graded Readers (CEFR)Northern Ireland (CCEA)Scotland Resources T Levels Teacher Resources/CPD Wales Resources

Browns Bestsellers

Best New Biographies Bestselling New Fiction Bestselling New Non-Fiction Essential Poetry Now Streaming Quick Reads

Browns Recommends

2023 Award Winners Academic Newsletter DVD Collections New and Noteworthy Official Book Awards Timeline of Events

Reading for Pleasure

Books by Authors of Colour Graphic Novels LGBTQ+ Fiction Now Streaming TikTok Made Me Read It View more...

Education Studies

Early Childhood Studies Early Years Teaching Education Studies Primary Teaching Secondary Teaching SEN Teaching

Student Essentials

Academic Writing & Research Careers Cooking on a Budget Mental Health Money Matters View More...

Health and Medicine

Biomedical Science Dentistry Medicine Midwifery Nursing (Adult)View More...

Key Debates & Topics

AI Conflicts 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

Biology Chemistry Engineering Geography Physics View More...

Business

Accounting Economics Entrepreneurship Management Marketing View More...

Browns Recommends

2023 Award Winners Academic Newsletter Bestselling eBooks New and Noteworthy Official Book Awards Timeline of Events

About VLeBooks

Further Education

Foreign Language titles Graphic Novels & Manga LGBTQ+Mental Health New Fiction View More...

Teacher Hub

CPD Early Years Teaching Primary Teaching Secondary Teaching SEN / SEND Wellbeing for Teachers

FE Curriculum

A Level by Subject Cambridge A-Level IB Diploma Northern Ireland (CCEA)Scotland: Highers/Adv Highers Vocational Training

Primary

Favourite Authors A-Z KS1 Fiction KS2 Fiction Mental Health Primary Topics View More...

Academic

Biographies Crime Fiction Myths Retold New Fiction Romance Fiction Wordsworth Classics

Secondary

Favourite Series Fiction by Genre KS3 Fiction KS4 Fiction Reluctant & Dyslexic Readers View More...

Academic Subjects

Accounting British Politics Dentistry Marketing Psychology View More...

Secondary Curriculum

Careers GCSE by Subject Graded Readers (CEFR)IGCSE Northern Ireland (CCEA)Scotland: National 4/5

Browns Recommends

2023 Award Winners Bestsellers Exclusive Collections New eBooks VLeBooks Promotions

Saved Searches

My Saved Searches

Saved Searches

An introduction to bisimulation and coinduction

Advanced topics in bisimulation and coinduction - 52

Mechanizing hypothesis formation: principles and case studies

Mechanizing hypothesis formation: principles and case studies

Concurrency theory: calculi and automata for modelling untimed and timed concurrent systems

Deontic Logic, Agency and Normative Systems: ?EON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 - 13 January 1996

Automated Theorem Proving: Theory and Practice

Introduction to Fuzzy Reliability - SECS363

Proofs and algorithms: introduction to logic and computability theory - 7592

Probability with R: an introduction with computer science applications

Probability With R: An Introduction With Computer Science Applications

Introduction to lattice algebra: with applications in AI, pattern recognition, image analysis, and biomimetic neural networks

Introduction to lattice algebra: with applications in AI, pattern recognition, image analysis, and biomimetic neural networks

Essentials of Discrete Mathematics

Dynamic Logic

Logical foundations of computer science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings - 9537

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings - 8172

Deontic Logic and Normative Systems: 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings - 8554

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - 8560

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - 8837

The calculus of computation: decision procedures with applications to verification

Automated technology for verification and analysis: 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007

Computer science logic: 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 2000 : proceedings - 1862

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings - 1869

Theorem proving in higher order logics: 14th international conference, TPHOLs 2001, Edinburgh, Scotland UK, September 3-6, 2001 : proceedings

Computational Logic - CL 2000: First International Conference London, UK, July 24-28, 2000 Proceedings - 1861

Computer science logic: 20th International Workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25-29, 2006 : proceedings - 4207

Theorem proving in higher order logics: 15th international conference, TPHOLs 2002, Hampton, VA, USA August 20-23, 2002 : proceedings - 2410.

Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings - 1683

Theorem proving in Higher Order Logics - 1690

Our Services

Policies

Help & Contact