Pettersson paul (23 Ergebnisse)

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Zustand: Brand New. 191 pages. 9.25x6.10x0.41 inches. In Stock.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9781407314631.

paperback. Zustand: Good.

Zustand: New. In English.

Zustand: New. In English.

Zustand: Wie Neu. Zustandsbeschreibung: leichte Lagerspuren, minimal bestoßen/minor shelfwear, minimally bumped. Have you thought of how it feels to be an AI brain in the world of humans? This book allows such a brain to tell us how it takes on its mission of helping humans to develop a more efficient, sustainable, diverse and inclusive society. XIII,178 Seiten, broschiert (Springer-Verlag 2023). Statt EUR 29,95. Gewicht: 302 g - Softcover/Taschenbuch.…

Zustand: New. In English.

Soft cover. Zustand: New. 80 pages ; illustrations (some colour), maps ; 30 cm. Prehistoric connections and interactions across the Baltic Sea are discussed through pottery and ceramic materials in this volume. Included are nine articles by thirteen authors from the countries around and connected to the Baltic Sea. The articlescover a timescale ranging from the Neolithic to the late Iron Age and subjects including craft traditions, metallurgical production patterns, Neolithisation processes, grave traditions and cultural spheres. Methodological perspectives include studies of morphology, material, decorations and distribution patterns as well as experimental and laboratory analysis. The studied ceramic objects include miniature pots, pitchers, crucibles, tuyères, drinking vessels and tableware from the region around the Baltic Sea.…

Zustand: New. In English.

Zustand: New. In English.

paperback. Zustand: Very Good. Cover and edges may have some wear.

Zustand: New. Learn all about the foundations of Artificial Intelligence (AI) in an easy and playful, yet scientifically correct, wayWritten as a first-person narrative, from the perspective of an AI, having the AI brain tell the storyDiscover how AI can.

Paperback. Zustand: Brand New. 160 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems.Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala University. He has not only pushed the boundaries of theoretical research but also pioneered practical implementations in software tools that have had a profound impact on both academia and industry. He codeveloped the UPPAAL tool, the foremost system for verifying timed automata, now widely used in both academia and industry. Over the years he expanded his research to include scheduling theories, and he developed the TIMES and TIMES-Pro tools, which enhanced the analysis and implementation of real-time systems. His innovative work has significantly influenced the design and verification of complex, multicore real-time systems. Among many awards, honours, and responsibilities, Wang received a grant from the Knut and Alice Wallenberg Foundation, an ERC Advanced Grant from the European Research Council in 2019, Uppsala University's Rudbeck Medal, the IEEE TCRTS Award for technical achievement and leadership in real-time computing, and the CAV Award; he is a Fellow of the ACM and the IEEE, and a member of the Royal Society of Sciences in Uppsala and the Academia Europaea; and he has chaired major software engineering and embedded system conferences and served on ACM SIGBED and IEEE TCRTS executive committees.His guidance and mentorship have shaped the careers of many researchers and professionals in the field, and the contributions in this volume celebrate his enduring impact.…

Zustand: New. pp. xiii + 357 Illus.

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Have you thought of how it feels to be an AI brain in the world of humans? This book allows such a brain to tell us how it takes on its mission of helping humans to develop a more efficient, sustainable, diverse and inclusive society.This book explains the principles and applications of artificial intelligence for a broad audience. Artificial intelligence, as part of computer science, is often inspired by human intelligence. At the same time, there is still reluctance in the applications and usability of artificial intelligence among citizens. Industries are deploying AI in their products and processes but the level of maturity is varying. The book is written as a first person narrative, from an AI perspective, having the AI brain tell the story.…

Taschenbuch. Zustand: Neu. Real Time and Such | Essays Dedicated to Wang Yi to Celebrate His Scientific Career | Susanne Graf (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2024 | Springer | EAN 9783031737503 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Talk.- Modular Performance Analysis of Distributed Embedded Systems.- Logic and Specification.- Real Time Temporal Logic: Past, Present, Future.- Translating Timed I/O Automata Specifications for Theorem Proving in PVS.- Specification and Refinement of Soft Real-Time Requirements Using Sequence Diagrams.- Times Games and Synthesis.- On Optimal Timed Strategies.- Average Reward Timed Games.- Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.- Invited Talk.- Verification of Parameterized Timed Systems.- Model Checking.- Model Checking the Time to Reach Agreement.- Diagonal Constraints in Timed Automata: Forward Analysis of Timed Systems.- A New Verification Procedure for Partially Clairvoyant Scheduling.- Invited Talk.- Timing Analysis and Simulation Tools for Real-Time Control.- Hybrid Systems.- Automatic Rectangular Refinement of Affine Hybrid Systems.- Reachability Problems on Extended O-Minimal Hybrid Automata.- Counterexamples for Timed Probabilistic Reachability.- Petri Nets.- Time Supervision of Concurrent Systems Using Symbolic Unfoldings of Time Petri Nets.- Comparison of the Expressiveness of Timed Automata and Time Petri Nets.- Semantics.- Quantifying Similarities Between Timed Systems.- Performance of Pipelined Asynchronous Systems.- Is Timed Branching Bisimilarity an Equivalence Indeed .- Semantics and Modelling.- Implementation of Timed Automata: An Issue of Semantics or Modeling .- Timed Abstract Non-interference.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book brings together experts from leading global institutions with diverse backgrounds and experiences for clinical perspectives on Infectious Endocarditis (IE) in all stages. In the past, this disease claimed lives within as little as 2-3 months; advanced diagnostics, pharmacological treatments, and team-based care have significantly improved patient outcomes, yet there are very few resources available for physicians who need to work together to make this possible. This book bridges this gap, exploring medical and surgical treatments in a wider portion of the medical community. The clinical presentation and management of patients with IE is the starting point for significant change in how physicians approach this problem.Infectious Endocarditis is an excellent multidisciplinary resource for infectious disease specialists, primary care physicians, neurologists, cardiologists, radiology, emergency medicine, addiction medicine specialists, surgeons, and all others who may encounter this condition.…

Hardcover. Zustand: Brand New. 2nd edition. 357 pages. 10.00x7.00x1.00 inches. In Stock.

paperback. Zustand: New. 1st.