Parallel Programming كتب
48-960 من 20,000

Sams teach yourself microsoft xna game studio express in 24 hours is a 24-part book that teaches you how to design, build, and execute fully functional 2d and 3d video games on both personal computers...

A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical ex...

This hands-on guide explains how to get the most out of an apple mac, imac, macbook, or mac mini.

Discover the benefits of applying algorithms to solve scientific, engineering, and practical problems providing a combination of theory, algorithms, and simulations, handbook of applied algorithms pr...

As a flash 8 designer, you have discovered the power of the video tools in the application.

How to create a simulation where participants have a sense of freedom and personal control while still maintaining the structure necessary for an effective story is a difficult task indeed.

The first haifa verification conference was held at the ibm haifa research lab and at the haifa university in israel from november 13 to16, 2005.

How to build a state-of-the-art gui using the wxpython toolkit.

Bradygames’ titan quest official strategy guide includes the following: a comprehensive walkthrough of the entire game.

If you re a beginner looking for a new approach to mastering the basic features of sonar 5, then sonartm 5 csi starter is the guide you ve been looking for.

It is our pleasure to provide you with the volume containing the proceedings of the 5th international conference on parallel processing and applied mathe- tics, which was held in cz, estochowa, a poli...

Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm.

Compares html, xhtml, and xml, and includes examples of how xml is being used to help readers appreciate the power of xml.

This book will take you through c# and all the key features of the.

Portal - portugal for natural language processing - follows two previous c- ferences: fractal, held at the universite de franche-comte, besan, con (france), in december 1997, and vextal, held at venic...

The book is based on the best practices of the ut software quality institute software project management certificates program.

This book constitutes the thoroughly refereed post-proceedings of the 9th international workshop on the design, specification, and verification of interactive systems, dsv-is 2002, held in rostock, ge...

This text constitutes the thoroughly refereed post-proceedings of the third international andrei ershov memorial conference, psi 99, held in akademgorodok, novosibirsk, russia, in july 1999.

Formal languages provide the theoretical underpinnings for the study of programming languages as well as the foundations for compiler design.

Cvs and source code management for networked groups is presented topic-by-topic, from the introduction to expert-level use.

This instructor s manual and reader s guide accompanies the second edition of structure and interpretation of computer programs, by harold abelson and gerald jay sussman with julie sussman.

Every commercial organization is looking for ways to capitalize on the world wide web.

Presenting a complete systems framework, this text shows how to prepare for the specific risks associated with enterprise software systems which cannot properly support dates after 1999.

This volume constitutes the proceedings of the third international conference on the mathematics of program construction, held at kloster irsee, germany in july 1995.

This volume comprises the 61 revised refereed papers accepted for presentation at the icec/ppsn iii conferences held jointly in jerusalem, israel in october 1994.

Iccal, the international conference on computers and learning, is a forum for the exchange of ideas and presentation of developments in the theory andpractice of computer uses in education, with a foc...

Software process technology emerged as an identified research and development activity in the early 1980s.

Providing an introduction to the theory of computation, this work emphasizes formal languages, automata and abstract models of computation, and computability.

Book by intel corporation.