Inhalt Einstellungen Privatsphäre

Warenkorb EUR 00,00 *

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?

Theoretical Aspects of Software Engineering

.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

lieferbar innerhalb 2-3 Wochen

Buch

Christian Maurer
Object-based Programming with Go

This textbook explains the concept of "object-based programming" as an essential part of "object orientation" and elucidates why the programming language Go, developed at Google, optim…

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

Runtime Verification

This book constitutes the refereed proceedings of the 24th International Conference on Runtime Verification, RV 2024, held in Istanbul, Turkey, during October 15-17, 2024.The 11 full papers, 5 short paper…

lieferbar innerhalb 2-3 Wochen

Buch

Practical Statistical Learning and Data Science Methods

This contributed volume offers practical implementation strategies for statistical learning and data science techniques, with fully peer-reviewed papers that embody insights and experiences gathered withi…

lieferbar innerhalb 2-3 Wochen

Buch

Patrick Klein
Combining Expert Knowledge and Deep Learning with Case-Based Reasoning for Predictive Maintenance

If a manufacturing company's main goal is to sell products profitably, protecting production systems from defects is essential and has led to vast documentation and expert knowledge. Industry 4.0 has faci…

lieferbar innerhalb 2-3 Wochen

Buch

Yulong Shen, Xiaohong Jiang, Yuanyu Zhang
Secrecy, Covertness and Authentication in Wireless Communications

This book introduces the fundamentals of physical layer security (PLS) and demonstrates how a variety of PLS techniques can be applied to improve the security of wireless communication systems. In particu…

lieferbar innerhalb 2-3 Wochen

Buch

Large Language Models for Sustainable Urban Development

With rapid urbanization defining the 21st Century, cities face mounting challenges in achieving sustainability, equity, and functionality. This book explores how innovative technologies such as Artificial…

lieferbar innerhalb 2-3 Wochen

Buch

Topics in Cryptology - CT-RSA 2025

This book constitutes the refereed proceedings of the Cryptographer's Track at the RSA Conference 2025, CT-RSA 2025, held in San Francisco, CA, USA, during April 28--May 1, 2025.The 17 full papers present…

lieferbar innerhalb 2-3 Wochen

Buch

Advances in Information Retrieval

.- BioRAGent: A Retrieval-Augmented Generation System for Showcasing Generative Query Expansion and Domain-Specific Search for Scientific Q&A..- PIE-Med: Predicting, Interpreting and Explaining Medica…

lieferbar innerhalb 2-3 Wochen

Buch

Robert Ciesla
The Book of Chatbots

Primitive software chatbots emerged in the 1960s, evolving swiftly through the decades and becoming able to provide engaging human-to-computer interactions sometime in the 1990s. Today, conversational tec…

lieferbar innerhalb 2-3 Wochen

Buch

Computational Science - ICCS 2025 Workshops

The 6-volume set constitutes the workshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7--9, 2025.The 137 ful…

lieferbar innerhalb 2-3 Wochen

Buch

Structural Information and Communication Complexity

This book constitutes the refereed proceedings of the 32nd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2025, held in Delphi, Greece in June 2025.The 24 full pa…

lieferbar innerhalb 2-3 Wochen

Buch

Soft Computing and Its Engineering Applications

The two-volume proceedings set CCIS 2430-2431 constitutes the revised selected papers of the 6th International Conference on Soft Computing and its Engineering Applications, icSoftComp 2024, held in Bangk…

lieferbar innerhalb 2-3 Wochen

Buch

The Semantic Web - ISWC 2024

This three-volume set constitutes the proceedings of the 23rd International Semantic Web Conference, ISWC 2023, held in Hanover, MD, USA, during November 11-15, 2024.The 44 full papers presented in these …

lieferbar innerhalb 2-3 Wochen

Buch

Machine Learning, Deep Learning and AI for Cybersecurity

This book addresses a variety of problems that arise at the interface between AI techniques and challenging problems in cybersecurity. The book covers many of the issues that arise when applying AI and de…

lieferbar innerhalb 2-3 Wochen

Buch

Artificial Neural Networks and Machine Learning - ICANN 2024

The ten-volume set LNCS 15016-15025 constitutes the refereed proceedings of the 33rd International Conference on Artificial Neural Networks and Machine Learning, ICANN 2024, held in Lugano, Switzerland, d…

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

Matthew Guzdial, Adam Summerville, Sam Snodgrass
Procedural Content Generation via Machine Learning

This second edition updates and expands upon the first beginner-focused guide to Procedural Content Generation via Machine Learning (PCGML), which is the use of computers to generate new types of content …

lieferbar innerhalb 2-3 Wochen

Buch

Automated Technology for Verification and Analysis

The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Symposium on Automated Technology for Verification and Analysis, ATVA 2024, held in Kyoto, Japan, from October…

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.