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

Proof Assistants and Their Applications in Mathematics and Computer Science

Since their beginnings in the 1960s, proof assistants (also called interactive theorem provers) have grown to become essential tools to establish the correctness of hardware and software and to computeriz…

Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering

This book constitutes the proceedings of the 28th International Conference on Image Processing, Computer Vision, and Pattern Recognition, IPCV 2024, and the 23rd International Conference on Information an…

Verification and Evaluation of Computer and Communication Systems

This book constitutes the refereed proceedings of the 17th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2024, held in Djerba, Tunisia, during Octobe…

George Clinton

Computer Games (Reissue) (Limited Edition)

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops

This book constitutes the proceedings of the Workshops held in conjunction with the 43rd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2024, which took place in Florence…

The Princeton Review

Princeton Review AP Computer Science a Premium Prep, 9th Edition

PREMIUM PRACTICE FOR A PERFECT 5! Ace the newly-digital AP Computer Science A Exam with this comprehensive study guide---including 5 practice tests with answer explanations, timed online practice, and tho…

Computer Methods in Biomechanics and Biomedical Engineering II

This book gathers selected, extended and revised contributions to the 18th International Symposium on Computer Methods in Biomechanics and Biomedical Engineering, held on May 3-5, 2023, at Arts Et Métiers…

South African Computer Science and Information Systems Research Trends

This book contains a selection of the best papers of the 46th Annual Conference of the South African Institute of Computer Scientists and Information Technologists, SAICSIT 2025, held in Durban, South Afr…

Achieving Sustainable Business Through AI, Technology Education and Computer Science

This book focuses on the symbiotic relationship between sustainable practices and cutting-edge AI technologies, offering insights into how businesses can thrive in a rapidly evolving landscape. This book …

Scale Space and Variational Methods in Computer Vision

The two-volume set LNCS 15667 and 15668 constitutes the proceedings of the 10th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2025, which took place in Dartingto…

Achieving Sustainable Business Through AI, Technology Education and Computer Science

This book delves into the relationship between artificial intelligence, technology education, and computer science intersect with sustainable business practices. This book discovers the transformative pot…

Scale Space and Variational Methods in Computer Vision

The two-volume set LNCS 15667 and 15668 constitutes the proceedings of the 10th International Conference on Scale Space and Variational Methods in Computer Vision, SSVM 2025, which took place in Dartingto…

Mathematics and Computer Science for Real-World Applications, Volume 4

Mathematics and Computer Science for Real-World Applications gives invaluable insights into how mathematical and computer sciences drive essential modern innovations that enhance everyday life, making it …

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

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…

Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023)

This volume serves as both a record of current knowledge and a testament to the ongoing commitment to excellence in research within these fields. It stands as an invaluable resource for researchers, pract…

Engineering Interactive Computer Systems. EICS 2024 International Workshops

This book presents a series of revised papers selected from the Workshops organized in conjunction with the 16th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS 2024) which was hel…

Computer, Communication, and Signal Processing. Smart Solutions Towards SDG

This book constitutes the refereed proceedings of the 8th IFIP TC 12 International Conference on Computer, Communication, and Signal Processing with special focus on Smart Solutions towards SDG, ICCCSP 20…

Lih-Yuan Deng, Ching-Chi Yang, Henry Horng-Shing Lu, Nirman Kumar

Random Number Generators for Computer Simulation and Cyber Security

This book discusses the theory and practice of random number generators that are useful for computer simulation and computer security applications. Random numbers are ubiquitous in computation. They are u…

Probability and Statistical Models in Operations Research, Computer and Management Sciences

This book explores the convergence of stochastic modeling, reliability tools, and the quest for solutions in an era of globalized challenges. The tools have become only more important in the unforeseen em…