Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The Austin Protocol Compiler (Advances in Information Security)
The Austin Protocol Compiler (Advances in Information Security)

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. The Austin Protocol Compiler illustrates that two types of semantics of TAP are equivalent. Thus, the correctness of TAP specification of some protocol, that is established based on the...

Learning the iOS 4 SDK for JavaScript Programmers: Create Native Apps with Objective-C and Xcode
Learning the iOS 4 SDK for JavaScript Programmers: Create Native Apps with Objective-C and Xcode

You don’t have to be an Apple fanboy or fangirl to give Apple Inc. credit for redefining mobile gadgetry and its surrounding industries. First the company used the iPod to reshape the music industry and strongly influence how we acquire and consume tunes. Just count the number of people wearing iPod-connected earbuds in a subway car....

Learn Java for Android Development
Learn Java for Android Development

Android development is hot, and many programmers are interested in joining the fun. However, because this technology is based on Java, you should first obtain a solid grasp of the Java language and its foundational APIs to improve your chances of succeeding as an Android app developer. After all, you will be busy learning the architecture of...

Programming Video Games for the Evil Genius
Programming Video Games for the Evil Genius
IF EVIL'S YOUR NAME, THEN THESE ARE YOUR GAMES!

Always wanted to be a genius game creator? This Evil Genius guide goes far beyond a typical programming class or text to reveal insider tips for breaking the rules and constructing wickedly fun games that you can tweak and customize to suit your needs!

In...

Programming Language Pragmatics, Second Edition
Programming Language Pragmatics, Second Edition
"Michael Scott's book could have been entitled: Why Programming Languages Work. It takes a fresh look at programming languages by bringing together ideas and techniques usually covered in disparate language design, compiler, computer architecture, and operating system courses. Its comprehensive and integrated presentation of language...
Computer Systems: A Programmer's Perspective (2nd Edition)
Computer Systems: A Programmer's Perspective (2nd Edition)

This book (CS:APP) is for computer scientists, computer engineers, and others

who want to be able to write better programs by learning what is going on “under the hood” of a computer system.

Our aim is to explain the enduring concepts underlying all
...
.NET Windows Forms Custom Controls
.NET Windows Forms Custom Controls

The intent of this book is to teach .NET developers the skills necessary to create their own leading edge custom controls. The art of creating custom controls has never been truly explored in detail, often the examples provided are trivial and do not begin to explore the requirements need for a commercial quality custom control. This book will...

Solaris Application Programming (Solaris Series)
Solaris Application Programming (Solaris Series)
This book is a guide to getting the best performance out of computers running the Solaris operating system. The target audience is developers and software architects who are interested in using the tools that are available, as well as those who are interested in squeezing the last drop of performance out of the system.

The book caters to
...
Software Automatic Tuning: From Concepts to State-of-the-Art Results
Software Automatic Tuning: From Concepts to State-of-the-Art Results

Software automatic tuning is a technology paradigm enabling software adaptation to a variety of computational conditions. Originating from the stream of research works on highperformance computing, it is considered to be the most promising approach to the required performance advancements on the next generation supercomputing platforms. Also,...

Syntactic Pattern Recognition: An Introduction (Applied Mathematics and Computation; No. 14)
Syntactic Pattern Recognition: An Introduction (Applied Mathematics and Computation; No. 14)
This book was written to provide students, engineers, and scientists involved in pattern recognition, digital image processing, and artificial intelligence with a comprehensive introduction to the concepts and tech- niques of syntactic pattern recognition.

Syntactic pattern recognition is concerned with the
...
Synthetic Fuels Handbook (McGraw-Hill Handbooks)
Synthetic Fuels Handbook (McGraw-Hill Handbooks)
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...

C Interfaces and Implementations: Techniques for Creating Reusable Software
C Interfaces and Implementations: Techniques for Creating Reusable Software

Programmers are inundated with information about application programming interfaces, or APIs. Yet, while most programmers use APIs and the libraries that implement them in almost every application they write, relatively few create and disseminate new, widely applicable, APIs. Indeed, programmers seem to prefer to “roll their own”...

Result Page: 28 27 26 25 24 23 22 21 20 19 18 17 16 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy