Learn IT - Books tags theorem

Algorithmic Number Theory, Vol. 1: Efficient Algorithms (Foundations of Computing)

MIT Press, 1996

Algorithmic Number Theory provides a thorough introduction to the design and analysis of algorithms for problems from the theory of numbers. Although not an elementary textbook, it includes over 300 exercises with suggested solutions. Every theorem not proved in the text or left as an exercise has a reference in the notes section...

Mathematical Statistics with Resampling and R

John Wiley & Sons, 2011

This book bridges the latest software applications with the benefits of modern resampling techniques

Resampling helps students understand the meaning of sampling distributions, sampling variability, P-values, hypothesis tests, and confidence intervals. This groundbreaking book shows how to apply modern resampling techniques...

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Springer, 2007

ETAPS 2007 is the tenth instance of the European Joint Conferences on Theory and Practice of Software, and thus a cause for celebration.

The events that comprise ETAPS address various aspects of the system development process, including specification, design, implementation, analysis and...

Algorithmic Algebra (Monographs in Computer Science)

Springer, 1993

Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the...

Examples and Counterexamples in Graph Theory

Elsevier Limited, 1978

It is a real pleasure, indeed an honor, for me to have been invited by Mike Capobianco and John Molluzzo to write an introduction to this imaginative and valuable addition to graph theory. Let me therefore present a few of my thoughts on the current status of graph theory and how their work contributes to the field.

...

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...

Seven Databases in Seven Weeks: A Guide to Modern Databases and the NoSQL Movement

Pragmatic Bookshelf, 2012

It has been said that data is the new oil. If this is so, then databases are the fields, the refineries, the drills, and the pumps. Data is stored in databases, and if you’re interested in tapping into it, then coming to grips with the modern equipment is a great start.

Databases are...

Bob Miller's Calc for the Clueless: Calc II

McGraw-Hill, 1997

Student Tested And Approved! If you suffer from math anxiety, then sign up for private tutoring with Bob Miller! Do logarithms, sines, and cosines leave you in a cold sweat? Vectors and derivatives send stress signals to your brain? If so, them you are like the many thousands of students--students of all ages, all levels--who are anxiously trying...

Difference Equations, Second Edition: An Introduction with Applications

Academic Press, 2000

Difference Equations, Second Edition, presents a practical introduction to this important field of solutions for engineering and the physical sciences. Topic coverage includes numerical analysis, numerical methods, differential equations, combinatorics and discrete modeling. A hallmark of this revision is the diverse application to...

A Primer for Mathematics Competitions

Oxford University Press, 2009

The importance of mathematics competitions has been widely recognized for three reasons: they help to develop imaginative capacity and thinking skills whose value far transcends mathematics; they constitute the most effective way of discovering and nurturing mathematical talent; and they provide a means to combat the prevalent false image of...

Differential Geometry: Bundles, Connections, Metrics and Curvature (Oxford Graduate Texts in Mathematics, Vol. 23)

Oxford University Press, 2011

Bundles, connections, metrics and curvature are the 'lingua franca' of modern differential geometry and theoretical physics. This book will supply a graduate student in mathematics or theoretical physics with the fundamentals of these objects.

Many of the tools used in differential topology are introduced and the...

Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

Springer, 2008

This book constitutes the refereed proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, held in Sydney, Australia, in August 2008. The 26 revised full research papers and 13 revised system descriptions presented together with 4 invited papers and a summary of the CASC-J4 systems competition were carefully...

Result Page: 14 13 12 11 10 9 8 7 6 5