 |
|
 Logic in Computer Science: Modelling and Reasoning about SystemsRecent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound... | | Flash 3D Cheats Most WantedDigital 3D is a tricky area &emdash; and until the day someone makes 3D TV commercially viable, its going to remain a tricky area. What is 3D? Can you genuinely render 3D on a flat screen? Do you have to spend a years wages to get a dedicated piece of 3D software? Do you have to conjure up a bunch of complex math techniques to make the... | | |
|
PHP and MySQL: Create - Modify - ReuseI ’ m especially amazed at how the Internet has grown and evolved over the past decade or so. It has grown from a collection of static text documents connected by a few hyperlinks to a platform for delivering rich, distributed applications. And when it comes time to develop these web - based applications, many programmers are choosing PHP and... | | Photoshop 7 in No TimeThis is a book about Photoshop 7. Photoshop is Adobe’s venerable imageediting software, the darling of creative professionals everywhere. With Photoshop, you can prepare artwork for print and the Web, create and edit pixel-based graphics, repair damaged photographs, apply special effects, and convert graphics files from one format to another.... | | High Performance MySQL: Optimization, Backups, Replication, and MoreHigh Performance MySQL is the definitive guide to building fast, reliable systems with MySQL. Written by noted experts with years of real-world experience building very large systems, this book covers every aspect of MySQL performance in detail, and focuses on robustness, security, and data integrity. High Performance MySQL teaches you advanced... |
|
|
Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports (Lecture Notes in Computer Science)This year, for the eighth time, the European Conference on Object-Oriented Programming (ECOOP) series, in cooperation with Springer, is glad to offer the object-oriented research community the ECOOP 2004 Workshop Reader, a compendium of workshop reports pertaining to the ECOOP 2004 conference, held in Oslo from June 15 to 19, 2004.
ECOOP... | | E-Learning Methodologies and Computer Applications in ArchaeologyTools of data comparison and analysis are critical in the field of archaeology, and the integration of technological advancements such as geographic information systems, intelligent systems, and virtual reality reconstructions with the teaching of archaeology is crucial to the effective utilization of resources in the field.
E-Learning... | | The OPEN Process Framework: An IntroductionThe OPEN Process Framework provides a template for generating flexible, yet disciplined, processes for developing high-quality software and system applications within a predictable schedule and budget. Using this framework as a starting point, you can create and tailor a process to meet the specific needs of the project.
If you are a project... |
|
| Result Page: 681 680 679 678 677 676 675 674 673 672 671 670 669 668 667 666 665 664 663 |
