Learn IT - Books tags compiler

Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series)

Springer, 1996

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

Programming 32-bit Microcontrollers in C: Exploring the PIC32 (Embedded Technology)

Newnes, 2008

The FIRST book on Microchip's latest and greatest 32-bit architecture: the PIC32 written by a true Microchip insider!

*Just months after the introduction of the new generation of 32-bit PIC microcontrollers, a Microchip insider and acclaimed author takes you by hand at the exploration of the PIC32

*Free CD-ROM...

OpenGL Game Programming w/CD (Prima Tech's Game Development)

Course Technology PTR, 2002

OpenGL® Game Programming teaches you how to use OpenGL to create dynamic 3D environments and effects for use in game development. Beginning with the histories of OpenGL and Microsoft® DirectX®, programming essentials for Microsoft Windows®, and 3D theory, you'll quickly move on to lessons on the functionality of OpenGL. Most of the...

Synthetic Fuels Handbook (McGraw-Hill Handbooks)

McGraw-Hill, 2008

Capitalize on the Vast Potential of Alternative Energy Sources Such as Fuel Cells and Biofuels

Synthetic Fuels Handbook is a comprehensive guide to the benefits and trade-offs of numerous alternative fuels, presenting expert analyses of the different properties, processes, and performance...

Microsoft Visual C++ Windows Applications by Example

Packt Publishing, 2008

With this book you will learn how to create applications using MDI, complex file formats, text parsing and processing, graphics, and interactions. Every essential skill required to build Windows desktop-style applications is covered in the context of fully working examples.

The book begins with a quick primer on the C++ language, and...

Oracle Database Programming Using Java and Web Services

Digital Press, 2006

The traditional division of labor between the database (which only stores and manages SQL and XML data for fast, easy data search and retrieval) and the application server (which runs application or business logic, and presentation logic) is obsolete. Although the books primary focus is on programming the Oracle Database, the concepts and...

Programming 16-Bit PIC Microcontrollers in C: Learning to Fly the PIC 24 (Embedded Technology)

Newnes, 2007

A Microchip insider tells all on the newest, most powerful PICs ever!

FREE CD-ROM includes source code in C, the Microchip C30 compiler, and MPLAB SIM software

Includes handy checklists to help readers perform the most common programming and debugging tasks

The new 16-bit PIC24 chip provides embedded programmers...

C++: No Experience Required

Sybex, 1997

This is how the idea of developing multimedia programs was born. Readers shouldn’t have to learn boring input/output stuff just to see what happens with their programs. If I could provide them with a suitable class library, they could learn how to manipulate these objects to produce sounds, pictures, and animations.

The resulting...

Fundamentals of Embedded Software: Where C and Assembly Meet

Prentice Hall, 2001

Fundamentals of Embedded Software: Where C and Assembly Meet is a refreshing alternative to the traditional sophomore text on computer organization and assembly language programming. The text approaches assembly the way it is commonly used in practiceÂ¿to implement small, fast, or special-purpose routines...

Designing Embedded Processors: A Low Power Perspective

Springer, 2007

As we embrace the world of personal, portable, and perplexingly complex digital systems, it has befallen upon the bewildered designer to take advantage of the available transistors to produce a system which is small, fast, cheap and correct, yet possesses increased functionality.

Increasingly, these systems have to consume little energy....

Software Visualization: Visualizing the Structure, Behaviour, and Evolution of Software

Springer, 2007

Software visualization encompasses the development and evaluation of methods for graphically representing different aspects of software, including its structure, its execution, and its evolution. Software visualization combines techniques from areas like software engineering, programming languages, data mining, computer graphics, information...

Learn Hardware Firmware and Software Design

O G Popa, 2005

LHFSD is a book unlike any other! It covers the title topics in an incredible manner, and everything WORKS! --Corollary Theorems May, 2005

This book is a Practical Design Project and it contains 3 Parts: 1.Hardware Design guides the reader towards building the LHFSD PCB with a Microchip dsPIC30F4011 microcontroller running...

Result Page: 28 27 26 25 24 23 22 21 20 19 18 17 16