Learn IT - Books tags theorem

Data Algorithms: Recipes for Scaling Up with Hadoop and Spark

O'Reilly, 2015

If you are ready to dive into the MapReduce framework for processing large datasets, this practical book takes you step by step through the algorithms and tools you need to build distributed MapReduce applications with Apache Hadoop or Apache Spark. Each chapter provides a recipe for solving a massive computational problem, such as...

Computer Science: The Hardware, Software and Heart of It

Springer, 2011

Computer Science: The Hardware, Software and Heart of It focuses on the deeper aspects of the two recognized subdivisions of Computer Science, Software and Hardware. These subdivisions are shown to be closely interrelated as a result of the stored-program concept. Computer Science: The Hardware, Software and Heart of It includes certain...

Logic Programming with Prolog

Springer, 2005

This book teaches the techniques of Logic Programming through the Prolog language. The name stands for Programming in Logic. Prolog has been used for a wide variety of applications, including as the basis for a standard ‘knowledge representation language’ for the Semantic Web – the next generation of internet technology; it is one...

Information and Coding Theory (Springer Undergraduate Mathematics Series)

Springer, 2000

As thi s Preface is being written, th e twent ieth century is coming to an end . Historians may perhaps come to refer to it as the cent ury of information, jus t as its predecessor is associated with the proce ss of indust rialisation. Successive technological developments such as the telephone, radio, television , compute rs and...

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference

Springer, 2011

This volume contains the proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011). TACAS 2011 took place in Saarbr¨ucken, Germany, March 28–31, 2011, as part of the 14th European Joint Conferences on Theory and Practice of Software (ETAPS 2011), whose...

The Mathematics of Derivatives Securities with Applications in MATLAB

John Wiley & Sons, 2012

Quantitative Finance is expanding rapidly. One of the aspects ofthe recent financial crisis is that, given the complexity offinancial products, the demand for people with high numeracy skillsis likely to grow and this means more recognition will be given toQuantitative Finance in existing and new course structuresworldwide. Evidence has...

Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines

Springer, 2006

Foundation of logic historically dates back to the times of Aristotle, who pioneered the concept of truth/falsehood paradigm in reasoning. Mathematical logic of propositions and predicates, which are based on the classical models of Aristotle, underwent a dramatic evolution during the last 50 years for its increasing applications in automated...

Quantum Mechanics and Quantum Information

John Wiley & Sons, 2013

A thorough definition of the basic concepts of quantum mechanics and quantum information and their interrelations.

Alongside a thorough definition of the basic concepts and their interrelations, backed by numerous examples, this textbook features a rare discussion of the quantum information theory. It also...

The Standard ML Basis Library

Cambridge University Press, 2002

SML is an influential programming language that represents many state-of-the-art aspects of language design in a form usable for everyday programming. The language is in use worldwide, with applications ranging from network communication to theorem proving. The definition for SML's standard library, this work concisely describes the types and...

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes in Computer Science)

Springer, 2008

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.

The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all...

Biomathematics: Modelling and Simulation

World Scientific Publishing, 2006

This really is the golden age of Mathematics. It has been said that half the Mathematics ever created has been in the last 100 years and that half the mathematicians who have ever lived are alive today. We have seen such achievements as the resolution of the four-colour problem and Fermat's last theorem, with the latter being...

Matrix Calculus and Kronecker Product With Applications and C++ Programs

World Scientific Publishing, 1997

The Kronecker product of matrices plays a central role in mathematics and in applications found in engineering and theoretical physics. These applications are signal processing, statistical physics, quantum groups and quantum computers. This text provides a comprehensive introduction to the Kronecker product of matrices together with its...

Result Page: 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1