Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Algorithmic Algebra (Monographs in Computer Science)
Algorithmic Algebra (Monographs in Computer Science)
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...
Software Abstractions : Logic, Language, and Analysis
Software Abstractions : Logic, Language, and Analysis
Software is built on abstractions. Pick the right ones, and programming
will flow naturally from design; modules will have small and simple interfaces;
and new functionality will more likely fit in without extensive
reorganization. Pick the wrong ones, and programming will be a series
of nasty surprises: interfaces will become
...
Calculus DeMYSTiFieD, Second Edition
Calculus DeMYSTiFieD, Second Edition

Calculus is one of the milestones of Western thought. Building on ideas of Archimedes, Fermat, Newton, Leibniz, Cauchy, and many others, the calculus is arguably the cornerstone of modern science. Any well-educated person  should at least be acquainted with the ideas of calculus, and a scientifically literateperson must know calculus...

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book concentrates on decision procedures for first-order theories that are commonly used in automated...
Statistics Hacks : Tips &Tools for Measuring the World and Beating the Odds
Statistics Hacks : Tips &Tools for Measuring the World and Beating the Odds

Want to calculate the probability that an event will happen? Be able to spot fake data? Prove beyond doubt whether one thing causes another? Or learn to be a better gambler? You can do that and much more with 75 practical and fun hacks packed into Statistics Hacks. These cool tips, tricks, and...

Riemannian Geometry: A Modern Introduction (Cambridge Studies in Advanced Mathematics)
Riemannian Geometry: A Modern Introduction (Cambridge Studies in Advanced Mathematics)
"Each chapter concludes with an excellent section of notes and advanced exercises with further results, with hints and sketches of solutions at the end of the book...I think that it is the best reference on Riemannian geometry available, especially for someone interested in isoperimetric problems...Chavel is one of about a dozen mathematics...
The Art and Craft of Problem Solving
The Art and Craft of Problem Solving

The newly revised Second Edtion of this distinctive text uniquely blends interesting problems with strategies, tools, and techniques to develop mathematical skill and intuition necessary for problem solving. Readers are encouraged to do math rather than just study it. The author draws upon his experience as a coach for the International...

Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002
Automated Deduction in Geometry: 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002
Automated deduction in geometry has several roots that go back to developments in the 20th century. These fundamental methods in ADG are the quantifier elimination method of Tarski and Collins, the method of characteristic sets of Ritt and Wu, and the Gröbner basis method of Buchberger. Based on these algorithmic techniques various geometric...
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland
Automata, Languages and Programming: 38th International Colloquium, ICALP 2011, Zurich, Switzerland

ICALP 2011, the 38th edition of the International Colloquium on Automata, Languages and Programming, was held in Z¨urich, Switzerland, during July 4–8, 2011. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which first took place in 1972. This year, the ICALP...

Classic Problems of Probability
Classic Problems of Probability

"Classic Problems of Probability" is the winner of the 2012 PROSE Award for Mathematics from The American Publishers Awards for Professional and Scholarly Excellence.

"A great book, one that I will certainly add to my personal library."
--Paul J. Nahin, Professor Emeritus of Electrical
...

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)
This book describes the specification and proof of a compiler for a realistically complicated assembly-level language. The book defines the state of the art in machine check proofs of software. Piton is a simple assembly-level programming language for a microprocessor called the FM9001 described at the machine code level. The correctness of...
Geometric Problems on Maxima and Minima
Geometric Problems on Maxima and Minima
Questions of maxima and minima have great practical significance, with applications to physics, engineering, and economics; they have also given rise to theoretical advances, notably in calculus and optimization. Indeed, while most texts view the study of extrema within the context of calculus, this carefully constructed problem book takes a...
unlimited object storage image
Result Page: 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy