Search Results -

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

Introduction to computation : Haskell, logic and automata

Verifying cyber-physical systems : a path to safe autonomy

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

Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings

Dynamic logic. new trends and applications : 4th International Workshop, DaLâi 2022, Haifa, Israel, July 31-August 1, 2022, revised selected papers

Logic and Its Applications : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Automated technology for verification and analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, proceedings

Logical Foundations of Computer Science : International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings

Automated Technology for Verification and Analysis : 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings

Logical Foundations of Computer Science : International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022, Proceedings

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

Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Dynamic logic. new trends and applications : 5th International Workshop, DaLâi 2023, Tbilisi, Georgia, September 15-16, 2023, revised selected papers

Logical Foundations of Computer Science : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings

Automated technology for verification and analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, proceedings

Probability with R : an introduction with computer science applications

Automated technology for verification and analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedingsPart II

Automated technology for verification and analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, proceedingsPart I

Logic and Its Applications : 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013, Proceedings

Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings

Automated Technology for Verification and Analysis : 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings

An introduction to bisimulation and coinduction

Advanced topics in bisimulation and coinduction - 52

Essentials of Discrete Mathematics

The Semantics and Proof Theory of the Logic of Bunched Implications

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

Norms, Logics and Information Systems : New Studies on Deontic Logic and Computer Science

The Decision Problem for Combined Modal Logics

Types for Proofs and Programs : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings

Our Services

Policies

Help & Contact