Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Showing 72 - 96 (of 103)
Refine
Data Science : Tips and Tricks to Learn Data Science Theories Effectively - Book

Data Science : Tips and Tricks to Learn Data Science Theories Effectively

William Vance

Out of stock

Format: Book (Paperback / softback)

£19.99

£17.55

Out of stock

Book (Paperback / softback)

Add to Basket
Safety of Software-based Systems - Book

Safety of Software-based Systems

Jean-Louis Boulanger

Out of stock

Format: Book (Hardback)

£117.00

Out of stock

Book (Hardback)

Add to Basket
Testing Software and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings - Book

Testing Software and Systems : 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings

David Clark

Out of stock

Format: Book (Paperback / softback)

£79.99

£70.35

Out of stock

Book (Paperback / softback)

Add to Basket
Software Testing Automation : Testability Evaluation, Refactoring, Test Data Generation and Fault Localization - Book

Software Testing Automation : Testability Evaluation, Refactoring, Test Data Generation and Fault Localization

Saeed Parsa

Out of stock

Format: Book (Hardback)

£149.99

£141.55

Out of stock

Book (Hardback)

Add to Basket
Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings - Book

Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

Cezara Dragoi

Available to Order - This title is available to order, with delivery expected within 2 weeks

Format: Book (Paperback / softback)

£64.99

£57.65

Available to Order - This title is available to order, with delivery expected within 2 weeks

Book (Paperback / softback)

Add to Basket
Dumps, Bugs and Debugging Forensics : The Adventures of Dr. Debugalov - Book

Dumps, Bugs and Debugging Forensics : The Adventures of Dr. Debugalov

Narasimha Vedala

Out of stock

Format: Book (Paperback / softback)

£12.00

Out of stock

Book (Paperback / softback)

Add to Basket
Software Trace and Memory Dump Analysis : Patterns, Tools, Processes and Best Practices - Book

Software Trace and Memory Dump Analysis : Patterns, Tools, Processes and Best Practices

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£12.00

£10.89

Item not Available

Book (Paperback / softback)

Item not Available
Cloud Memory Dump Analysis - Book

Cloud Memory Dump Analysis

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£15.00

£12.59

Item not Available

Book (Paperback / softback)

Item not Available
Accelerated Windows Memory Dump Analysis : Training Course Transcript and WinDbg Practice Exercises with Notes - Book

Accelerated Windows Memory Dump Analysis : Training Course Transcript and WinDbg Practice Exercises with Notes

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£100.00

£76.29

Item not Available

Book (Paperback / softback)

Item not Available
Pattern-driven Software Diagnostics : An Introduction - Book

Pattern-driven Software Diagnostics : An Introduction

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£12.00

£10.89

Item not Available

Book (Paperback / softback)

Item not Available
Systemic Software Diagnostics : An Introduction to Systems Thinking in Memory Dump and Software Trace Analysis - Book

Systemic Software Diagnostics : An Introduction to Systems Thinking in Memory Dump and Software Trace Analysis

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£12.00

£10.89

Item not Available

Book (Paperback / softback)

Item not Available
Accelerated Mac OS X Core Dump Analysis : Training Course Transcript and GDB Practice Exercises - Book

Accelerated Mac OS X Core Dump Analysis : Training Course Transcript and GDB Practice Exercises

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£80.00

£57.29

Item not Available

Book (Paperback / softback)

Item not Available
Accelerated Windows Memory Dump Analysis : Training Course Transcript and Windbg Practice Exercises with Notes - Book

Accelerated Windows Memory Dump Analysis : Training Course Transcript and Windbg Practice Exercises with Notes

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£230.00

£171.55

Item not Available

Book (Paperback / softback)

Item not Available
Pattern-Based Software Diagnostics : An Introduction - Book

Pattern-Based Software Diagnostics : An Introduction

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£12.00

£10.89

Item not Available

Book (Paperback / softback)

Item not Available
Accelerated .NET Memory Dump Analysis : Training Course Transcript and WinDbg Practice Exercicses - Book

Accelerated .NET Memory Dump Analysis : Training Course Transcript and WinDbg Practice Exercicses

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£75.00

£53.89

Item not Available

Book (Paperback / softback)

Item not Available
Accelerated Mac OS X Core Dump Analysis : Training Course Transcript with GDB and LLDB Practice Exercises - Book

Accelerated Mac OS X Core Dump Analysis : Training Course Transcript with GDB and LLDB Practice Exercises

Dmitry Vostokov

Out of stock

Format: Book (Paperback / softback)

£125.00

Out of stock

Book (Paperback / softback)

Add to Basket
Advanced Windows RT Memory Dump Analysis, ARM Edition : Training Course Transcript and WinDbg Practice Exercises - Book

Advanced Windows RT Memory Dump Analysis, ARM Edition : Training Course Transcript and WinDbg Practice Exercises

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£75.00

£53.89

Item not Available

Book (Paperback / softback)

Item not Available
Accelerated Linux Core Dump Analysis : Training Course Transcript and Gdb Practice Exercises - Book

Accelerated Linux Core Dump Analysis : Training Course Transcript and Gdb Practice Exercises

Dmitry Vostokov

Item not Available

Format: Book (Paperback / softback)

£80.00

£57.29

Item not Available

Book (Paperback / softback)

Item not Available
Handbook of Model Checking - Book

Handbook of Model Checking

Edmund M., Jr. Clarke

Item not Available

Format: Book (Paperback / softback)

£99.99

£81.75

Item not Available

Book (Paperback / softback)

Item not Available
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings - Book

Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

Barbara Jobstmann

Item not Available

Format: Book (Paperback / softback)

£64.99

£53.95

Item not Available

Book (Paperback / softback)

Item not Available
Model-Driven Dependability Assessment of Software Systems - Book

Model-Driven Dependability Assessment of Software Systems

Simona Bernardi

Out of stock

Format: Book (Paperback / softback)

£89.99

Out of stock

Book (Paperback / softback)

Add to Basket
Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings - Book

Model Checking Software : 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009, Proceedings

Corina S Pasareanu

Item not Available

Format: Book (Paperback / softback)

£62.99

£52.35

Item not Available

Book (Paperback / softback)

Item not Available
Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - Book

Computer Aided Verification : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Madhusudan Parthasarathy

Item not Available

Format: Book (Paperback / softback)

£74.99

£61.89

Item not Available

Book (Paperback / softback)

Item not Available
Embedded Debugging with the Black Magic Probe - Book

Embedded Debugging with the Black Magic Probe

Thiadmer Riemersma

Out of stock

Format: Book (Paperback / softback)

£14.73

Out of stock

Book (Paperback / softback)

Add to Basket
Showing 72 - 96 (of 103)
Refine