Search results for ‘Cliff Jones’

Filter & Refine

    Cover image for Somniscope
    Paperback
    Add to list Added to list

    Somniscope

    Somniscope: a device used to facilitate the exploration and study of dreams.

    Dreampunk: a progressive genre of speculative fiction centered on dreams and dreamlike states of consciousness.

    Convergence: the point…

    $52.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Norvis
    Paperback
    Add to list Added to list

    Norvis

    Cliff Jones

    $47.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Cliff Jones: It's a Wonderful Life
    Hardback
    Add to list Added to list

    Cliff Jones: It’s a Wonderful Life

    Cliff Jones

    Cliff Jones was a key part of Tottenham’s famous and much-loved Double winning side of 1961. Tremendously quick, a great crosser, and a brilliant header of the ball, Cliff was…

    $56.99

    Available to order, ships in approx 4 weeksAvailable to order

    Paperback
    Add to list Added to list

    Mirrormaze: A Dreampunk Anthology

    We find ourselves in a very strange place.

    Technology is embedded so deeply in our lives that it no longer feels separate. It’s taken for granted, like breathing. Whatever can…

    $28.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Living in Lanzarote
    Paperback
    Add to list Added to list

    Living in Lanzarote

    Mike Cliffe-Jones

    Living in Lanzarote is the hilarious story of a family's move from suburban Cheshire to the idyllic holiday island of Lanzarote. It covers their decision to make the move, how…

    $26.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Dreck
    Paperback
    Add to list Added to list

    Dreck

    Cliff Jones, Jr

    "Dreck embodies the surrealistic spirit of dreampunk, a growing subgenre of speculative fiction that blends elements of science fiction, fantasy, and psychological horror. A tech-centric twist on the legend of…

    $17.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Understanding Programming Languages
    Hardback
    Add to list Added to list

    Understanding Programming Languages

    Cliff B. Jones

    The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism)…

    $194.99

    Available to order, ships in 7-14 daysAvailable to order

    Paperback
    Add to list Added to list

    Understanding Programming Languages

    Cliff B. Jones

    The book concludes with a discussion of the eight key challenges: delimiting a language (concrete representation), delimiting the abstract content of a language, recording semantics (deterministic languages), operational semantics (non-determinism)…

    $194.99

    Available to order, ships in approx 4 weeksAvailable to order

    Cover image for Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
    Paperback
    Add to list Added to list

    Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday

    This volume is published in honor of Professor Chaochen Zhou’s 80th birthday. The Festschrift contains 13 refereed papers by leading researchers who were among the participants of the celebratory conference…

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective
    Paperback
    Add to list Added to list

    Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

    Denis Besnard,Cristina Gacek,Cliff Jones

    System developers, stakeholders, decision makers, policymakers and academics will find this book a one-stop resource highlighting the core issues for all those involved in dependability in a complex computer-based environment.

    $276.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
    Paperback
    Add to list Added to list

    FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

    The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as…

    $276.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Theories of Programming: The Life and Works of Tony Hoare
    Hardback
    Add to list Added to list

    Theories of Programming: The Life and Works of Tony Hoare

    Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence…

    $156.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Theories of Programming: The Life and Works of Tony Hoare
    Paperback
    Add to list Added to list

    Theories of Programming: The Life and Works of Tony Hoare

    Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. This book presents the essence…

    $104.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings
    Paperback
    Add to list Added to list

    Theoretical Aspects of Computing - ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

    This book constitutes the refereed proceedings of the 4th International Colloquium on Theoretical Aspects of Computing, ICTAC 2007 held in Macau, China in September 2007.

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday
    Paperback
    Add to list Added to list

    Dependable and Historic Computing: Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday

    This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions.

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Rigorous Development of Complex Fault-Tolerant Systems
    Paperback
    Add to list Added to list

    Rigorous Development of Complex Fault-Tolerant Systems

    This book brings together 19 papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
    Paperback
    Add to list Added to list

    Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

    The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium…

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for FME '97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings
    Paperback
    Add to list Added to list

    FME ‘97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

    This book constitutes the refereed proceedings of FME ‘97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in…

    $276.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
    Paperback
    Add to list Added to list

    VDM ‘87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Standing on the Walls of Time: Ancient Art of Utah's Cliffs and Canyons
    Paperback
    Add to list Added to list

    Standing on the Walls of Time: Ancient Art of Utah’s Cliffs and Canyons

    Kevin T. Jones,Layne Miller

    Features previously unpublished photographs of Utah’s magnificent rock art by long-time rock art researcher Layne Miller and essays by former Utah state archaeologist Kevin Jones. Miller’s photographs include many rare…

    $49.99

    Available to order, ships in approx 2 weeksAvailable to order

    Cover image for 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992
    Paperback
    Add to list Added to list

    5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992

    Refinement is the term used to describe systematic and formal methods of specifying hard- and software and transforming the specifications into designs and implementations.

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Reflections on the Work of C.A.R. Hoare
    Hardback
    Add to list Added to list

    Reflections on the Work of C.A.R. Hoare

    Written in honor of Sir Tony Hoare’s 75th Birthday, this book provides a discussion of the influence of Hoare’s work on current research from an international selection of expert contributors…

    $407.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Reflections on the Work of C.A.R. Hoare
    Paperback
    Add to list Added to list

    Reflections on the Work of C.A.R. Hoare

    Written in honor of Sir Tony Hoare’s 75th Birthday, this book provides a discussion of the influence of Hoare’s work on current research from an international selection of expert contributors…

    $407.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for The Living History Anthology: Perspectives from ALHFAM
    Hardback
    Add to list Added to list

    The Living History Anthology: Perspectives from ALHFAM

    Produced in partnership with the Association for Living History, Farm and Agricultural Museums (AFLHAM), the volume presents some of the highlights of the association’s Bulletin and Proceedings publications.

    $283.99

    Available to order, ships in approx 2 weeksAvailable to order

    Cover image for The Living History Anthology: Perspectives from ALHFAM
    Paperback
    Add to list Added to list

    The Living History Anthology: Perspectives from ALHFAM

    Produced in partnership with the Association for Living History, Farm and Agricultural Museums (AFLHAM), the volume presents some of the highlights of the association’s Bulletin and Proceedings publications.

    $77.99

    Available to order, ships in approx 2 weeksAvailable to order

    Cover image for Methods, Models and Tools for Fault Tolerance
    Paperback
    Add to list Added to list

    Methods, Models and Tools for Fault Tolerance

    The complexity of modern software systems makes it difficult to ensure the dependability of software-intensive systems. This book is based on the workshop on Methods, Models and Tools for Fault…

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
    Paperback
    Add to list Added to list

    Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

    This book commemorates the work done by Tony Hoare and published under the title Communicating Sequential Processes in the 1978 August issue of the Communications of ACM. The British Computer…

    $138.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Object Orientation with Parallelism and Persistence
    Paperback
    Add to list Added to list

    Object Orientation with Parallelism and Persistence

    Burkhard Freitag,Cliff B. Jones,Christian Lengauer,Hans-Joerg Schek

    Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object Orientation with Parallelism and Persistence will be of interest to…

    $407.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Object Orientation with Parallelism and Persistence
    Hardback
    Add to list Added to list

    Object Orientation with Parallelism and Persistence

    Burkhard Freitag,Cliff B. Jones,Christian Lengauer,Hans-Joerg Schek

    Both object orientation and parallelism are modern programming paradigms which have gained much popularity in the last 10-15 years. Object Orientation with Parallelism and Persistence will be of interest to…

    $407.99

    Available to order, ships in 7-14 daysAvailable to order

    Cover image for Abrsm Perf Guide to Classical Guitar
    Book
    Add to list Added to list

    Abrsm Perf Guide to Classical Guitar

    Jane Glover,David Wyn Jones,Cliff Eisen,Duncan Druce,David Ward

    This stimulating guide will help students and their teachers to achieve stylish performances of music of the Baroque period. Individual chapters from leading experts focus on historical background, notation and…

    $53.99

    Available to order, ships in approx 2 weeksAvailable to order