A Computer Science Reader


Book Description

A Computer Science Reader covers the entire field of computing, from its technological status through its social, economic and political significance. The book's clearly written selections represent the best of what has been published in the first three-and-a-half years of ABACUS, Springer-Verlag's internatioanl quarterly journal for computing professionals. Among the articles included are: - U.S. versus IBM: An Exercise in Futility? by Robert P. Bigelow - Programmers: The Amateur vs. the Professional by Henry Ledgard - The Composer and the Computer by Lejaren Hiller - SDI: A Violation of Professional Responsibility by David L. Parnas - Who Invented the First Electronic Digital Computer? by Nancy Stern - Foretelling the Future by Adaptive Modeling by Ian H. Witten and John G. Cleary - The Fifth Generation: Banzai or Pie-in-the-Sky? by Eric A. Weiss This volume contains more than 30 contributions by outstanding and authoritative authors grouped into the magazine's regular categories: Editorials, Articles, Departments, Reports from Correspondents, and Features. A Computer Science Reader will be interesting and important to any computing professional or student who wants to know about the status, trends, and controversies in computer science today.




Issues in Computer Science and Theory: 2011 Edition


Book Description

Issues in Computer Science and Theory / 2011 Edition is a ScholarlyEditions™ eBook that delivers timely, authoritative, and comprehensive information about Computer Science and Theory. The editors have built Issues in Computer Science and Theory: 2011 Edition on the vast information databases of ScholarlyNews.™ You can expect the information about Computer Science and Theory in this eBook to be deeper than what you can access anywhere else, as well as consistently reliable, authoritative, informed, and relevant. The content of Issues in Computer Science and Theory: 2011 Edition has been produced by the world’s leading scientists, engineers, analysts, research institutions, and companies. All of the content is from peer-reviewed sources, and all of it is written, assembled, and edited by the editors at ScholarlyEditions™ and available exclusively from us. You now have a source you can cite with authority, confidence, and credibility. More information is available at http://www.ScholarlyEditions.com/.




Encyclopedia of Computer Science and Technology


Book Description

With breadth and depth of coverage, the Encyclopedia of Computer Science and Technology, Second Edition has a multi-disciplinary scope, drawing together comprehensive coverage of the inter-related aspects of computer science and technology. The topics covered in this encyclopedia include: General and reference Hardware Computer systems organization Networks Software and its engineering Theory of computation Mathematics of computing Information systems Security and privacy Human-centered computing Computing methodologies Applied computing Professional issues Leading figures in the history of computer science The encyclopedia is structured according to the ACM Computing Classification System (CCS), first published in 1988 but subsequently revised in 2012. This classification system is the most comprehensive and is considered the de facto ontological framework for the computing field. The encyclopedia brings together the information and historical context that students, practicing professionals, researchers, and academicians need to have a strong and solid foundation in all aspects of computer science and technology.




Computer Science in Sport


Book Description

Computers are a fundamentally important tool in sport science research, sports performance analysis and, increasingly, in coaching and education programmes in sport. This book defines the field of ‘sport informatics’, explaining how computer science can be used to solve sport-related problems, in both research and applied aspects. Beginning with a clear explanation of the functional principles of hardware and software, the book examines the key functional areas in which computer science is employed in sport, including: knowledge discovery and database development data acquisition, including devices for measuring performance data motion tracking and analysis systems modelling and simulation match analysis systems e-learning and multimedia in sports education Bridging the gap between theory and practice, this book is important reading for any student, researcher or practitioner working in sport science, sport performance analysis, research methods in sport, applied computer science or informatics.




SOFSEM 2009: Theory and Practice of Computer Science


Book Description

This book constitutes the refereed proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2009, held in Špindleruv Mlýn, Czech Republic, in January 2009. The 49 revised full papers, presented together with 9 invited contributions, were carefully reviewed and selected from 132 submissions. SOFSEM 2009 was organized around the following four tracks: Foundations of Computer Science; Theory and Practice of Software Services; Game Theoretic Aspects of E-commerce; and Techniques and Tools for Formal Verification.




Academic English for Computer Science


Book Description

Academic English for Computer Science aims to provide a tool for the effective study of computational science and technology. It addresses international students who use English as a second language. It can be used as a foundation course in undergraduate programs of computer science, computer engineering, and information technology. The material of this course draws content from core areas of computer science, aspiring to create an initial induction in the field. Furthermore, the academic skills incorporated in each content unit will enhance the students' ability to: - Read and interpret a wide variety of texts and genres relevant to computing. - Acquire a solid base of domain-specific terminology. - Practice various note-taking methods, to improve their overall academic experience and personal growth process. - Write argumentation essays to illustrate similar and opposing views. - Cite known researchers and acknowledge contributions from peers in the field. - Communicate with other practitioners in a way that shows respect for diverse perspectives. - Deliver their own message in a genuine and powerful way.




Computer Science and Educational Informatization


Book Description

These two volumes constitute the revised selected papers of the 5th International Conference, CSEI 2023, held in Kunming, China, during August 11–13, 2023. The 76 full papers and the 21 short papers included in this volume were carefully reviewed and selected from 297 submissions. They focus on computer science, education informatization and engineering education, innovative application for the deeper integration of education practice and information technology, educational informatization and big data for education.




Study and Research Guide in Computer Science


Book Description

Computer science departments at universities in the U.S.A. are world renowned. This handy reference guide gives detailed profiles of 40 of the best known among them. The profiles are organized in a uniform layout to present basic information, faculty, curriculum, courses for graduate students, affiilated institutions, facilities, research areas, funding, selected projects, and collaborations. Two full alphabetical listings of professors are included, one giving their universities and the other their research areas. The guide will be indispensible for anyone - student or faculty, not only in the U.S.A. - interested in research and education in computer science in the U.S.A.




Connecting Discrete Mathematics and Computer Science


Book Description

An approachable textbook connecting the mathematical foundations of computer science to broad-ranging and compelling applications throughout the field.




Fundamental Proof Methods in Computer Science


Book Description

A textbook that teaches students to read and write proofs using Athena. Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying that a particular system (or component, or algorithm) has certain desirable properties. This book teaches students how to read and write proofs using Athena, a freely downloadable computer language. Athena proofs are machine-checkable and written in an intuitive natural-deduction style. The book contains more than 300 exercises, most with full solutions. By putting proofs into practice, it demonstrates the fundamental role of logic and proof in computer science as no other existing text does. Guided by examples and exercises, students are quickly immersed in the most useful high-level proof methods, including equational reasoning, several forms of induction, case analysis, proof by contradiction, and abstraction/specialization. The book includes auxiliary material on SAT and SMT solving, automated theorem proving, and logic programming. The book can be used by upper undergraduate or graduate computer science students with a basic level of programming and mathematical experience. Professional programmers, practitioners of formal methods, and researchers in logic-related branches of computer science will find it a valuable reference.




Recent Books