Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The Calculus of Computation: Decision Procedures with Applications to Verification
The Calculus of Computation: Decision Procedures with Applications to Verification
Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art...
Handbook of Logic in Computer Science 5
Handbook of Logic in Computer Science 5
"Oxford University Press publishes a wonderful series of books entitled Handbook of Logic in Computer Science. ... Volume 5: Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read."--he Bulletin of Mathematics Books

Logic is now widely recognized as one of the foundational
...
Discrete Mathematics and its Applications
Discrete Mathematics and its Applications

Discrete Mathematics and its Applications is a focused introduction to the primary themes in a discrete mathematics course, as introduced through extensive applications, expansive discussion, and detailed exercise sets. These themes include mathematical reasoning, combinatorial analysis, discrete structures, algorithmic thinking, and enhanced...

Ruby Cookbook: Recipes for Object-Oriented Scripting
Ruby Cookbook: Recipes for Object-Oriented Scripting

Why spend time on coding problems that others have already solved when you could be making real progress on your Ruby project? This updated cookbook provides more than 350 recipes for solving common problems, on topics ranging from basic data structures, classes, and objects, to web development, distributed programming, and...

Structure-based Drug Discovery
Structure-based Drug Discovery

This book describes some of the most exciting developments for the discovery of new drugs, such as Fragment-based methods. It contains the latest developments in technologies that can be used to obtain the 3-D structures. This book includes experimental approaches using X-ray crystallography and NMR for Fragment-based screening as well as...

Clojure High Performance Programming - Second Edition
Clojure High Performance Programming - Second Edition

Become an expert at writing fast and high performant code in Clojure 1.7.0

About This Book

  • Enhance code performance by using appropriate Clojure features
  • Improve the efficiency of applications and plan their deployment
  • A hands-on guide to designing Clojure programs to get...
Professional Scala: Combine object-oriented and functional programming to build high-performance applications
Professional Scala: Combine object-oriented and functional programming to build high-performance applications

If your application source code is overly verbose, it can be a nightmare to maintain. Write concise and expressive, type-safe code in an environment that lets you build for the JVM, browser, and more.

Key Features

  • Expert guidance that shows you to efficiently use both object-oriented and...
Learning SQL on SQL Server 2005
Learning SQL on SQL Server 2005

Anyone who interacts with today's modern databases needs to know SQL (Structured Query Language), the standard language for generating, manipulating, and retrieving database information. In recent years, the dramatic rise in the popularity of relational databases and multi-user databases has fueled a healthy demand for...

The Rise and Decline of the State
The Rise and Decline of the State
The state, which since the middle of the seventeenth century has been the most important and most characteristic of all moderninstitutions, is in decline. From Western Europe to Africa, either voluntarily or involuntarily, many existing states are either combining into larger communities or falling apart. Regardless of whether they fall apart or...
Impact Tectonics (Impact Studies)
Impact Tectonics (Impact Studies)
From the reviews of the first edition:

"This book presents a wide-ranging view of some of the latest research into impacts and some useful reviews. … The book is richly illustrated throughout with pertinent photographs, maps, diagrams and graphs. … All of the articles are clearly written, contain good overviews of the related...

OpenGL ES 3.0 Programming Guide (2nd Edition)
OpenGL ES 3.0 Programming Guide (2nd Edition)

OpenGL®  ES is the industry’s leading software interface and graphics library for rendering sophisticated 3D graphics on handheld and embedded devices. The newest version, OpenGL ES 3.0, makes it possible to create stunning visuals for new games and apps, without compromising device performance or...

Getting Clojure: Build Your Functional Skills One Idea at a Time
Getting Clojure: Build Your Functional Skills One Idea at a Time

Behind every programming language lies a vision of how programs should be built. The vision behind Clojure is of a radically simple language framework holding together a sophisticated collection of programming features. Learning Clojure involves much more than just learning the mechanics of the language. To really get...

unlimited object storage image
Result Page: 132 131 130 129 128 127 126 125 124 123 122 121 120 119 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy