Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
This book is the result of an evolutionary process which took place over a number of years. The contents of this book are based on my seminar for experienced software developers, which I instruct internationally, andon courses which I have taught as an external lecturer in the Informatics Department of the Johann Wolfgang Goethe University in...
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)
The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although...

Problem Solving and Programming Concepts (9th Edition)
Problem Solving and Programming Concepts (9th Edition)

Knowledge of problem solving and programming concepts is necessary for those who develop applications for users. Unfortunately, many students have greater difficulty with problem solving than they do with the syntax of computer languages. The art of programming is learning multiple techniques and applying those techniques to specific...

iPad All-in-One For Dummies
iPad All-in-One For Dummies

Slate-style computers have been around for a few years, but it took Apple to make them catch on with the general public in a big way when it introduced the iPad. This small, less than a pound-and-a-half wonder has sold millions of units in its first year for good reason: It’s well designed, feature rich, and opens up a world of...

Advances in Data Mining - Theoretical Aspects and Applications: 7th Industrial Conference, ICDM 2007
Advances in Data Mining - Theoretical Aspects and Applications: 7th Industrial Conference, ICDM 2007

The papers in this volume represent the proceedings of the 7th Industrial Conference on Data Mining. They are organized into topical sections on aspects of classification and prediction, clustering, web mining, data mining in medicine, applications of data mining, time series and frequent pattern mining, and association rule mining. Readers...

Smashing WebKit (Smashing Magazine Book Series)
Smashing WebKit (Smashing Magazine Book Series)

The ultimate guide to WebKit from the world's most popular resource for web designers and developers

As the default browser for both iPhone and Android, WebKit has become a major player in the mobile arena, offering a wider array of HTML5 and CSS3 support than any other major engine. Written by expert author Jon Raasch,...

Fundamentals of Digital Image Processing: A Practical Approach with Examples in Matlab
Fundamentals of Digital Image Processing: A Practical Approach with Examples in Matlab

This is an introductory to intermediate level text on the scienceof image processing, which employs the Matlab programming languageto illustrate some of the elementary, key concepts in modern imageprocessing and pattern recognition. The approach taken isessentially practical and the book offers a framework within whichthe concepts can be...

Beginning PHP and PostgreSQL E-Commerce: From Novice to Professional
Beginning PHP and PostgreSQL E-Commerce: From Novice to Professional

The PHP language and PostgreSQL database server have long offered an ideal blend of practicality and power for both the novice and experienced programmer alike. Yet the continued evolution of both technologies makes them better suited to drive enterprise-class applications than ever before. In Beginning PHP and PostgreSQL E-Commerce: From...

Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004
Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004
Napoleon once shot at a magazine editor and missed him and killed a publisher. But we remember with charity, that his intentions were good.” Fortunately, we live in more forgiving times, and are openly able to express our pleasure at being the editors of this volume containing the papers selected for presentation at the 14th International...
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...
Control and Automation: International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference
Control and Automation: International Conference, CA 2009, Held as Part of the Future Generation Information Technology Conference

As future generation information technology (FGIT) becomes specialized and fragmented, it is easy to lose sight that many topics in FGIT have common threads and, because of this, advances in one discipline may be transmitted to others. Presentation of recent results obtained in different disciplines encourages this interchange for the...

Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach
This text developed out of our experiences teaching courses covering the formal semantics of programming languages. Independently we both developed laboratory exercises implementing small programming languages in Prolog following denotational definitions. Prolog proved to be an excellent tool for illustrating the formal semantics of programming...
Result Page: 134 133 132 131 130 129 128 127 126 125 124 123 122 121 120 119 118 117 116 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy