| |
Over the past sixty years, the spectacular growth of the technologies associated with the computer is visible for all to see and experience. Yet, the science underpinning this technology is less visible and little understood outside the professional computer science...
Editeur :
OUP Oxford
Parution :
2016-03-24
ePub
|
Over the past sixty years, the spectacular growth of the technologies associated with the computer is visible for all to see and experience. Yet, the science underpinning this technology is less visible and little understood outside the professional computer science...
Editeur :
OUP Oxford
Parution :
2016-03-24
PDF
|
How do we connect with one another?How do the media portray different cultures and beliefs? What messages are often omitted from media?How do we connect what we see in the worldwide media to the classroom? This book, divided into four parts, serves to answer many of...
Editeur :
Peter Lang Inc., International Academic Publishers
Parution :
2016-02-18
PDF, ePub
|
This book examines one of the more common and wide-spread methodologies to deal with uncertainty in real-world decision making problems, the computing with words paradigm, and the fuzzy linguistic approach. The 2-tuple linguistic model is the most popular methodology...
Editeur :
Springer
Parution :
2015-12-09
PDF, ePub
|
This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene,...
Editeur :
Springer
Parution :
2015-11-06
PDF
|
Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better logician than himself. This work comprises articles by leading proof theorists, attesting to Gentzen’s enduring legacy to mathematical logic and beyond. The contributions range from...
Editeur :
Springer
Parution :
2015-11-02
PDF, ePub
|
The Internet is the most remarkable thing human beings have built since the Pyramids. John Naughton's book intersperses wonderful personal stories with an authoritative account of where the Net actually came from, who invented it and why and where it might be taking us....
Editeur :
Weidenfeld & Nicolson
Parution :
2015-09-24
ePub
|
This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint...
Editeur :
Springer
Parution :
2015-08-25
PDF, ePub
|
This book had its origins in the NATO Advanced Study Institute (ASI) held in Ohrid, Macedonia, in 2014. The focus of this ASI was the arithmetic of superelliptic curves and their application in different scientific areas, including whether all the applications of...
Editeur :
SAGE Publications Ltd
Parution :
2015-07-15
PDF
|
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and...
Editeur :
Springer
Parution :
2015-07-01
PDF, ePub
|
The book examines the emerging approach of using qualitative methods, such as interviews and field observations, in the philosophy of science. Qualitative methods are gaining popularity among philosophers of science as more and more scholars are resorting to empirical...
Editeur :
Springer
Parution :
2015-06-12
PDF, ePub
|
The Raspberry Pi is an inexpensive, simple computer that's about the size of a credit card. At first glance, it looks like a simple circuit board with a few inputs and outputs, but the Raspberry Pi is actually a computer with multiple inputs and outputs that make it the...
Editeur :
Dk
Parution :
2015-06-02
ePub
|
Exam Board: OCR, AQA, Edexcel & WJECLevel: KS3Subject: MathematicsFirst Teaching: September 2015First Exam: June 2016Compute-IT will help you deliver innovative lessons for the new Key Stage 3 Computing curriculum with confidence, using resources and meaningful...
Editeur :
Hodder Education
Parution :
2015-01-30
Collection :
Compute-IT
ePub
|
This book provides a coherent methodology for Model-Driven Requirements Engineering which stresses the systematic treatment of requirements within the realm of modelling and model transformations. The underlying basic assumption is that detailed requirements models are...
Editeur :
Springer
Parution :
2015-01-14
ePub
|
Most people are baffled by how computers work and assume that they will never understand them. What they don't realize -- and what Daniel Hillis's short book brilliantly demonstrates -- is that computers' seemingly complex operations can be broken down into a few simple...
Editeur :
Basic Books
Parution :
2014-12-09
ePub
|
Compute-IT will help you deliver innovative lessons for the new Key Stage 3 Computing curriculum with confidence, using resources and meaningful assessment produced by expert educators. WithCompute-IT you will be able to assess and record students' attainment and...
Editeur :
Hodder Education
Parution :
2014-10-31
Collection :
Compute-IT
ePub
|
This highly multidisciplinary volume contains contributions from leading researchers in STEAM-H disciplines (Science, Technology, Engineering, Agriculture, Mathematics and Health). The volume explores new frontiers in multidisciplinary research, including: the...
Editeur :
Springer
Parution :
2014-09-25
ePub
|
Compute-IT will help you deliver innovative lessons for the new Key Stage 3 Computing curriculum with confidence, using resources and meaningful assessment produced by expert educators. WithCompute-IT you will be able to assess and record students' attainment and...
Editeur :
Hodder Education
Parution :
2014-07-04
Collection :
Compute-IT
ePub
|
Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass ofPetri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and...
Editeur :
Springer
Parution :
2014-06-26
ePub
|
This volume is the first systematic and thorough attempt to investigate the relation and the possible applications of mereology to contemporary science. It gathers contributions from leading scholars in the field and covers a wide range of scientific theories and...
Editeur :
Springer
Parution :
2014-06-02
Collection :
Synthese Library
PDF, ePub
|