software modeling : 108 results priced between £10.00 and £100.00

Design of Multithreaded Software: The Entity-Life Modeling Approach by Bo I. Sandén (Author) Format: Hardcover (320 pages) ISBN 10: 047087659X ISBN 13: 9780470876596 Publisher: Wiley-Blackwell Published: 15 Feb 2011 Temporarily out of stock Item Condition: Brand New Price: £64.77 Temporarily out of stock Add to wishlist Or buy from Amazon.co.uk

This book presents the current state-of-the-art in environmental modelling and software and identifies the future challenges in the field.

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done...

Featuring electronic structure codes, this book illustrates theoretical methods with numerical detail and model calculations. It clarifies what these modeling programs can do, their known pathologies, which ones are suited for specific kinds of projects, and how to reproduce them using the accompanying PC-LOBE bundled software.

'Game Modeling Using Low Polygon' Description The multi-billion dollar computer game industry is growing at an incredible rate, and the competition to produce real-time games with faster, more realistic effects is fierce. Mastering real-time issues is a challenge for even the most seasoned developers, but one essential tool for overcoming real-time problems is to use low polygon models. The Art of Low Polygon Count Modeling teaches modelers how to create game-ready 3D models using any 3D application...

Spatial Modeling in Natural Sciences and Engineering - Software Development and Implementation

All you need to know to model and design software applications from use cases to software architectures in UML.

Stephan Merz is a researcher at INRIA Lorraine (Nancy, France). He is interested in formal methods for the analysis and construction of reliable software systems, in particular temporal logic, refinement, and the automated and interactive verification of distributed systems. <P> Nicolas Navet is a researcher in Real-Time Systems at INRIA Lorraine (Nancy, France). His research interests include real-time scheduling, probalistic modeling and computational intelligence, with applications to automotive...

'Simulation Modeling and Analysis WITH Expertfit Software' Description Since the publication of the first edition in 1982, the goal of "Simulation Modeling and Analysis" has always been to provide a comprehensive, state-of-the-art, and technically correct treatment of all important aspects of a simulation study. The book strives to make this material understandable by the use of intuition and numerous figures, examples, and problems. It is equally well suited for use in university courses, simulation...

Introduction: What is Modeling?; The Steps in Building a Model. The Difference Between Building a Model and Using a Model. Why Model Biological Systems?; Modeling Software: Review of Software. WinSAAM. Concepts and Tools of Modeling: Building Models in Sections. Techniques and Tools to Facilitate Model Development. Strategies for Modeling Biological Systems: Experimental Design and Data Collection. Starting Modeling and Developing a Model. Rejecting Hypotheses and Accepting a Model. Model Summarization...

Modeling Software (Environmental Hydraulics Series)

This series of five volumes proposes an integrated description of physical processes modeling used by scientific disciplines from meteorology to coastal morphodynamics.

Business Process Modeling

Updated look at financial modeling and Monte Carlo simulation with software by Oracle Crystal Ball This revised and updated edition of the bestselling book on financial modeling provides the tools and techniques needed to perform spreadsheet simulation. It answers the essential question of why risk analysis is vital to the decision-making process, for any problem posed in finance and investment. This reliable resource reviews the basics and covers how to define and refine probability distributions...

Readers can learn how to animate like Hollywood pros, because the author is one. The companion Web site provides sample models, graphics, characters and trial software.

Modeling and software have become key instruments used to promote sustainability and improve environmental decision processes, especially through systematic integration of various knowledge and data and their ability to foster learning and help make predictions. This book presents the advances in environmental modeling and software.

3D Modeling and Animation: Synthesis and Analysis Techniques for the Human Body aims to cover the areas of modeling and animating 3D synthetic human models at a level that is useful to students, researchers, software developers and content generators. This book provides a reference for the state-of-the-art methods, delivered by the leading researchers in this area, who are invited to contribute to the appropriate chapters according to their expertise. The reader will be presented with the latest...

Product Description Explains how to incorporate effective domain modeling into the software development process. This book offers readers a systematic approach to domain-driven design, presenting a set of design best practices, experience-based techniques, and fundamental principles that facilitate the development of software projects facing complex domains.

Learning to model is one of the most difficult challenges a 3D artist will face, a process often hampered by books and online tutorials that teach users to perform a set of tasks but rarely explain why. More than a mere exposition of the software, this book is specifically designed to transform new users into confident 3D modelers. It features techniques for visualising objects in 3D space, explanations on every facet of LightWave Modeler, techniques for modeling with polygons, splines, and subpatches...

The new edition of this standard text guides biomedical researchers in the selection and use of advanced statistical methods and the presentation of results to clinical colleagues. It assumes no knowledge of mathematics beyond high school level and is accessible to anyone with an introductory background in statistics. The Stata statistical software package is again used to perform the analyses, this time employing the much improved version 10 with its intuitive point and click as well as character...

Discusses how commercial GIS software provides a powerful suite of analytical and modeling tools, as well as sophisticated visualization methods, all within a seamless GIS environment.

About this book Updated look at financial modeling and Monte Carlo simulation with software by Oracle Crystal Ball This revised and updated edition of the bestselling book on financial modeling provides the tools and techniques needed to perform spreadsheet simulation. It answers the essential question of why risk analysis is vital to the decision-making process, for any problem posed in finance and investment. This reliable resource reviews the basics and covers how to define and refine probability...

This book presents current research in the study of expert system software, including algorithms based on paraconsistent annotated logic in expert systems; expert flow systems in the agronomical, industrial, environmental, pharmaceutical and geological fields; expert systems in remote sensing; domain-wide expert system applications; modeling a parser as an expert system; embedded expert systems for flow control of delay sensitive real-time traffic in WLANs; expert systems in fund-raising management...

Introduction to Solid Modeling Using SolidWorks [registered] 2012 presents keystroke-level tutorials, providing users new to the SolidWorks [registered] program with all the detail they need to become confident using the software. Topics are illustrated and infused with examples from the real world such as flanges, brackets, helical springs, and more. Additionally, this easy-to-use guide has modular chapters, allowing for flexible organization of a course or self-study. Accessible and updated for...

Are you ready to take on the challenge of animating realistic and compelling characters using the latest version of Maya, the powerful 3D graphics and modeling software? "Maya[registered] 2008 Character Modeling and Animation: Principles and Practices" shows beginner to intermediate animation students and enthusiasts how to create professional-quality characters, explaining the full character animation process from pre-production to final full body and facial animation. Each chapter begins by exploring...

Modeling Tools for Environmental Engineers and Scientists enables environmental professionals, faculty, and students with minimal computer programming skills to develop computer-based mathematical models for natural and engineered environmental systems. The author illustrates how commercially available syntax-free authoring software can be adapted to create customized, high-level models of environmental phenomena in groundwater, soil, aquatic, and atmospheric systems, and in engineered reactors...

Chapter 1 The software lifecycle; Chapter 2 The Software Process; Chapter 3 Project Management; Chapter 4 Software Metrics; Chapter 5 Software Project Planning; Chapter 6 Risk analysis and Management; Chapter 7 Project Scheduling and Tracking; Chapter 8 Software Quality Assurance; Chapter 9 Software Configuration Management; Chapter 10 Requirements Analysis; Chapter 11 Analysis Modeling; Chapter 12 Design Concepts and Principles; Chapter 13 Software Testing Techniques; Chapter 14 Software Metrics...

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph transformation, algebraic specification and logic, and formal and visual...

This text, with ground water modelling software, is a program for unsteady ground water flow problems in multilayered aquifers (confined, semi-confined, and unconfined aquifers, one to five layers) for IBM-PC compatibles. For use by ground water modelers, this book bridges the gap between theory and practice, ultimately focusing on practice and applications.

Quick Overview An introduction to the Unified Modeling Language for students learning about object- and component-based software design and development. This book places UML in the context of the software engineering discipline as a whole, providing students with a practical understanding of good practice in software design and development.

Dimensional metrology is an essential part of modern manufacturing technologies, but the basic theories and measurement methods are no longer sufficient for today's digitized systems. The information exchange between the software components of a dimensional metrology system not only costs a great deal of money, but also causes the entire system to lose data integrity. Information Modeling for Interoperable Dimensional Metrology analyzes interoperability issues in dimensional metrology systems and...

This title includes a book and DVD. "3ds Max Modeling" offers an unparalleled, project-based learning strategy for graphic designers, illustrators, video producers, motion graphic artists, visual effects artists, and animators who are interested in getting the most out of 3ds Max modelling. Because the book touches on nearly every aspect of the software, Max users of all skill levels will find some benefit, though this book is primarily targeted to 3D artists seeking to learn 3ds Max to add it to...

'Building Information Modeling for Construction Using Archicad' Description Learn the feature-rich software that will help you quickly and effectively complete design building information modeling (BIM) tasks! BIM for Construction Using ArchiCAD focuses on this exciting software from Graphisoft and how it applies to architecture and construction. The book begins with a discussion of the current state of BIM, then progresses to architectural site plans, structural drawings, and then HVAC, Electrical...

Modelling techniques; model software - modflow, modpath/modpath-plot, moc, sutra, intersat/intertrans; geostatistical software - geopack; commercial graphics software - graphs, gridding data; commercial cad software; commercial word processor software - model database files; commercial compiler software - compile and link source codes; utility programmes - techniques, operation.

Best-selling author and database expert with more than 25 years of experience modeling application and enterprise data, Dr. Michael Blaha provides tried and tested data model patterns, to help readers avoid common modeling mistakes and unnecessary frustration on their way to building effective data models. Unlike the typical methodology book, Patterns of Data Modeling provides advanced techniques for those who have mastered the basics. Recognizing that database representation sets the path for software...