computer hardware PDF: 41 to 50 of 1000 results fetched - page 5 [ec]

Zoolz is the only cloud solution that keeps your data even when you disconnect your drives
Get full control over PDFs. Edit, combine, transform and organize PDFs.

Computer Science in Sport

www.ebooks.com/cj.asp?IID=1811077&cjsku=1811077...
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.
Category: Computers. ISBN: 9780415715454

Logics in Computer Science

www.ebooks.com/cj.asp?IID=1399104&cjsku=1399104...
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.
Category: Computers. ISBN: 9789491216947

Computer Methods Part B

www.ebooks.com/cj.asp?IID=631960&cjsku=631960...
The combination of faster, more advanced computers and more quantitatively oriented biomedical researchers has recently yielded new and more precise methods for the analysis of biomedical data. These better analyses have enhanced the conclusions that can be drawn from biomedical data, and they have changed the way that experiments are designed and performed. This volume, along with previous and forthcoming Computer Methods volumes for the Methods in Enzymology serial, aims to inform biomedical researchers about recent applications of modern data analysis and simulation methods as applied to biomedical research. * Presents step-by-step computer methods and discusses the techniques in detail to enable their implementation in solving a wide range of problems * Informs biomedical researchers of the modern data analysis methods that have developed alongside computer hardware *Presents methods at the "nuts and bolts" level to identify and resolve a problem and analyze what the results mean
Category: Computers. ISBN: 9780123750235

Computer Science and Technology

www.ebooks.com/cj.asp?IID=95853782&cjsku=95853782...
-->. This proceedings consists of selected papers presented at the International Conference on Computer Science and Technology (CST2016), which was successfully held in Shenzhen, China during January 8–10, 2016. CST2016 covered a wide range of fundamental studies, technical innovations and industrial applications in 7 areas, namely Computer Systems, Computer Network, Security, Databases and Information Systems, Artificial Intelligence and Multimedia, Theory and Software Engineering and Computer Applications. CST 2016 aims to provide a forum for researchers, engineers, and students in the area of computer science and technology. It features unique mixed various topics in computer science and technology including big data, system architecture, hardware and applications. CST 2016 attracted more than 300 submissions. Among them, only 142 papers were accepted in to the conference after a stringent peer review process. -->
Category: Computers. ISBN: 9789813146419

Computer Aided Verification

www.ebooks.com/cj.asp?IID=95814106&cjsku=95814106...
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented  together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.  The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Category: Computers. ISBN: 9783319633893

Writing Computer Code

www.ebooks.com/cj.asp?IID=2055820&cjsku=2055820...
A technology book for kids! Learning how to code can be like learning a foreign language.This book serves as an excellent guide to help you start writing in the odd-looking languages that make the web work. Follow simple steps as you work with real code to build your own web robots. Create your robot— write code that builds your robot's body and structure Give your bot some style— add code lines that customize your robot's color and shape Get your robot moving— finish off your robot with code that teaches it how to dance Technology Requirements: Hardware – PC or tablet with Internet connection running Windows 7 or higher or Mac with Internet connection running Mac OS X 10.7 or higher Software – Web browser to access JSFiddle.net: Google Chrome™, Mozilla Firefox, Apple Safari, Microsoft Edge, or Microsoft Internet Explorer version 9.0 or higher
Category: Juvenile Nonfiction. ISBN: 9781119177302

Writing Computer Code

www.ebooks.com/cj.asp?IID=95532063&cjsku=95532063...
A technology book for kids! Learning how to code can be like learning a foreign language.This book serves as an excellent guide to help you start writing in the odd-looking languages that make the web work. Follow simple steps as you work with real code to build your own web robots. Create your robot— write code that builds your robot's body and structure Give your bot some style— add code lines that customize your robot's color and shape Get your robot moving— finish off your robot with code that teaches it how to dance Technology Requirements: Hardware – PC or tablet with Internet connection running Windows 7 or higher or Mac with Internet connection running Mac OS X 10.7 or higher Software – Web browser to access JSFiddle.net: Google Chrome™, Mozilla Firefox, Apple Safari, Microsoft Edge, or Microsoft Internet Explorer version 9.0 or higher
Category: Juvenile Nonfiction. ISBN: 9781119177302

Computer Methods, Part C

www.ebooks.com/cj.asp?IID=635395&cjsku=635395...
The combination of faster, more advanced computers and more quantitatively oriented biomedical researchers has recently yielded new and more precise methods for the analysis of biomedical data. These better analyses have enhanced the conclusions that can be drawn from biomedical data, and they have changed the way that experiments are designed and performed. This volume, along with the 2 previous Computer Methods volumes for the Methods in Enzymology serial, aims to inform biomedical researchers about recent applications of modern data analysis and simulation methods as applied to biomedical research. Presents step-by-step computer methods and discusses the techniques in detail to enable their implementation in solving a wide range of problems Informs biomedical researchers of the modern data analysis methods that have developed alongside computer hardware Presents methods at the "nuts and bolts" level to identify and resolve a problem and analyze what the results mean
Category: Computers. ISBN: 9780123812704

Further Computer Appreciation

www.ebooks.com/cj.asp?IID=1874376&cjsku=1874376...
Further Computer Appreciation is a comprehensive cover of the principles and aspects in computer appreciation. The book starts by describing the development of computers from the first to the third computer generations, to the development of processors and storage systems, up to the present position of computers and future trends. The text tackles the basic elements, concepts and functions of digital computers, computer arithmetic, input media and devices, and computer output. The basic central processor functions, data storage and the organization of data by classification of computer files, identifying records and coding are also considered. The book discusses as well the systems and management considerations, programming and software, and hardware systems. The text is useful for computer science, computer engineering and computer programming students.
Category: Computers. ISBN: 9780408002394

Computer Aided Verification

www.ebooks.com/cj.asp?IID=95814105&cjsku=95814105...
The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017. The total of 50 full and 7 short papers presented  together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.  The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
Category: Computers. ISBN: 9783319633862
Previous1234 [5] 6789Next