 |
|
 Real-Time Systems: Formal Specification and Automatic VerificationReal-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:... | | | | TCP/IP Professional Reference GuideThe 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 EiffelProvides 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... | | | | Sams Teach Yourself ASP.NET Ajax in 24 HoursIn 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++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 ScientistsThis 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)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)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 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 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 |
