Inhalt Einstellungen Privatsphäre

Warenkorb EUR 00,00 *

Filter

Erweiterte Suche

Ohne aktives Javascript kann es zu Problemen bei der Darstellung kommen. Bitte aktivieren Sie deshalb Ihr Javascript.

Trefferliste "Informatik-Geschichte" - alle Bücher, CDs, LPs und mehr

Wir konnten keine exakten Treffer zu Ihrer Suche nach "Informatik-Geschichte" finden. Könnten diese Produkte zu Ihrer Suche passen?

AI Verification

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized i…

lieferbar innerhalb 2-3 Wochen

Buch

Zhiwei Qin (Tony), Xiaocheng Tang, Jieping Ye, Hongtu Zhu
Reinforcement Learning in the Ridesharing Marketplace

This book provides a comprehensive overview of reinforcement learning for ridesharing applications. The authors first lay out the fundamentals of the ridesharing system architectures and review the basics…

lieferbar innerhalb 2-3 Wochen

Buch

Anton Wijs, Marieke Huisman
Concise Guide to Software Verification

This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice. It focuses on techniques whereby the …

lieferbar innerhalb 2-3 Wochen

Buch

Rough Sets

This two-volume set LNAI 14839-14840 constitutes the refereed proceedings of the International Joint Conference on Rough Sets, IJCRS 2024, held in Halifax, NS, Canada, during May 17¿20, 2024.The 43 full p…

lieferbar innerhalb 2-3 Wochen

Buch

Neural-Symbolic Learning and Reasoning

This book constitutes the refereed proceedings of the 18th International Conference on Neural-Symbolic Learning and Reasoning, NeSy 2024, held in Barcelona, Spain during September 9-12th, 2024.The 30 full…

lieferbar innerhalb 2-3 Wochen

Buch

The Practice of Formal Methods

This Festschrift, dedicated to Cliff Jones, contains papers written by many of his closest collaborators. Cliff has an exceptional international standing for his groundbreaking research and leadership wit…

lieferbar innerhalb 2-3 Wochen

Buch

Claes Wohlin, Per Runeson, Anders Wesslén, Magnus C. Ohlsson
Experimentation in Software Engineering

This textbook, which has become the leading source for empirical software engineering research through its earlier editions, provides an in-depth introduction to experimentation in software engineering. T…

lieferbar innerhalb 2-3 Wochen

Buch

Numerical Computations: Theory and Algorithms

The three-volume set LNCS 14476-14478 constitutes the post conference proceedings of the 4th International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2023, held in Pizzo Calabro, I…

lieferbar innerhalb 2-3 Wochen

Buch

Samuel Ackerman, Guy Barash, Onn Shehory, Orna Raz
Theory and Practice of Quality Assurance for Machine Learning Systems

This book is a self-contained introduction to engineering and testing machine learning (ML) systems. It systematically discusses and teaches the art of crafting and developing software systems that includ…

lieferbar innerhalb 2-3 Wochen

Buch

Nora Hollenstein, Lisa Beinborn
Cognitive Plausibility in Natural Language Processing

This book explores the cognitive plausibility of computational language models and why it¿s an important factor in their development and evaluation. The authors present the idea that more can be learned a…

lieferbar innerhalb 2-3 Wochen

Buch

Information Technology for Peace and Security

Technological and scientific progress, especially the rapid development in information technology (IT) and artificial intelligence (AI), plays a crucial role regarding questions of peace and security. Thi…

lieferbar innerhalb 2-3 Wochen

Buch

Volker Johanning
Organization and Management of IT

This book takes a practical look at how IT organizations need to position themselves optimally in this dynamically changing world and what this means for the leadership of this increasingly important IT. …

lieferbar innerhalb 2-3 Wochen

Buch

Susan Lincke
Information Security Planning

This book demonstrates how information security requires a deep understanding of an organization's assets, threats and processes, combined with the technology that can best protect organizational security…

lieferbar innerhalb 2-3 Wochen

Buch

Linguistic Resources for Natural Language Processing

Empirical - data-driven, neural network-based, probabilistic, and statistical - methods seem to be the modern trend. Recently, OpenAI's ChatGPT, Google's Bard and Microsoft's Sydney chatbots have been gar…

lieferbar innerhalb 2-3 Wochen

Buch

Matthew Wicker, Francesco Leofante
Robust Explainable AI

The area of Explainable Artificial Intelligence (XAI) is concerned with providing methods and tools to improve the interpretability of black-box learning models. While several approaches exist to generate…

lieferbar innerhalb 2-3 Wochen

Buch

Trevor Brown, Michael L. Scott
Shared-Memory Synchronization

This book offers a comprehensive survey of shared-memory synchronization, with an emphasis on "systems-level" issues. It includes sufficient coverage of architectural details to understand corre…

lieferbar innerhalb 2-3 Wochen

Buch

Mark Zimmermann
Einsatz von Apple Intelligence im Unternehmen

Erfahren Sie, wie Apples bahnbrechende KI-Technologie Geschäftsprozesse auf iPhone, Mac und Vision Pro transformiert.Erfahren Sie praxisnah, wie visuelle Intelligenz, innovative Schreibunterstützung und S…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Cryptology - EUROCRYPT 2025

This eight-volume set, LNCS 15601-15608, constitutes the proceedings of the 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, EUROCRYPT 2025, held in Madrid,…

lieferbar innerhalb 2-3 Wochen

Buch

Machines, Computations, and Universality

This book constitutes the refereed proceedings of the 10th International Conference on Machines, Computations, and Universality, MCU 2024, held in Nice, France, during June 5-7, 2024.The 8 full papers and…

lieferbar innerhalb 2-3 Wochen

Buch

Alberta Albertella, Fernando Sansò
The Probabilistic Vision of the Physical World

This book investigates the relationship between empirical reality and theoretical modelling in Earth sciences, focusing on how empirical experiments and theoretical models interact. It explores the connec…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.

© jpc-Schallplatten-Versandhandelsgesellschaft mbH