for at udvide
kategorilisten.
Informatik
Visning: Type : Alle | Sprog : Alle | Format : Alle
-
Verification by Error Modeling: Using Testing Techniques in Hardware Verification (Bog, Paperback / softback, Engelsk)
Although there are no widely adhered standards for a design flow, most companies have their own established practices,... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Data Mining for Social Network Data (Bog, Paperback / softback, Engelsk)
Driven by counter-terrorism efforts, marketing analysis and an explosion in online social networking in recent years, data mining has moved to the forefront of... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Belief Revision in Non-Classical Logics (Bog, Paperback / softback, Engelsk)
however, classical belief revision is not well suited for logics such as Description Logics.Belief Revision in Non-Classical Logics presents a framework which can... Læs mere
Levering: Skaffevare (forvent 14 - 30 hverdage) -
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification: 12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part III (Bog, Paperback / softback, Engelsk)
The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.
Levering: 6 - 9 hverdage -
Speech Act Theory: Between Narrow and Broad Pragmatics (Bog, Paperback / softback, Engelsk)
Speech act theory has been foundational in establishing pragmatics as an independent field of inquiry; yet, recent pragmatic research appears to... Læs mere
Levering: 6 - 9 hverdage -
Artificial Intelligence for Art Creation and Understanding (Bog, Paperback / softback, Engelsk)
This book covers state-of-the-art AI technologies for art creation, understanding, and evaluation. Each chapter providing an entry point for... Læs mere
Levering: Kan forudbestilles (Forventes d. 30-09-2026) -
Clinical Applications of Nanotechnology and AI Integration (Bog, Paperback / softback, Engelsk)
Edited by leading experts, this book provides an in-depth exploration of diagnostics, drug delivery, and personalized treatment, shedding light... Læs mere
Levering: 6 - 9 hverdage -
AI Applications in Online Higher Education Administration: Strategies for Maximizing Returns and Improving Outcomes (Bog, Paperback / softback, Engelsk)
This book brings together faculty, instructional designers, technologists, and academic leaders who offer honest reflections, practical examples, and thoughtful perspectives on how AI is influencing course design, assessment, student support, policy, and leadership.
Levering: 6 - 9 hverdage -
The Digital Transformation of Professions: A Roadmap for Remaining Trusted, Relevant, and Future-Ready (Bog, Paperback / softback, Engelsk)
Owing to ongoing and accelerating digital technology advancements, many professions are undergoing... Læs mere
Levering: 6 - 9 hverdage -
Uncertain Data Analysis: Fuzzy Vector Algorithms (Bog, Paperback / softback, Engelsk)
This book studies different classification, detection and decision fusion algorithms, and helps practitioners deal with uncertainty in their data sets.
Levering: 6 - 9 hverdage -
Next-Generation Smart Cities: The Integration of AI, Blockchain, IoT and Emergent Networks (Bog, Paperback / softback, Engelsk)
This book offers a forward-looking analysis of emerging technologies converging in next-generation smart cities, examining both their opportunities and challenges.
Levering: 6 - 9 hverdage -
Agentic AI for Healthcare: Building Scalable Models for Production (Bog, Paperback / softback, Engelsk)
The healthcare industry is undergoing a transformative shift as artificial intelligence moves from isolated predictive models to autonomous, goal-driven agents capable of reasoning, planning, and adapting in real time.
Levering: Kan forudbestilles (Forventes d. 23-06-2026)
