Informatik-Studium – Bücher, CDs, LPs und mehr, Page 10

NASA Formal Methods

Lecture Notes in Computer Science - volume 15682

This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in t…

deliverable within 2-3 weeks

Buch

Computational Science - ICCS 2025 Workshops

Lecture Notes in Computer Science - volume 15907

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…

deliverable within 2-3 weeks

Buch

Combinatorics on Words

Lecture Notes in Computer Science - volume 15729

This book constitutes the refereed proceedings of the 15th International Conference on Combinatorics on Words, WORDS 2025, held in Nancy, France, during June 30-- July 4, 2025.The 20 papers included in th…

deliverable within 2-3 weeks

Buch

Computational Complexity and Local Algorithms

Lecture Notes in Computer Science - volume 15700

This volume contains a collection of studies in the areas of complexity theory and local algorithms. A common theme in most of the papers is the interplay between randomness and computation. This interpla…

deliverable within 2-3 weeks

Buch

HCI for Cybersecurity, Privacy and Trust

Lecture Notes in Computer Science - volume 15815

This book constitutes the refereed proceedings of the 7th International Conference on Cybersecurity, Privacy and Trust, held as Part of the 27th International Conference, HCI International 2025, in Gothen…

deliverable within 2-3 weeks

Buch

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium, Blue Sky, and WideAIED

Communications in Computer and Information Science - volume 2591

This three-volume set CCIS 2590-2592 constitutes poster papers and late breaking results, workshops and tutorials, practitioners, industry and policy track, doctoral consortium, blue sky and wideAIED pape…

deliverable within 2-3 weeks

Buch

Principles and Practices of Building Parallel Software

Lecture Notes in Computer Science - volume 14564

This Festschrift celebrates the career of Vivek Sarkar, a pioneer who has influenced research into programming languages, compilers, runtime systems, and debugging and verification systems for high-perfor…

deliverable within 2-3 weeks

Buch

Cybersecurity

Communications in Computer and Information Science - volume 2500

This book constitutes the proceedings of the 9th European Interdisciplinary Cybersecurity Conference, EICC 2025, which took place in Rennes, France, during June 18--19, 2025.The 21 full papers and 2 short…

deliverable within 2-3 weeks

Buch

Artificial Intelligence in Education

Lecture Notes in Computer Science - volume 15880

This six-volume set LNAI 15877-15882 constitutes the refereed proceedings of the 26th International Conference on Artificial Intelligence in Education, AIED 2025, held in Palermo, Italy, during July 22--2…

deliverable within 2-3 weeks

Buch

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium, Blue Sky, and WideAIED

Communications in Computer and Information Science - volume 2590

This three-volume set CCIS 2590-2592 constitutes poster papers and late breaking results, workshops and tutorials, practitioners, industry and policy track, doctoral consortium, blue sky and wideAIED pape…

deliverable within 2-3 weeks

Buch

Applied Cryptography and Network Security

Lecture Notes in Computer Science - volume 15826

This three-volume set LNCS 15825-15827 constitutes the proceedings of the 23rd International Conference on Applied Cryptography and Network Security, ACNS 2025, held in Munich, Germany, during June 23-26,…

deliverable within 2-3 weeks

Buch

From Data to Models and Back

Lecture Notes in Computer Science - volume 15556

This book constitutes revised selected papers of the 12th International Symposium on From Data Models and Back, DataMod 2024, held in Aveiro, Portugal, during November 4--5, 2024.The 9 full papers include…

deliverable within 2-3 weeks

Buch

Knowledge Discovery, Knowledge Engineering and Knowledge Management

Communications in Computer and Information Science - volume 2454

This book constitutes the refereed proceedings of the 15th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2023, held in Rome, Italy, during Nov…

deliverable within 2-3 weeks

Buch

Logic and Its Applications

Lecture Notes in Computer Science - volume 15402

This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3--5, 2025.Four out the five invited talks ar…

deliverable within 2-3 weeks

Buch

Susana Ortega Cisneros, Emilio Isaac Baungarten Leon, Pedro Mejia Alvarez
Integrated Circuit Design

SpringerBriefs in Computer Science

This book provides a structured and comprehensive pathway through the complexities of Electronic Design Automation (EDA) tools and processes. It focuses on OpenLane and Caravel EDA tools, due to their cur…

deliverable within 2-3 weeks

Buch

Bidyut Sarkar, Rudrendu Kumar Paul
AI for Advanced Manufacturing and Industrial Applications

This book provides a deep dive into the applications of Artificial Intelligence (AI) in advanced manufacturing and intelligent autonomous systems. Through real-world use cases and cutting-edge insights, i…

deliverable within 2-3 weeks

Buch

Computational Science - ICCS 2025

Lecture Notes in Computer Science - volume 15906

ICCS 2025 Main Track Short Papers.- A Method for Handling Negative Similarities in Explainable Graph Spectral Clustering of Text Documents.- Preliminary Comparison of Different EDs Performance, using Simu…

deliverable within 2-3 weeks

Buch

Pierre M. Nugues
Python for Natural Language Processing

Cognitive Technologies

Since the last edition of this book (2014), progress has been astonishing in all areas of Natural Language Processing, with recent achievements in Text Generation that spurred a media interest going beyon…

deliverable within 2-3 weeks

Buch

Ehud Reiter
Natural Language Generation

In late 2022, the prominence of Natural Language Generation (NLG) surged with the advent of advanced language models like ChatGPT. While these developments have captivated both academic and commercial sec…

deliverable within 2-3 weeks

Buch

Advances in Digital Forensics XX

IFIP Advances in Information and Communication Technology - volume 724

Digital forensics deals with the acquisition, preservation, examination, analysis and presentation of electronic evidence. Computer networks, cloud computing, smartphones, embedded devices and the Interne…

deliverable within 2-3 weeks

Buch