jonathan bowen

Grid   List

  1. Formal Methods: State of the Art and New Directions
    Formal Methods: State of the Art and New Directions
    Paul Boca
    Springer London
    Ebook
    Sofort lieferbar
    The last decade has witnessed a modest but sustained increase in researching and applying formal methods. A number of well cited success stories are now available and provide strong evidence that f...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Electronic Visualisation in Arts and Culture
    Electronic Visualisation in Arts and Culture
    Jonathan P. Bowen
    Springer London
    Ebook
    Sofort lieferbar
    Presenting the latest technological developments in arts and culture, this volume demonstrates the advantages of a union between art and science. Electronic Visualisation in Arts and Culture is pre...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. The Turing Guide
    The Turing Guide
    Jack Copeland
    OUP eBook
    Ebook
    Sofort lieferbar
    Alan Turing has long proved a subject of fascination, but following the centenary of his birth in 2012, the code-breaker, computer pioneer, mathematician (and much more) has become even more celebr...
    22,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Provably Correct Systems
    Provably Correct Systems
    Mike Hinchey
    Springer International Publishing
    Ebook
    Sofort lieferbar
    As computers increasingly control the systems and services we depend upon within our daily lives like transport, communications, and the media, ensuring these systems function correctly is of utmos...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Getting Started with Talend Open Studio for Data Integration
    Getting Started with Talend Open Studio for Data Integration
    Jonathan Bowen
    Packt Publishing
    Ebook
    Sofort lieferbar
    Talend Open Studio for Data Integration (TOS) is an open source graphical development environment for creating custom integrations between systems. It comes with over 600 pre-built connectors that ...
    25,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. The Turing Guide
    The Turing Guide
    Jack Copeland
    OUP eBook
    Ebook
    Sofort lieferbar
    Alan Turing has long proved a subject of fascination, but following the centenary of his birth in 2012, the code-breaker, computer pioneer, mathematician (and much more) has become even more celebr...
    22,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Museums and Digital Culture
    Museums and Digital Culture
    Tula Giannini
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book explores how digital culture is transforming museums in the 21st century. Offering a corpus of new evidence for readers to explore, the authors trace the digital evolution of the museum a...
    171,19 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Engineering Trustworthy Software Systems
    Engineering Trustworthy Software Systems
    Jonathan P. Bowen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This volume contains lectures on leading-edge research in methods and tools for use in computer system engineering; at the 4th International School on Engineering Trustworthy Software Systems, SETS...
    60,98 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Abstract State Machines, B and Z
    Abstract State Machines, B and Z
    Egon Börger
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneou...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Formal Methods and Testing
    Formal Methods and Testing
    Robert M. Hierons
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigate...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Unifying Theories of Programming
    Unifying Theories of Programming
    Jonathan P. Bowen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in Reykjavik, Iceland, in June 2016, in conjunction with the
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Engineering Trustworthy Software Systems
    Engineering Trustworthy Software Systems
    Jonathan P. Bowen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original co...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  6. 6
  7. 7
<%--for search--%>