Search Results - Olveczky, Peter Csaba

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

Designing reliable distributed systems : a formal methods approach based on executable modeling in maude

Formal modeling and analysis of distributed systems: an introduction based on executable modeling in Maude

Rewriting Logic and Its Applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers - 6381

Rewriting Logic and Its Applications : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers - 596

Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers - 419

Theoretical Aspects of Computing - ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings - 12819

Formal aspects of component software: 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised selected papers - 9539

Formal aspects of component software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings - 11222

Software engineering and formal methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, proceedings - 11724

Formal techniques for safety-critical systems: third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised selected papers - 476

Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers - 1008

Formal aspects of component software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers - 7253

Formal techniques for safety-critical systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised selected papers - 694

Logic, rewriting, and concurrency: essays dedicated to Jose Meseguer on the occasion of his 65th birthday - 9200

Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Formal Techniques for Safety-Critical Systems : Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Formal Aspects of Component Software : 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015, Revised Selected Papers

Formal Techniques for Safety-Critical Systems : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers

Formal Aspects of Component Software : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Theoretical Aspects of Computing - ICTAC 2021 : 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings

Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings

Logic, Rewriting, and Concurrency : Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday

Our Services

Policies

Help & Contact