Learn IT - Books tags logic

First-Order Dynamic Logic (Lecture Notes in Computer Science)

Springer, 1979

This is a research monograph intended primarily for those researchers in Theoretical Computer Science interested in the areas of logics of programs, programming language semantics and program verification. It is also aimed at mathematically-inclined researchers in Logic, Linguistics and Philosophy, interested in a well-motivated...

Practical Data Analysis with JMP

SAS Institute, 2010

Being an effective analyst or a well-informed consumer of analyses requires that you know how to properly define the problem, apply suitable statistical techniques, and clearly and honestly communicate the results. Being a well-informed consumer of analyses requires the same skills so that you can recognize them in action. Robert Carver's...

Ceramic, Art and Civilisation

Bloomsbury Publishing, 2021

In his major new history, Paul Greenhalgh tells the story of ceramics as a story of human civilisation, from the Ancient Greeks to the present day. As a core craft technology, pottery has underpinned domesticity, business, religion, recreation, architecture, and art for millennia. Indeed, the history of ceramics parallels the...

Reconfigurable Computing: Accelerating Computation with Field-Programmable Gate Arrays

Springer, 2005

This volume is unique: the first comprehensive exposition of the exciting new field of Reconfigurable Computing with FPGAs. By mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases over microprocessors for a large range of application domains. Reconfigurable computing is found in...

Grails 1.1 Web Application Development

Packt Publishing, 2009

Web development is tricky--even a simple web application has a number of context changes ready to trip up the unwary. Grails takes the everyday pain out of web application development, allowing us to focus on delivering real application logic and create seamless experiences that will address the needs of our users. This book will take the pain out...

Automated and Algorithmic Debugging: First International Workshop, AADEBUG '93, Link6ping, Sweden, May 3-5, 1993. Proceedings

Springer, 1993

This volume contains a selection of the papers which were accepted for presentation at AADEBUG'93, the First International Workshop on Automated and Algorithmic Debugging, held in Link6ping, Sweden, 3-5 May 1993.

The area referred to as automated debugging has seen major developments over the last decade. One especially successful area...

Hardware Hacking Projects for Geeks

O'Reilly, 2003

Put a hacker in a room with a Furby for a weekend and you'll hear a conversation that's fairly one-sided in its originality. Toss in an 802.11b network card, a soldering iron, wire cutters, a logic probe, and a few other carefully selected tools and materials and you'll have potential. Add a copy of Hardware Hacking Projects for...

Driving Technical Change

Pragmatic Bookshelf, 2010

Finding cool languages, tools, or development techniques is easy-new ones are popping up every day. Convincing co-workers to adopt them is the hard part. The problem is political, and in political fights, logic doesn't win for logic's sake. Hard evidence of a superior solution is not enough. But that reality can be tough for...

JavaServer Faces: Introduction by Example

Apress, 2014

This book is about using JavaServer Faces to create and deploy interactive applications delivered to end users via a browser interface. JavaServer Faces is the component-based technology enabling easy development of such applications, especially applications of the type commonly needed in enterprise environments. JavaServerFaces:...

NetBeans Enterprise Pack: Building SOA Applications

Packt Publishing, 2008

Composite applications aid businesses by stitching together various componented business capabilities. In the current enterprise scenario, empowering business users to react quickly to the rapidly changing business environment is the top most priority. With the advent of composite applications the 'reuse' paradigm has moved from the technical...

Learning Game Physics with Bullet Physics and OpenGL

Packt Publishing, 2013

Practical 3D physics simulation experience with modern feature-rich graphics and physics APIs

Overview

Create your own physics simulations and understand the various design concepts of modern games

Build a real-time complete game application, implementing 3D graphics and physics entirely...

Corona SDK Hotshot

Packt Publishing, 2013

A detailed guide with 10 projects specifically designed to expand the fundamentals of this exciting mobile development platform!

Overview

Ten fully developed code projects that build on previous projects and present new techniques.

Freely reusable art and sound files included with every...

Result Page: 82 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 65 64