This book, which is a rrMsion and extension of the original edition publi- shed in 1996 (see [2D with the German title Mathematik mit MA'nfCAD (Mathematics Using MA'nfCAD), discusses the use of the program system MAlHCAD(R) to solve mathematical problems with computers.
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context.
The fourth evolutionary/adaptive computing conference at the University of Plymouth again explores the utility of various evolutionary/adaptive search algorithms and complementary computational intelligence techniques within design and manufacturing.
Compiled by an experienced practitioner in the field, this book contains definitions of the major terms used in Reliability Engineering and Software Assessment.
System Development: A Strategic Framework looks at one of the key issues in the design and development of IT systems: the fact that the bulk of system development projects undertaken will fail to meet originally defined objectives.
A very large proportion of commercial and industrial concerns in the UK find their business competitiveness dependent on huge quantities of already installed, legacy IT.
If you are interested in understanding how the systematic use of task models in the design, development, and usability evaluation of interactive software applications can open new opportunities and possibilities then this book will help you do just that.
Symbolic C++: An Introduction to Computer Algebra Using Object-Oriented Programming provides a concise introduction to C++ and object-oriented programming, using a step-by-step construction of a new object-oriented designed computer algebra system - Symbolic C++.
Introducing Fortran 95 contains:- Lots of clear and simple examples highlighting the language features- Details of a variety of internet based sources which will prove invaluable for those seeking further information and support- Key features of the latest version of Fortran, including ISO Technical Reports TR 15580 and TR 15581This comprehensive introduction will be essential to the complete beginner who wants to learn the fundamentals of programming using a modern, powerful, expressive and safe language, and to those wanting to update their programming skills by making the move from earlier versions of Fortran.
Essential Dynamic HTML fast provides a step-by-step approach to discovering DHTML and its techniques - everything you need to know from standard HTML tags to Layers and DOM (Document Object Model).
Essential ColdFusion fast gives the reader a working knowledge of ColdFusion and how to use it and how it integrates with other web-based technologies.
1994 marks the year that the international version of ARlS Toolset - a software system capable of analysing, modelling and navigating business processes - was developed and released by the software and consulting company IDS Prof.
In The Unknowable I use LISP to compare my work on incompleteness with that of G6del and Turing, and in The Limits of Mathematics I use LISP to discuss my work on incompleteness in more detail.
New object-oriented technologies have been conceived and implemented over the past decade in order to manage complexity inherent in information systems development.
An Introduction to Object-Oriented Programming in C++ with applications in Computer Graphics introduces the reader to programming in C++ step by step from the simplest of C++ programs, through features such as classes and templates to namespaces.
A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe.
Components of System Safety contains the invited papers presented at the tenth annual Safety-critical Systems Symposium, held in Southampton, February 2002.
Right context, software reuse promises high value to businesses that develop software, opening the door to radical improvements in their software capability (productivity, cost, time to market).
Information is a key factor in business today, and data warehousing has become a major activity in the development and management of information systems to support the proper flow of information.
Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes.
Soft computing embraces various methodologies for the development of intelligent systems that have been successfully applied to a large number of real-world problems.
Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it.
This is one of the shorter books in the 21 volume Practitioner Book Series, but this is entirely appropriate for a text on the ubiquitous topic of Quality.