Search Results - LNCS sublibrary: SL 1, Theoretical computer sci...

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

Logic-based program synthesis and transformation: 22nd international symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, revised selected papers : 7844

Design and analysis of algorithms: First Mediterranean Conference on Algorithms, MedAlg 2012, Kibbutz Ein Gedi, Israel, December 3-5 2012 : proceedings : 7659

Algorithms and complexity: 8th international conference, CIAC 2013, Barcelona, Spain, May 22-24, 2013, proceedings : 7878

Hybrid metaheuristics: 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013, proceedings : 7919

Algorithms and computation: 23rd International Symposium, ISAAC 2012, Taipei, Taiwan December 19-21 2012 : proceedings : 7676

Swarm, evolutionary, and memetic computing: third international conference, SEMCCO 2012, Bhubaneswar, India December 20-22 2012 : proceedings : 7677

Combinatorial pattern matching: 24th annual symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013, proceedings : 7922

Network and parallel computing: 9th IFIP international conference, NPC 2012, Gwangju, Korea September 6-8, 2012 : proceedings : 7513

Verification, model checking, and abstract interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 : proceedings : 7737

Facing the multicore-challenge III: aspects of new paradigms and technologies in parallel computing : 7686

Integrated circuit and system design.: power and timing modeling, optimization and simulation : 22nd international workshop, PATMOS 2012, Newcastle Upon Tyne, UK September 4-6, 2012 : revised selected papers : 7606

Descriptional complexity of formal systems: 15th international workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013, proceedings : 8031

The language of mathematics: a linguistic and philosophical investigation : 7805

Logic, language, information, and computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings : 8071

Fundamentals of computation theory: 19th international symposium, FCT 2013, Liverpool, UK, August 19-21, 2013, proceedings : 8070

Algebra and coalgebra in computer science: 5th international conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013, proceedings : 8089

Algebraic informatics: 5th internatonal conference, CAI 2013 Porquerolles, France, September 3-6 2013, proceedings : 8080

Trustworthy global computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, revised selected papers : 8191

Verification, model checking and abstract interpretation: 12th international conference, VMCAI 2011, Austin, TX, USA January 23-25, 2011 : proceedings : 6538

Approximation and online algorithms: 8th international workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010 : revised papers : 6534

Trends in functional programming: 14th International symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, revised selected papers : 8322

Developments in language theory: 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016, Proceedings : 9840

Logical aspects of computational linguistics: celebrating 20 years of LACL (1996-2016) : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings : 10054

Logic, language, and computation: 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised selected papers : 10148

Theory and practice of algorithms in (computer) systems: first international ICST conference, TAPAS 2011, Rome, Italy April 18-20, 2011 : proceedings : 6595

Tools and Algorithms for the Construction and Analysis of Systems: 17th international conference, TACAS 2011, held as part of the joint European Conferences on Theory and Practice of Software ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011 proceedings : 6605

Evolutionary computation in combinatorial optimization: 11th European conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011 : proceedings : 6622

Relational and algebraic methods in computer science: 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011 : proceedings : 6663

Frontiers in algorithmics and algorithmic aspects in information and management: joint international conference, FAW-AAIM 2011, Jinhua, China May 28-31, 2011 : proceedings : 6681

Language and automata theory and applications: 5th international conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 : proceedings : 6638

Our Services

Policies

Help & Contact