Jim Davies – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

25 produkter

Kategorier

25 produkter

ITIL Foundation All-in-One Exam Guide
AvJim Davies
Häftad, Engelska, 2016
295 kr
Skickas inom 3-6 vardagar
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 version of the ITIL Foundation certification exam. Written by itSMF UK 2013 Trainer of the Year and ITIL Champion Jim Davies, ITIL Foundation All-in-One Exam Guide features practical exercises, real-world examples, and more than 300 practice exam questions. Exam tips, reviews, and self-tests at the end of each chapter ensure that you are on track to pass the exam. In keeping with the premise of the All-in-One series, this guide serves both as an effective study tool and an on-the-job reference that will serve you well beyond the exam.
Covers all exam topics, including:
• ITIL fundamentals• The service lifecycle• Service strategy• Service design• Service transition• Service operation• Continual service improvement• ITSM in the real world
CD ICON
Electronic content includes:
• Complete practice exams• Videos from the author• PDF copy of the book
ITIL Foundation All-in-One Exam Guide
AvJim Davies
E-bok
Engelska, 2016
476 kr
Läs direkt efter köp
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), explaining the fundamentals of IT Service Management, the five stages of the service lifecycle, ITIL processes, functions within them, and their crucial interactions, all while clearing up common misapprehensions about ITIL and adding valuable insights and examples. The ITIL is the best practice framework adopted worldwide for managing IT services, and the ITIL Foundation Certification can be considered a pre-requisite for success for all involved in IT services, as well as a stepping stone to IT Service Management certifications in ITIL.
Exam Tips, accelerated reviews, and end-of-chapter practice exam questions ensure you’re on track to pass the Foundation exam. Filled with practical exercises and examples that reinforce learning, the book and electronic content include more than 300 practice exam questions and exclusive, real-world examples of how an understanding of ITIL can be used to address common service management challenges.
ITIL Licensed Product -- an official endorsement of the quality and accuracy of the book''s contentElectronic content includes practice exams in a customizable test engine, video training from the author on key concepts, worksheets, and a Quick Review GuideIn-depth case studies analyze projects end-to-end through ITIL''s framework, taken from the author''s 40 years of experience as an ITIL consultantJim Davies, ITSM UK’s 2013 Trainer of the Year and ITIL Champion provides his “10 Commandments” of IT Service Management
Del 6 - Distinguished Dissertations in Computer Science
Specification and Proof in Real Time CSP
AvJim Davies
Inbunden, Engelska, 1993
1 609 kr
Skickas inom 10-15 vardagar
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 mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.
Del 6 - Distinguished Dissertations in Computer Science
Specification and Proof in Real Time CSP
AvJim Davies
Häftad, Engelska, 2012
767 kr
Skickas inom 10-15 vardagar
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 mathematical techniques to specify the behaviour or safety critical systems. This thesis uses the theory of Communicating Sequential Processes (CSP) to show how a real-lime system may be specified. Included is a case study in which a local area network protocol is described at two levels of abstraction, and a general method 14 structuring CSP descriptions of layered protocols is given.
Riveted: The Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the Universe: The Science of Why Jokes Make U
AvJim Davies
Inbunden, Engelska, 2014
379 kr
Skickas inom 3-6 vardagar
Being the Person Your Dog Thinks You Are: The Science of a Better You
AvJim Davies
Inbunden, Engelska, 2021
318 kr
Skickas inom 3-6 vardagar
Ghosts and Other Chthonic Macabres
AvSara Scally,Jana Begovicm. fl.
E-bok
Engelska
38 kr
Läs direkt efter köp
Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
AvJim Davies,Wolfram Schultem. fl.
Häftad, Engelska, 2004
1 117 kr
Skickas inom 10-15 vardagar
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: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make their ideas as accessible as possible, and there is a clear emphasis upon work that promises to bring practical, tangible bene?t: reports of case studies should have a conceptual message, theory papers should have a clear link to application, and papers describing tools should have an account of results. ICFEM 2004 was the sixth conference in the series, and the ?rst to be held in North America. Previous conferences were held in Singapore, China, UK, A- tralia, and Japan. The Programme Committee received 110 papers and selected 30forpresentation.The?nalversionsofthosepapersareincludedhere,together with 2-page abstracts for the 5 accepted tutorials, and shorter abstracts for the 4 invited talks.
Formal Methods and Software Engineering
6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
AvMike Barnett,Wolfram Schultem. fl.
E-bok
PDF, Engelska, 2004
1 455 kr
Läs direkt efter köp
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: requirements, speci?cation, design, implementation, testing, and documentation. The ICFEM series of conferences aims to bring together those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend,andtohelpadvancethestateoftheart.Authorsarestronglyencouraged to make their ideas as accessible as possible, and there is a clear emphasis upon work that promises to bring practical, tangible bene?t: reports of case studies should have a conceptual message, theory papers should have a clear link to application, and papers describing tools should have an account of results. ICFEM 2004 was the sixth conference in the series, and the ?rst to be held in North America. Previous conferences were held in Singapore, China, UK, A- tralia, and Japan. The Programme Committee received 110 papers and selected 30forpresentation.The?nalversionsofthosepapersareincludedhere,together with 2-page abstracts for the 5 accepted tutorials, and shorter abstracts for the 4 invited talks.
FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
AvJim Davies,Jim Woodcookm. fl.
E-bok
PDF, Engelska, 2003
1 455 kr
Läs direkt efter köp
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, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.
FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
AvJim Davies,Jim Woodcookm. fl.
E-bok
PDF, Engelska, 2003
1 455 kr
Läs direkt efter köp
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, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.
FM'99 - Formal Methods
World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I
AvJeannette M. Wing,Jim Woodcookm. fl.
Häftad, Engelska, 1999
1 117 kr
Skickas inom 10-15 vardagar
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, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.
FM'99 - Formal Methods
World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 Proceedings, Volume II
AvJeannette M. Wing,Jim Woodcookm. fl.
Häftad, Engelska, 1999
1 117 kr
Skickas inom 10-15 vardagar
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, the First World Congress on Formal Methods in the Development of Computing Systems, is a result, and a measure, of this new-found maturity. It brings an impressive array of industrial and applications-oriented papers that show how formal methods have been used to tackle real problems. These proceedings are a record of the technical symposium ofFM’99:alo- side the papers describingapplicationsofformalmethods,youwill ndtechnical reports,papers,andabstracts detailing new advances in formaltechniques,from mathematical foundations to practical tools. The World Congress is the successor to the four Formal Methods Europe Symposia, which in turn succeeded the four VDM Europe Symposia. This s- cession re?ects an increasing openness within the international community of researchers and practitioners: papers were submitted covering a wide variety of formal methods and application areas. The programmecommittee re?ects the Congress’s international nature, with a membership of 84 leading researchersfrom 38 di erent countries.The comm- tee was divided into 19 tracks, each with its own chair to oversee the reviewing process. Our collective task was a di cult one: there were 259 high-quality s- missions from 35 di erent countries.
Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
AvJim Davies,Jeremy Gibbons
Häftad, Engelska, 2007
1 117 kr
Skickas inom 10-15 vardagar
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, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.
Integrated Formal Methods
6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings
AvJeremy Gibbons,Jim Davies
E-bok
PDF, Engelska, 2007
1 455 kr
Läs direkt efter köp
Formal Methods: Foundations and Applications
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
AvJim Davies,Leila Silvam. fl.
Häftad, Engelska, 2011
562 kr
Skickas inom 10-15 vardagar
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 of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
Formal Methods: Foundations and Applications
13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
AvAdenilso Simao,Leila Silvam. fl.
E-bok
PDF, Engelska, 2011
732 kr
Läs direkt efter köp
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 of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
Engineering Agile Big-Data Systems
AvKevin Feeney,Jim Daviesm. fl.
Häftad, Engelska, 2024
586 kr
Skickas inom 10-15 vardagar
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, the value of the data can be such that exhaustive testing is necessary before any new feature can be added to the existing design. In most cases, the precise details of requirements, policies and data will change during the lifetime of the system, forcing a choice between expensive modification and continued operation with an inefficient design.Engineering Agile Big-Data Systems outlines an approach to dealing with these problems in software and data engineering, describing a methodology for aligning these processes throughout product lifecycles. It discusses tools which can be used to achieve these goals, and, in a number of case studies, shows how the tools and methodology have been used to improve a variety of academic and business systems.
Engineering Agile Big-Data Systems
AvKevin Feeney,Jim Daviesm. fl.
Inbunden, Engelska, 2018
1 338 kr
Skickas inom 10-15 vardagar
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, the value of the data can be such that exhaustive testing is necessary before any new feature can be added to the existing design. In most cases, the precise details of requirements, policies and data will change during the lifetime of the system, forcing a choice between expensive modification and continued operation with an inefficient design.Engineering Agile Big-Data Systems outlines an approach to dealing with these problems in software and data engineering, describing a methodology for aligning these processes throughout product lifecycles. It discusses tools which can be used to achieve these goals, and, in a number of case studies, shows how the tools and methodology have been used to improve a variety of academic and business systems.
Developments in Services of General Interest
AvErika Szyszczak,Jim Daviesm. fl.
Inbunden, Engelska, 2011
998 kr
Skickas inom 10-15 vardagar
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 service obligations and the way they are regulated in the EU in primary and secondary law, the range of soft law communications adopted by the Commission to create a distinctive EU concept of SGIs, the residual role of hard law in the Treaty on the Functioning of the European Union (TFEU), the special problems created by Social Services of General Economic Interest and the interaction of procurement and state aid law with SGIs. A new perspective is offered in this book: some of the issues faced by the EU in accommodating SGIs into a regulatory framework are found also in the policy of the WTO and in least developed countries (LDCs).
Developments in Services of General Interest
AvTarjei Bekkedal,Mads Andenaesm. fl.
E-bok
PDF, Engelska, 2011
1 048 kr
Läs direkt efter köp
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 service obligations and the way they are regulated in the EU in primary and secondary law, the range of soft law communications adopted by the Commission to create a distinctive EU concept of SGIs, the residual role of hard law in the Treaty on the Functioning of the European Union (TFEU), the special problems created by Social Services of General Economic Interest and the interaction of procurement and state aid law with SGIs. A new perspective is offered in this book: some of the issues faced by the EU in accommodating SGIs into a regulatory framework are found also in the policy of the WTO and in least developed countries (LDCs).
Developments in Services of General Interest
AvErika Szyszczak,Jim Daviesm. fl.
Häftad, Engelska, 2013
799 kr
Skickas inom 10-15 vardagar
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 service obligations and the way they are regulated in the EU in primary and secondary law, the range of soft law communications adopted by the Commission to create a distinctive EU concept of SGIs, the residual role of hard law in the Treaty on the Functioning of the European Union (TFEU), the special problems created by Social Services of General Economic Interest and the interaction of procurement and state aid law with SGIs. A new perspective is offered in this book: some of the issues faced by the EU in accommodating SGIs into a regulatory framework are found also in the policy of the WTO and in least developed countries (LDCs).
Imagination
AvJim Davies
Häftad, Engelska, 2025
388 kr
Skickas inom 3-6 vardagar
Imagination
The Science of Your Mind's Greatest Power
AvJim Davies
Inbunden, Engelska, 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 daydreamers, but in reality, imagination is an integral part of almost every action and decision that we make. Simply put, imagination is a person’s ability to create scenarios in his or her head: this can include everything from planning a grocery list, to honing a golf swing, and even to having religious hallucinations. And while imagination has positive connotations, it can also lead to more pernicious outcomes including decreased productivity and cooperation, and much worse, the continuous reliving of past trauma. The human brain is remarkable in its ability to imagine—to create worlds and situations outside of its reality. We can imagine complex possible futures, fantasy worlds, and jars of peanut butter. We can use our imaginations to make us relaxed or anxious, and the most impressive feat of human imagination may be our ability to use it in creative endeavors. Sitting in a chair, with our eyes closed, we can imagine what the world might be, and construct elaborate plans. With such power, we have an obligation to use it for good?to make things better for ourselves, and for the world. People have been fascinated with the machination of the human brain and its ability to imagine for centuries, but until now, there have been no popular science books that are dedicated to imagination. There are books on creativity, dreams, memory, and the mind in general, but how exactly do we create those scenes in our head? With chapters ranging from hallucination and imaginary friends to how imagination can make you happier and more productive, Jim Davies' Imagination will help us explore the full potential of our own mind.
Illustrating Armageddon
Fortunino Matania and the First World War
AvJim Davies
Inbunden, Engelska, 2019
350 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. Matania was blessed with a photographic memory, was able to work at great speed, producing illustrations that were unnervingly photographic in their realism.Matania’s pictures were superbly accurate and authentic. During the war, he often visited the Western Front, often putting himself in danger to gather material for his work. When not able to do this, he would interview eyewitnesses and take along toy soldiers when he spoke to recovering men in hospital to ensure battle positions were recorded faithfully. Back at his studio, he had an enormous collection of uniforms, weapons and other props to ensure every last detail of his finished picture was correct.This is the first time the entire First World War collection of his works has been published and marks not only a prolific career and exceptional body of work in the art world, it captures much that was written about, but could never have been photographed a century ago yet was etched in the minds of a generation.

Företag, bibliotek eller offentlig verksamhet?

Jim Davies – författare

ITIL Foundation All-in-One Exam Guide

ITIL Foundation All-in-One Exam Guide

Specification and Proof in Real Time CSP

Specification and Proof in Real Time CSP

Riveted: The Science of Why Jokes Make Us Laugh, Movies Make Us Cry, and Religion Makes Us Feel One with the Universe: The Science of Why Jokes Make U

Being the Person Your Dog Thinks You Are: The Science of a Better You

Ghosts and Other Chthonic Macabres

Formal Methods and Software Engineering

Formal Methods and Software Engineering

FM'99 - Formal Methods

FM'99 - Formal Methods

FM'99 - Formal Methods

FM'99 - Formal Methods

Integrated Formal Methods

Integrated Formal Methods

Formal Methods: Foundations and Applications

Formal Methods: Foundations and Applications

Engineering Agile Big-Data Systems

Engineering Agile Big-Data Systems

Developments in Services of General Interest

Developments in Services of General Interest

Developments in Services of General Interest

Imagination

Imagination

Illustrating Armageddon

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration