Home | Amazing | Today | Tags | Publishers | Years | Search 
Real-Time Systems: Formal Specification and Automatic Verification
Real-Time Systems: Formal Specification and Automatic Verification
Real-time systems need to react to certain input stimuli within given time bounds. For example, an airbag in a car has to unfold within 300 milliseconds in a crash. There are many embedded safety-critical applications and each requires real-time specification techniques. This text introduces three of these techniques, based on logic and automata:...
Common Design Patterns for Symbian OS: The Foundations of Smartphone Software (Symbian Press)
Common Design Patterns for Symbian OS: The Foundations of Smartphone Software (Symbian Press)
Common Design Patterns for Symbian OS is the first design patterns book that addresses Symbian OS specifically. It introduces programmers to the common design patterns that help implement a large variety of applications and services on Symbian OS. The goal of the book is to provide the experience of Symbian's developers to a wider audience...
TCP/IP Professional Reference Guide
TCP/IP Professional Reference Guide
The TCP/IP suite has evolved from an academic networking tool to the driving force behind the Internet, intranets, and extranets. Advances in networking and communications software based upon the TCP/IP protocol suite has opened a new range of technologies that have the potential to considerably effect our lives. A comprehensive reference, TCP/IP...
Object Oriented Programming in Eiffel
Object Oriented Programming in Eiffel
Provides a clear introduction to the Eiffel programming language. Covers the language, logical assertions, and design of object-oriented systems, making it ideal for a new programmer or those unfamiliar with object-oriented programming. Paper. DLC: Object-oriented prog.

The book is an introductory text on Eiffel for the new
...
Terrorism and Homeland Security: An Introduction with Applications (The Butterworth-Heinemann Homeland Security Series)
Terrorism and Homeland Security: An Introduction with Applications (The Butterworth-Heinemann Homeland Security Series)
Terrorism and Homeland Security: An Introduction with Applications provides a comprehensive overview of terrorism, public and private sector counterterrorism, and "all hazards" emergency management. The book presents national, state, and local perspectives and up-to-date information, including the reorganization of the...
Sams Teach Yourself ASP.NET Ajax in 24 Hours
Sams Teach Yourself ASP.NET Ajax in 24 Hours
In just 24 sessions of one hour or less, you’ll learn how to build advanced web sites and applications with ASP.NET Ajax--and upgrade existing pages to deliver more power and business value. Using a straightforward, step-by-step approach, each lesson equips you with sufficient information and guides you to mastery of Ajax in real-world...
Maximum MIDI : Music Applications in C++
Maximum MIDI : Music Applications in C++
The seed for this book was planted in 1993. I found myself frustrated by the obstinate, poorly documented, and woefully inadequate MIDI functions available to me as a Windows programmer. So, I set out to write a set of routines that would allow me to write music applications without sweating the MIDI details.

This seemed like a
...
The Boundary Element Method with Programming: For Engineers and Scientists
The Boundary Element Method with Programming: For Engineers and Scientists
This is a thorough, yet understandable text about the boundary element method (BEM), an attractive alternative to the finite element method (FEM). It not only explains the theory, but also deals with the implementation into computer code written in FORTRAN 95 (software can be freely downloaded). Applications range from potential problems to static...
Advanced Video Coding: Principles and Techniques (Advances in Image Communication)
Advanced Video Coding: Principles and Techniques (Advances in Image Communication)
In recent years, the paradigm of video coding has shifted from that of a frame-based approach to a content-based approach, particularly with the finalization of the ISO multimedia coding standard, MPEG-4. MPEG-4 is the emerging standard for the coding of multimedia content. It defines a syntax for a set of content-based functionalities, namely,...
Solving Nonlinear Equations with Newton's Method (Fundamentals of Algorithms)
Solving Nonlinear Equations with Newton's Method (Fundamentals of Algorithms)
This small book on Newton's method is a user-oriented guide to algorithms and implementation. Its purpose is to show, via algorithms in pseudocode, in MATLAB®, and with several examples, how one can choose an appropriate Newton-type method for a given problem and write an efficient solver or apply one written by others.

This book is
...
The Object-Oriented Thought Process (3rd Edition) (Developer's Library)
The Object-Oriented Thought Process (3rd Edition) (Developer's Library)
The Object-Oriented Thought Process is a concise and readable primer. Matt Weisfeld's years of programming, teaching, and writing have given him a flair for presenting highly technical topics in a clear and interesting manner. He is able to blend abstract concepts with ingenious examples and clear illustrations to quickly teach powerful OOP...
Thinking in Java (4th Edition)
Thinking in Java (4th Edition)

Thinking in Java has earned raves from programmers worldwide for its extraordinary clarity, careful organization, and small, direct programming examples. From the fundamentals of Java syntax to its most advanced features, Thinking in Java is designed to teach, one simple step at a time.

...
Result Page: 516 515 514 513 512 511 510 509 508 507 506 505 504 503 502 501 500 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy