Texts In Computer Science – Bücher, CDs, DVDs und mehr, Seite 2

Proof Assistants and Their Applications in Mathematics and Computer Science

Computer Science Foundations and Applied Logic

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. Today they are used to verify operating systems, c…

lieferbar ab 21.10.2026.

Buch

African Conference on Research in Computer Science and Applied Mathematics

Trends in Mathematics

This volume features selected contributions from participants of the 17th African Conference on Research in Computer Science and Applied Mathematics (CARI 2024), held at the University of Béjaïa, Algeria,…

lieferbar innerhalb 2-3 Wochen

Buch

Collection and Analysis of Text Data in Sensory and Consumer Science

Understanding how consumers truly perceive products is at the heart of sensory and consumer science. While traditional surveys rely on limited, predefined response options, open-ended questions invite par…

sofort lieferbar

Buch

Brainerd Kellogg
A Text-Book on Rhetoric: Supplementing the Development of the Science with Exhaustive Practice in Composition

Reprint of the original, first published in 1880. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Brainerd Kellogg
A Text-Book on Rhetoric: Supplementing the Development of the Science with Exhaustive Practice in Composition

Reprint of the original, first published in 1880. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

8th EAI International Conference on Computer Science and Engineering in Health Services

EAI/Springer Innovations in Communication and Computing

This book constitutes the refereed post-conference proceedings of the 8th EAI International Conference on Computer Science and Engineering in Health Services (COMPSE 2024), which took place September 10-1…

lieferbar innerhalb 2-3 Wochen

Buch

7th EAI International Conference on Computer Science and Engineering in Health Services

EAI/Springer Innovations in Communication and Computing

This book constitutes the refereed post-conference proceedings of the 7th EAI International Conference on Computer Science and Engineering in Health Services (COMPSE 2023), which took place November 16-17…

lieferbar innerhalb 2-3 Wochen

Buch

Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education

Lecture Notes in Computer Science - Band 15958

This book constitutes the proceedings of the 18th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2025, held in Trier, Germany, during September 8--10, 20…

sofort lieferbar

Buch

Pacific Symposium on Biocomputing

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Pacific Symposium on Biocomputing (PSB) is a scientific meeting held ann…

lieferbar innerhalb 2-3 Wochen

Buch

100 Meisterwerke - 500 Jahre Geschichte der Musik & Malerei

Eine umfangreiche Sammlung der schönsten Gemälde und berühmtesten Meisterwerke Klassischer Musik aus 500 Jahren Kunstgeschichte. Interaktives Lexikon mit Textbeiträgen, wahlweise zu Gemälde & Maler, Kompo…

lieferbar in mind. 4 Wochen

2 DVDs

Proceedings of CSA 2025

Lecture Notes in Electrical Engineering - Band 1583

This book presents the combined proceedings of the 17th International Conference on Computer Science and its Applications (CSA 2025) in Phu Quoc, Vietnam, December 18--20, 2025. This proceedings reflects …

lieferbar innerhalb 2-3 Wochen

Buch

Samir Brahim Belhaouari, Halima Bensmail, Farshid Mehrdoust
Discrete Mathematics, Probability Theory and Stochastic Processes

Modeling and Optimization in Science and Technologies - Band 20

This book provides a comprehensive overview of discrete mathematics, probability theory, and stochastic processes, covering a wide range of topics in each area. It is designed to be a self-contained resou…

lieferbar innerhalb 2-3 Wochen

Buch

Dave Holland, Zakir Hussein & Chris Potter

Good Hope

Under the collective group name of Crosscurrents Trio, Dave Holland, Zakir Hussain and Chris Potter release Good Hope, a monumental and exceptional album that will inspire and excite a global audience for…

Artikel am Lager

CD

Robert Willis
The Pentateuch and Book of Joshua in the Light of the Science and Moral Sense of Our Age. A Complement to All Criticisms of the Text

Reprint of the original, first published in 1877. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Robert Willis
The Pentateuch and Book of Joshua in the Light of the Science and Moral Sense of Our Age. A Complement to All Criticisms of the Text

Reprint of the original, first published in 1877. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Ralph Seymour Thompson
Science in Farming. A Text Book on the Principles of Agriculture, Including a Treatise on Agricultural Chemistry. Designed for Use in Schools, Granges, Farmers' Clubs, and by Farmers and Their Families

Reprint of the original, first published in 1882. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Ralph Seymour Thompson
Science in Farming. A Text Book on the Principles of Agriculture, Including a Treatise on Agricultural Chemistry. Designed for Use in Schools, Granges, Farmers' Clubs, and by Farmers and Their Families

Reprint of the original, first published in 1882. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

Emerging Trends in Computational Biology, Biomedical Engineering, and Health Informatics

Communications in Computer and Information Science - Band 2935

This book constitutes the proceedings of the 26th International Conference on Bioinformatics and Computational Biology, BIOCOMP 2025; the 11th International Conference on Biomedical Engineering and Scienc…

lieferbar innerhalb 2-3 Wochen

Buch

SOFSEM 2026: Theory and Practice of Computer Science

This book constitutes the proceedings of the 51st International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2026, held in Krakow, Poland, during February 2026.The 48 fu…

lieferbar innerhalb 2-3 Wochen

Buch

Neil Druckmann, Faith Erin Hicks,
The Last of Us: American Dreams: Volume 1

Nineteen years ago, a parasitic fungal outbreak killed the majority of the world's population, forcing survivors into a handful of quarantine zones. Thirteen-year-old Ellie has grown up in this violent, p…

sofort lieferbar

Buch

Trefferliste "Texts In Computer Science" - alle Bücher, CDs, DVDs und mehr