Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Computer Algebra and Symbolic Computation: Mathematical Methods
Computer Algebra and Symbolic Computation: Mathematical Methods
Computer algebra is the field of mathematics and computer science that is concerned with the development, implementation, and application of algorithms that manipulate and analyze mathematical expressions. This book and the companion text, Computer Algebra and Symbolic Computation: Mathematical Methods, are an introduction to the subject that...
Handbook of Mathematical Formulas and Integrals, Fourth Edition
Handbook of Mathematical Formulas and Integrals, Fourth Edition
This book contains a collection of general mathematical results, formulas, and integrals that occur throughout applications of mathematics. Many of the entries are based on the updated fifth edition of Gradshteyn and Ryzhik’s ”Tables of Integrals, Series, and Products,” though during the preparation of the book, results were also...
Logic Programming with Prolog
Logic Programming with Prolog
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...
Abstract Computing Machines
Abstract Computing Machines
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming...
Art of Computer Programming, Volume 1: Fundamental Algorithms
Art of Computer Programming, Volume 1: Fundamental Algorithms
The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming.

Byte, September 1995

I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars,...

Mastering Python Scientific Computing
Mastering Python Scientific Computing

A complete guide for Python programmers to master scientific computing using Python APIs and tools

About This Book

  • The basics of scientific computing to advanced concepts involving parallel and large scale computation are all covered.
  • Most of the Python APIs and tools used in scientific...
Data Science and Classification (Studies in Classification, Data Analysis, and Knowledge Organization)
Data Science and Classification (Studies in Classification, Data Analysis, and Knowledge Organization)
This volume contains a refereed selection of papers presented during the 10th Jubilee Conference of the International Federation of Classification Societies (IFCS) on Data Science and Classification held at the Faculty of Social Sciences of the University of Ljubljana in Slovenia, July 25-29, 2006. Papers submitted for the conference were subjected...
Principles of Model Checking
Principles of Model Checking
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a...
An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)
An Introduction to Kolmogorov Complexity and Its Applications (Texts in Computer Science)

“The book is outstanding and admirable in many respects. ... is necessary reading for all kinds of readers from undergraduate students to top authorities in the field.” Journal of Symbolic Logic

Written by two experts in the field, this is the only comprehensive and unified treatment of the central ideas and...

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004.
Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004.
This book constitutes the refereed proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2004, held in Linz, Austria in September 2004.

The 17 revised full papers and 4 revised short papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book....

Matthew's Enigma: A Father's Portrait of His Autistic Son
Matthew's Enigma: A Father's Portrait of His Autistic Son

Matthew's Enigma unfolds the complex relationship between a father, who is a Romanian emigré and distinguished university professor, and his son, who was diagnosed with autism when he was 7 years old. Matei Calinescu's desire to understand Matthew -- his namesake -- is the theme of this moving memoir. Calinescu's determined...

Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT 2008, held in Kyoto, Japan, September 2008.

The 36 revised full papers presented together with 6 invited papers were carefully reviewed and selected from 102 submissions. All important issues in language theory are...

unlimited object storage image
Result Page: 15 14 13 12 11 10 9 8 7 6 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy