Jim Davies – författare
Visar alla böcker från författaren Jim Davies. Handla med fri frakt och snabb leverans.
25 produkter
ITIL Foundation All-in-One Exam Guide
Av Jim Davies
Häftad, 2016
304 kr
Lägg i varukorg
Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product. ITIL® Foundation All-in-One Exam Guide This comprehensive self-study guide offers 100% coverage of the latest …
ITIL Foundation All-in-One Exam Guide
Av Jim Davies
E-bok, 2016
491 kr
Lägg i varukorg
Written by an Information Technology Infrastructure Library (ITIL) consulting and training expert, this all-new guide helps you pass the ITIL v3 Foundation certification exam and serves as an on-the-job reference. ITIL Foundation All-in-One Exam Guide takes you through ITIL Foundation v3 (2011), …
Specification and Proof in Real Time CSP
Av Jim Davies
Inbunden, 1993
1962 kr
Lägg i varukorg
This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ …
Specification and Proof in Real Time CSP
Av Jim Davies
Häftad, 2012
918 kr
Lägg i varukorg
This book was first published in 1993. Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. Where such systems control aircraft for example, system failure could have disastrous consequences. It is important therefore that we are able to employ …
Being the Person Your Dog Thinks You Are: The Science of a Better You
Av Jim Davies
Inbunden, 2021
318 kr
Lägg i varukorg
Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Av Jim Davies, Wolfram Schulte m. fl.
Häftad, 2004
1128 kr
Lägg i varukorg
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: …
Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
Av Mike Barnett, Wolfram Schulte m. fl.
E-bok, 2004
1502 kr
Lägg i varukorg
Formal engineering methods are changing the way that software systems are - veloped.Withlanguageandtoolsupport,theyarebeingusedforautomaticcode generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: …
FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
Av Jim Davies, Jim Woodcook m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Av Jim Davies, Jim Woodcook m. fl.
E-bok, 2003
1502 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
Av Jeannette M. Wing, Jim Woodcook m. fl.
Häftad, 1999
1128 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
Av Jeannette M. Wing, Jim Woodcook m. fl.
Häftad, 1999
1128 kr
Lägg i varukorg
Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place. …
Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
Häftad, 2007
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, …
Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
E-bok, 2007
1470 kr
Lägg i varukorg
Formal Methods: Foundations and Applications
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Av Jim Davies, Leila Silva m. fl.
Häftad, 2011
569 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range …
Formal Methods: Foundations and Applications
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Av Adenilso Simao, Leila Silva m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range …
Engineering Agile Big-Data Systems
Av Kevin Feeney, Jim Davies m. fl.
Häftad, 2024
609 kr
Lägg i varukorg
To be effective, data-intensive systems require extensive ongoing customisation to reflect changing user requirements, organisational policies, and the structure and interpretation of the data they hold. Manual customisation is expensive, time-consuming, and error-prone. In large complex systems, …
Engineering Agile Big-Data Systems
Av Kevin Feeney, Jim Davies m. fl.
Inbunden, 2018
1394 kr
Lägg i varukorg
To be effective, data-intensive systems require extensive ongoing customisation to reflect changing user requirements, organisational policies, and the structure and interpretation of the data they hold. Manual customisation is expensive, time-consuming, and error-prone. In large complex systems, …
Developments in Services of General Interest
Av Erika Szyszczak, Jim Davies m. fl.
Inbunden, 2011
1010 kr
Lägg i varukorg
This is the third book in the series Legal Issues of Services of General Interest. The book focuses upon a set of research questions on the recent developments in the emergence of services of general interest (SGIs) as a distinct EU concept. This includes, inter alia, the emergence of universal …
Developments in Services of General Interest
Av Tarjei Bekkedal, Mads Andenaes m. fl.
E-bok, 2011
1080 kr
Lägg i varukorg
This is the third book in the series Legal Issues of Services of General Interest. The book focuses upon a set of research questions on the recent developments in the emergence of services of general interest (SGIs) as a distinct EU concept. This includes, inter alia, the emergence of universal …
Developments in Services of General Interest
Av Erika Szyszczak, Jim Davies m. fl.
Häftad, 2013
809 kr
Lägg i varukorg
This is the third book in the series Legal Issues of Services of General Interest. The book focuses upon a set of research questions on the recent developments in the emergence of services of general interest (SGIs) as a distinct EU concept. This includes, inter alia, the emergence of universal …
Imagination
The Science of Your Mind's Greatest Power
Av Jim Davies
Inbunden, 2019
293 kr
Tillfälligt slut
The first-ever book on the science of imagination, which sheds light on both the complex inner-workings of our mind and the ways in which we can channel imagination for a better life. We don’t think of imagination the way that we should. The word is often only associated with children, artists and …
Illustrating Armageddon
Fortunino Matania and the First World War
Av Jim Davies
Inbunden, 2019
361 kr
Tillfälligt slut
Fortunino Matania is the forgotten genius of illustration. He is perhaps best known in his role providing Great War illustrations such as ‘Goodbye Old Man’ for The Sphere. Art ran in Matania's blood - his father Eduardo was a respected artist, and his cousin Ugo also contributed to The Sphere. …
