Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer

In the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the...

Semantic Computing
Semantic Computing

Presents the state of the technology and points to future directions for semantic computing

Semantic computing, a rapidly evolving interdisciplinary field, seeks to structure, design, and manipulate computer content to better satisfy the needs and intentions of users and create a more meaningful user experience. This...

Writing mental ray® Shaders: A Perceptual Introduction (mental ray® Handbooks)
Writing mental ray® Shaders: A Perceptual Introduction (mental ray® Handbooks)

The word "render" isn't unique to the vocabulary of computer graphics. We can talk about a "watercolor rendering," a "musical rendering" or a "poetic rendering." In each of these, there is a transformation from one domain to another: from the landscape before the painter to color on paper, from...

Type Theory and Functional Programming (International Computer Science Series)
Type Theory and Functional Programming (International Computer Science Series)

This book explores the role of Martin-Lof s constructive type theory in computer programming. The main focus of the book is how the theory can be successfully applied in practice. Introductory sections provide the necessary background in logic, lambda calculus and constructive mathematics, and exercises and chapter summaries are included to...

Human-in-the-Loop Simulations: Methods and Practice
Human-in-the-Loop Simulations: Methods and Practice

Both the editors of this book were exposed to human-in-the-loop simulations while pursuing their doctoral degrees in the Center for Human-Machine Systems at Georgia Tech. In fact, S. Narayanan served as Ling Rothrock’s teaching assistant for the simulation course taught by Prof. Christine Mitchell. It has been over 15 years...

Regular Expressions Cookbook
Regular Expressions Cookbook
Over the past decade, regular expressions have experienced a remarkable rise in popularity. Today, all the popular programming languages include a powerful regular expression library, or even have regular expression support built right into the language. Many developers have taken advantage of these regular...
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...

Combinatorial Algorithms for Computers and Calculators (Computer science and applied mathematics)
Combinatorial Algorithms for Computers and Calculators (Computer science and applied mathematics)

Since the appearance in 1975 of this work, the field of combinatorial algorithms has continued its rapid evolution. We have substantially rewritten several of the chapters in order to take account of theoretical or algorithmic improvements, and to clarify the presentation.

The result has been that a number of speedups,
...

Peopleware: Productive Projects and Teams (3rd Edition)
Peopleware: Productive Projects and Teams (3rd Edition)

Peopleware has long been one of my two favorite books on software engineering. Its underlying strength is its base of immense real experience, much of it quantified. Many, many varied projects have been reflected on and distilled; but what we are given is not just lifeless distillate, but vivid examples from...

Photoshop for the Web: Covers Photoshop 5.5 and ImageReady 2.0
Photoshop for the Web: Covers Photoshop 5.5 and ImageReady 2.0

In this second edition, author Mikkel Aaland updatesPhotoshop for the Web to include important new techniques and workarounds for the latest release of Photoshop--version 5.5. The first edition was loaded with step-by-step examples and real-world solutions from some of the world's hottest Web sites. The second edition adds...

Dissecting the Hack: The V3rb0t3n Network
Dissecting the Hack: The V3rb0t3n Network

Dissecting the Hack: The V3rb0t3n Network ventures further into cutting-edge techniques and methods than its predecessor, Dissecting the Hack: The F0rb1dd3n Network. It forgoes the basics and delves straight into the action, as our heroes are chased around the world in a global race against the clock. The danger they face will...

Cellular Automata and Discrete Complex Systems: 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings (Lecture Notes in Computer Science)
Cellular Automata and Discrete Complex Systems: 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings (Lecture Notes in Computer Science)

The volume LNCS 8155 constitutes the refereed proceedings of the 19th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2013, held in Giessen, Germany, in September 2013. The 8 papers presented were carefully reviewed and selected from 26 submissions. The scope of the workshop spans the following areas the...

unlimited object storage image
Result Page: 660 659 658 657 656 655 654 653 652 651 650 649 648 647 646 645 644 643 642 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy