Trefferliste "Computer Science" - alle Bücher, Blu-ray Discs, DVDs und mehr

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications

This book constitutes the proceedings of the 25th International Conference on Internet Computing and IoT, ICOMP 2024, and the 22nd International Conference on Embedded Systems, Cyber-physical Systems, and…

Lech T. Polkowski

Logic: Reference Book for Computer Scientists

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested i…

Arne Boockmeyer, Philipp Fischbeck, Stefan Neubert

Fit fürs Studium - Informatik

So gelingt der Einstieg ins Informatikstudium! Schließen Sie Wissenslücken, die Ihnen im Studium das Leben schwer machen könnten. Dieser Vorkurs präsentiert Ihnen alles Wesentliche Schritt für Schritt, an…

Irene Rothe

Informatik für alle

Informatik ist eine breit aufgestellte Disziplin, mit einer umfassenden theoretischen Fundierung und mit einer großen Anzahl differenzierter Anwendungsbereiche. Deren gemeinsamer Kern liegt darin, Problem…

Science MashUp: Games und schulische Bildung

Grußwort.- Einleitung.- Standpunkte: Games in der Schule.- Best Practice: Games im Unterricht.- Spiele, Wissen und Technik: Digitale Bildungskultur im Wandel.- Podiuumsdiskussion.

Alien 1 (Ultra HD Blu-ray & Blu-ray)

Die Besatzung des Raumschiffs 'Nostromo' ist nach einem Erkundungsflug auf dem Rückflug zur Erde. Aufgrund eines Computer-Notsignals landet die Crew auf einem unbekannten Planeten. In einem Raumschiff-Wra…

They Might Be Giants

Here Comes Science (CD + DVD)

Logic-Based Program Synthesis and Transformation

This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9--10, 2025.The 17 full pap…

Components Operationally: Reversibility and System Engineering

This Festschrift is dedicated to Jean-Bernard Stefani, a leading researcher in the field of component-based software engineering, system modelling, and formal methods for distributed systems.From 2001 to …

Geometric Science of Information

The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St. Malo, France, during October 2025. The main t…

Geometric Science of Information

The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St. Malo, France, during October 2025. The main t…

Geometric Science of Information

The 3-volume set LNCS 16033 - 16035 constitutes the proceedings of the 7th International Conference on Geometric Science of Information, GSI 2025, held in St. Malo, France, during October 2025. The main t…

Cellular Automata and Discrete Complex Systems

This book constitutes the proceedings from the 31st IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2025, held in Lille, France, during June 30--July 2, 2025…

Bridging the Gap Between AI and Reality

This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/No…

Spider-Man: Into The Spider-Verse (Original Score)

In der neuen Marvel-Verfilmung »Spider-Man: A New Universe« taucht der Zuschauer in das Multiversum sämtlicher Spider-Man-Charaktere ein. Der elektrisierende Soundtrack vom Komponisten Daniel Pemberton so…

Languages and Compilers for Parallel Computing

This volume LNCS 14480 constitutes the refereed proceedings of the International Workshop, LCPC 2023, in Lexington, KY, USA, held during October 2023.The 10 full papers presented together with 3 short pap…

Machine Learning and Knowledge Discovery in Databases. Research Track and Applied Data Science Track

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Po…

Machine Learning and Knowledge Discovery in Databases. Research Track

This multi-volume set, LNAI 16013 to LNAI 16022, constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2025, held in Porto, Po…

Decision and Game Theory for Security

The two-volume set LNCS 16223 + 16224 constitutes the refereed proceedings of the 16th International Conference on Decision and Game Theory for Security, GameSec 2025, which took place in Athens, Greece, …