Compra 10 libros por 10 € aquí!
Bookbot

Jim Davies

    Jim Davies es profesor en el Instituto de Ciencia Cognitiva de la Universidad de Carleton y dirige el Laboratorio de Ciencia de la Imaginación. Su investigación profundiza en los procesos de visualización tanto en humanos como en máquinas, centrándose en la inteligencia artificial, la analogía, la resolución de problemas y la psicología del arte, la religión y la creatividad. El trabajo de Davies ilumina cómo los individuos emplean el pensamiento visual para abordar desafíos y construir escenarios y mundos imaginados. Más allá de sus actividades académicas, también es un poeta reconocido, un dramaturgo producido internacionalmente y un hábil pintor, calígrafo y bailarín de swing.

    Specification and Proof in Real Time CSP
    The Book of Guinness Advertising
    Millennial Perspectives in Computer Science
    • Millennial Reflections in Computer Science is a comprehensive overview of cutting-edge issues within computing science written by some of the most pre-eminent scientists available today.To mark the retirement of Sir Tony Hoare from Oxford University, some of the world's leading computer scientists gathered together for a three-day symposium. Organised by the University of Oxford, and sponsored by Microsoft Research, the symposium resulted in this remarkable collection of talks, papers, and essays.Some describe original research, others offer personal perspectiveson the field. Together, they comprise a unique insight into the past, present, and future of computer science.

      Millennial Perspectives in Computer Science
    • This guide to advertising from the 1920s to the present day includes special features on cartoons, World War II advertising, Guinness advertising campaigns, including the toucan and Pure Genius, and the Festival of Britain.

      The Book of Guinness Advertising
    • Specification and Proof in Real Time CSP

      • 200 páginas
      • 7 horas de lectura

      Focusing on the specification and verification of real-time systems, this book delves into the application of Communicating Sequential Processes (CSP). It presents research findings that explore how CSP can be effectively utilized to ensure the reliability and correctness of systems that operate within strict timing constraints, making it a valuable resource for researchers and practitioners in the field of computer science and systems engineering.

      Specification and Proof in Real Time CSP