0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R250 - R500 (8)
  • R500+ (903)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer software packages > Computer graphics software

Prevention of Pressure Sores - Engineering and Clinical Aspects (Paperback): J.G. Webster Prevention of Pressure Sores - Engineering and Clinical Aspects (Paperback)
J.G. Webster
R2,260 Discovery Miles 22 600 Ships in 10 - 15 working days

Prevention of Pressure Sores: Engineering and Clinical Aspects collects together material from throughout the literature. The book first discusses the causes of pressure sores and then describes warning signs and behavior to prevent the incidence of pressure sores. It also examines the numerous different devices used to alleviate and prevent pressure sores, including various types of seat cushions, hospital beds, complex pressure relief methods, wheelchair pressure reliefs, and other preventative methods. After comparing the accuracy of various methods of measuring pressure distributions using different types of sensors, the book discusses the treatment of pressure sores. It contains a large number of references, allowing readers to refer back to the important original work in the different fields of this subject.

Biological and Artificial Intelligence Systems (Hardcover): E Clementi, S. Chin Biological and Artificial Intelligence Systems (Hardcover)
E Clementi, S. Chin
R5,302 Discovery Miles 53 020 Ships in 18 - 22 working days

Any study on the historical evolution of nations and countries points out the decisive importance of productivity trends. We are all very familiar with the main evolution which started with a hunting society at the dawn of civilization, then moved to an agricultural society, and quickly to craftsmanship and com merce. The beginning of the industrial society dates back to the end of the eighteenth century in England, with the introduction of the assembly line in the textile and smelting industries. However, in the last few decades, we are becoming more and more acutely aware of the paramount importance of the production of "information". Indeed, according to a few economists today, we should be classified as living in an information society which has superseded the industrial society. At this point it simply becomes necessary to talk about the computer informa tion industry, which is more and more pervading our lives, from the personal computer, to the workstation, to information networks and electronic mail, to the blueprint executed by robots, to the supercomputer necessary in any major scientific and engineering task. The computer has already brought about a momentous change in the production line - less and less man-size, more and more robot-size. But this rush to tech nical innovation has not stopped at this point. Artificial intelligence and expert systems are becoming a more and more important factor for production by many enterprises and activities.

An Introduction to NURBS - With Historical Perspective (Hardcover): David F. Rogers An Introduction to NURBS - With Historical Perspective (Hardcover)
David F. Rogers
R1,867 R1,453 Discovery Miles 14 530 Save R414 (22%) Ships in 10 - 15 working days


The latest from a computer graphics pioneer, An Introduction to NURBS is the ideal resource for anyone seeking a theoretical and practical understanding of these very important curves and surfaces. Beginning with Bezier curves, the book develops a lucid explanation of NURBS curves, then does the same for surfaces, consistently stressing important shape design properties and the capabilities of each curve and surface type. Throughout, it relies heavily on illustrations and fully worked examples that will help you grasp key NURBS concepts and deftly apply them in your work. Supplementing the lucid, point-by-point instructions are illuminating accounts of the history of NURBS, written by some of its most prominent figures.


Whether you write your own code or simply want deeper insight into how your computer graphics application works, An Introduction to NURBS will enhance and extend your knowledge to a degree unmatched by any other resource.
* Presents vital information with applications in many different areas: CAD, scientific visualization, animation, computer games, and more.
* Facilitates accessiblity to anyone with a knowledge of first-year undergraduate mathematics.
* Details specific NURBS-based techniques, including making cusps with B-spline curves and conic sections with rational B-spline curves.
* Presents all important algorithms in easy-to-read pseudocode-useful for both implementing them and understanding how they work.
* Provides C-code implementations of worked examples at http: //www.mkp.com/nurbs.
* Includes complete references to additional NURBS resources."

Discrete-Event Modeling and Simulation - Theory and Applications (Hardcover): Gabriel A. Wainer, Pieter J. Mosterman Discrete-Event Modeling and Simulation - Theory and Applications (Hardcover)
Gabriel A. Wainer, Pieter J. Mosterman
R3,598 R3,410 Discovery Miles 34 100 Save R188 (5%) Ships in 10 - 15 working days

Collecting the work of the foremost scientists in the field, Discrete-Event Modeling and Simulation: Theory and Applications presents the state of the art in modeling discrete-event systems using the discrete-event system specification (DEVS) approach. It introduces the latest advances, recent extensions of formal techniques, and real-world examples of various applications. The book covers many topics that pertain to several layers of the modeling and simulation architecture. It discusses DEVS model development support and the interaction of DEVS with other methodologies. It describes different forms of simulation supported by DEVS, the use of real-time DEVS simulation, the relationship between DEVS and graph transformation, the influence of DEVS variants on simulation performance, and interoperability and composability with emphasis on DEVS standardization. The text also examines extensions to DEVS, new formalisms, and abstractions of DEVS models as well as the theory and analysis behind real-world system identification and control. To support the generation and search of optimal models of a system, a framework is developed based on the system entity structure and its transformation to DEVS simulation models. In addition, the book explores numerous interesting examples that illustrate the use of DEVS to build successful applications, including optical network-on-chip, construction/building design, process control, workflow systems, and environmental models. A one-stop resource on advances in DEVS theory, applications, and methodology, this volume offers a sampling of the best research in the area, a broad picture of the DEVS landscape, and trend-setting applications enabled by the DEVS approach. It provides the basis for future research discoveries and encourages the development of new applications.

Entity-Relationship Modeling - Foundations of Database Technology (Hardcover, 2000 ed.): Bernhard Thalheim Entity-Relationship Modeling - Foundations of Database Technology (Hardcover, 2000 ed.)
Bernhard Thalheim
R2,876 R1,704 Discovery Miles 17 040 Save R1,172 (41%) Ships in 10 - 15 working days

Database technology and entity-relationship (ER) modeling have meanwhile reached the level of an established technology. This book presents the achievements of research in this field in a comprehensive survey. It deals with the entity-relationship model and its extensions with regard to an integrated development and modeling of database applications and, consequently, the specification of structures, behavior and interaction. Apart from research on the ER model and the syntax, semantics, and pragmatics of database modeling the book also presents techniques for the translation of the ER model into classical database models and languages such as relational, hierarchical, and network models and languages, and also into object-oriented models. The book is of interest for all database theoreticians as well as practitioners who are provided with the relevant foundations of database modeling.

Computational Diffusion MRI - MICCAI Workshop, Athens, Greece, October 2016 (Hardcover, 1st ed. 2017): Andrea Fuster, Aurobrata... Computational Diffusion MRI - MICCAI Workshop, Athens, Greece, October 2016 (Hardcover, 1st ed. 2017)
Andrea Fuster, Aurobrata Ghosh, Enrico Kaden, Yogesh Rathi, Marco Reisert
R4,391 R3,320 Discovery Miles 33 200 Save R1,071 (24%) Ships in 10 - 15 working days

This volume offers a valuable starting point for anyone interested in learning computational diffusion MRI and mathematical methods for brain connectivity, while also sharing new perspectives and insights on the latest research challenges for those currently working in the field. Over the last decade, interest in diffusion MRI has virtually exploded. The technique provides unique insights into the microstructure of living tissue and enables in-vivo connectivity mapping of the brain. Computational techniques are key to the continued success and development of diffusion MRI and to its widespread transfer into the clinic, while new processing methods are essential to addressing issues at each stage of the diffusion MRI pipeline: acquisition, reconstruction, modeling and model fitting, image processing, fiber tracking, connectivity mapping, visualization, group studies and inference. These papers from the 2016 MICCAI Workshop "Computational Diffusion MRI" - which was intended to provide a snapshot of the latest developments within the highly active and growing field of diffusion MR - cover a wide range of topics, from fundamental theoretical work on mathematical modeling, to the development and evaluation of robust algorithms and applications in neuroscientific studies and clinical practice. The contributions include rigorous mathematical derivations, a wealth of rich, full-color visualizations, and biologically or clinically relevant results. As such, they will be of interest to researchers and practitioners in the fields of computer science, MR physics, and applied mathematics.

Stochastic Finite Element Methods - An Introduction (Hardcover, 1st ed. 2018): Vissarion Papadopoulos, Dimitris G. Giovanis Stochastic Finite Element Methods - An Introduction (Hardcover, 1st ed. 2018)
Vissarion Papadopoulos, Dimitris G. Giovanis
R3,896 Discovery Miles 38 960 Ships in 10 - 15 working days

The book provides a self-contained treatment of stochastic finite element methods. It helps the reader to establish a solid background on stochastic and reliability analysis of structural systems and enables practicing engineers to better manage the concepts of analysis and design in the presence of uncertainty. The book covers the basic topics of computational stochastic mechanics focusing on the stochastic analysis of structural systems in the framework of the finite element method. The target audience primarily comprises students in a postgraduate program specializing in structural engineering but the book may also be beneficial to practicing engineers and research experts alike.

Photoshop 3D for Animators (Hardcover): Rafiq Elmansy Photoshop 3D for Animators (Hardcover)
Rafiq Elmansy
R4,756 R3,910 Discovery Miles 39 100 Save R846 (18%) Ships in 18 - 22 working days

Photoshop is not just for photographers anymore. Photoshop 3D for Animators is one of the only titles available that discusses 3D Photoshop techniques specifically for animators. Now with Adobe CS5, 3D Digital artists can integrate 3D models into Photoshop or create 3D models in Photoshop with the high capability to customize, edit and animate. With Photoshop 3D for Animators, explore the new 3D tools and techniques that will enhance your animation pipeline and workflows with the Adobe Suite softwares, including After Effects and Flash. Explore the ins and outs of Adobe Photoshop and expand your 3D expertise with the comprehensive guide to Adobe 3D toolset for animators. Customize Adobe CS5 tools for your specific, animation workflow and integrate your 3D models with Adobe Flash and the entire Adobe Suite platform with ease. Learn to manipulate 3D images as well as import 3D content from the Adobe creative suite. With in-depth, step-by-step tutorials, explore lighting, digital painting, texturing and rendering for 2D and 3D the power of Adobe Photoshop software. Enhance your digital workflow and expand your expertise with this hands-on guide to Photoshop CS5. Includes downloadable resources with source files, working samples and models.

Advances in Geometric Modeling (Hardcover, New): M Sarfraz Advances in Geometric Modeling (Hardcover, New)
M Sarfraz
R3,412 Discovery Miles 34 120 Ships in 18 - 22 working days

* Based on the new idea of gathering state of the art topics in Geometric Modeling together with techniques, applications, systems and tools
* The first book of its kind in that it incorporates several topics providing a class of practical solutions to problems in mathematical, engineering, and physical sciences
* Provides a valuable resource, focusing on interdisciplinary methods and affiliate research in the area

3D Technology in Fine Art and Craft - Exploring 3D Printing, Scanning, Sculpting and Milling (Hardcover): Bridgette Mongeon 3D Technology in Fine Art and Craft - Exploring 3D Printing, Scanning, Sculpting and Milling (Hardcover)
Bridgette Mongeon
R5,358 Discovery Miles 53 580 Ships in 10 - 15 working days

The possibilities for creation are endless with 3D printing, sculpting, scanning, and milling, and new opportunities are popping up faster than artists can keep up with them. 3D Technology in Fine Art and Craft takes the mystery out of these exciting new processes by demonstrating how to navigate their digital components and showing their real world applications. Artists will learn to incorporate these new technologies into their studio work and see their creations come to life in a physical form never before possible. Featuring a primer on 3D basics for beginners,interviews, tutorials, and artwork from over 80 artists, intellectual property rights information, and a comprehensive companion website, this book is your field guide to exploring the exhilarating new world of 3D. Follow step-by-step photos and tutorials outlining the techniques, methodologies, and finished products of master artists who have employed 3D technology in new and inventive ways Learn how to enlarge, reduce, and repurpose existing artwork and create virtual pieces in physical forms through a variety of mediums Research your options with an accessible list of pros and cons of the various software, 3D printers, scanners, milling machines, and vendors that provide services in 3D technology Listen to podcasts with the artists and learn more tips and tricks through the book's website at www.digitalsculpting.net

Prevention of Pressure Sores - Engineering and Clinical Aspects (Hardcover): J.G. Webster Prevention of Pressure Sores - Engineering and Clinical Aspects (Hardcover)
J.G. Webster
R6,061 Discovery Miles 60 610 Ships in 18 - 22 working days

Prevention of Pressure Sores: Engineering and Clinical Aspects collects together material from throughout the literature. The book first discusses the causes of pressure sores and then describes warning signs and behavior to prevent the incidence of pressure sores. It also examines the numerous different devices used to alleviate and prevent pressure sores, including various types of seat cushions, hospital beds, complex pressure relief methods, wheelchair pressure reliefs, and other preventative methods. After comparing the accuracy of various methods of measuring pressure distributions using different types of sensors, the book discusses the treatment of pressure sores. It contains a large number of references, allowing readers to refer back to the important original work in the different fields of this subject.

Optimization of Process Flowsheets through Metaheuristic Techniques (Hardcover, 1st ed. 2019): Jose Maria Ponce Ortega, Luis... Optimization of Process Flowsheets through Metaheuristic Techniques (Hardcover, 1st ed. 2019)
Jose Maria Ponce Ortega, Luis German Hernandez-Perez
R1,997 Discovery Miles 19 970 Ships in 10 - 15 working days

This textbook presents a general multi-objective optimization framework for optimizing chemical processes by implementing a link between process simulators and metaheuristic techniques. The proposed approach is general and shows how to implement links between different process simulators such as Aspen Plus (R), HYSIS (R), Super Pro Designer (R) linked to a variety of metaheuristic techniques implemented in Matlab (R), Excel (R), C++, and others, eliminating the numerical complications through the optimization process. Furthermore, the proposed framework allows the use of thermodynamic, design and constitutive equations implemented in the process simulator to implement any process. Aimed at graduate and undergraduate students, it presents introductory chapters for process simulators and metaheuristic optimization techniques and provides several worked exercises as well as proposed exercises. In addition, accompanying tutorial videos clearly explaining the implemented methodologies are available online. Also, some Matlab (R) routines are included as electronic supporting material.

Foundations of Physically Based Modeling and Animation (Hardcover): Donald House, John C. Keyser Foundations of Physically Based Modeling and Animation (Hardcover)
Donald House, John C. Keyser
R3,975 Discovery Miles 39 750 Ships in 10 - 15 working days

Physics forms the basis for many of the motions and behaviors seen in both the real world and in the virtual worlds of animated films, visual effects, and computer games. By describing the underlying physical principles and then creating simulations based on these principles, these computer-generated worlds are brought to life. Physically Based Modeling and Animation goes behind the scenes of computer animation and details the mathematical and algorithmic foundations that are used to determine the behavior underlying the movement of virtual objects and materials. Dr. Donald House and Dr. John Keyser offer an approachable, hands-on view of the equations and programming that form the foundations of this field. They guide readers from the beginnings of modeling and simulation to more advanced techniques, enabling them to master what they need to know in order to understand and create their own animations Emphasizes the underlying concepts of the field, and is not tied to any particular software package, language, or API. Develops concepts in mathematics, physics, numerical methods, and software design in a highly integrated way, enhancing both motivation and understanding. Progressively develops the material over the book, starting from very basic techniques, and building on these to introduce topics of increasing complexity. Motivates the topics by tying the underlying physical and mathematical techniques directly to applications in computer animation.

Multilevel Modeling Using Mplus (Paperback): Holmes Finch, Jocelyn Bolin Multilevel Modeling Using Mplus (Paperback)
Holmes Finch, Jocelyn Bolin
R1,819 Discovery Miles 18 190 Ships in 10 - 15 working days

This book is designed primarily for upper level undergraduate and graduate level students taking a course in multilevel modelling and/or statistical modelling with a large multilevel modelling component. The focus is on presenting the theory and practice of major multilevel modelling techniques in a variety of contexts, using Mplus as the software tool, and demonstrating the various functions available for these analyses in Mplus, which is widely used by researchers in various fields, including most of the social sciences. In particular, Mplus offers users a wide array of tools for latent variable modelling, including for multilevel data.

Multidimensional Data Visualization - Methods and Applications (Hardcover, 2012 ed.): Gintautas Dzemyda, Olga Kurasova, Julius... Multidimensional Data Visualization - Methods and Applications (Hardcover, 2012 ed.)
Gintautas Dzemyda, Olga Kurasova, Julius Zilinskas
R3,062 R1,911 Discovery Miles 19 110 Save R1,151 (38%) Ships in 10 - 15 working days

This book highlights recent developments in multidimensional data visualization, presenting both new methods and modifications on classic techniques. Throughout the book, various applications of multidimensional data visualization are presented including its uses in social sciences (economy, education, politics, psychology), environmetrics, and medicine (ophthalmology, sport medicine, pharmacology, sleep medicine).

The book provides recent research results in optimization-based visualization. Evolutionary algorithms and a two-level optimization method, based on combinatorial optimization and quadratic programming, are analyzed in detail. The performance of these algorithms and the development of parallel versions is discussed.

The encorporation of new visualization techniques to improve the capabilies of artificial neural networks (self-organizing maps, feed-forward networks) is also discussed.

The book includes over 100 detailed images presenting examples of the different visualization techniques that are presented.

This book is intended for scientists and researchers in any field of study where complex and multidimensional data must be represented visually.

Advanced Structural Equation Modeling - Issues and Techniques (Paperback): George A Marcoulides, Randall E. Schumacker Advanced Structural Equation Modeling - Issues and Techniques (Paperback)
George A Marcoulides, Randall E. Schumacker
R1,581 Discovery Miles 15 810 Ships in 10 - 15 working days

By focusing primarily on the application of structural equation modeling (SEM) techniques in example cases and situations, this book provides an understanding and working knowledge of advanced SEM techniques with a minimum of mathematical derivations. The book was written for a broad audience crossing many disciplines, assumes an understanding of graduate level multivariate statistics, including an introduction to SEM.

Modelling the Impact of Trade Liberalisation - A Critigue of Computable General Equilibrium Models (Paperback): Lance Taylor Modelling the Impact of Trade Liberalisation - A Critigue of Computable General Equilibrium Models (Paperback)
Lance Taylor
R364 R330 Discovery Miles 3 300 Save R34 (9%) Ships in 10 - 15 working days

This hard-hitting research report presents a rigorous critique of the most widely used trade models based on computable general equilibrium (or CGE) models. The authors present concise analytical arguments explaining the fundamental weaknesses of typical CGE models. They show that these models tend to make unrealistic assumptions about the macro-economy and do not allow an accurate estimation of the welfare gains that trade liberalisation is supposed to induce. The report appeals for honest simulation strategies showing a variety of possible outcomes, which would enable policy-makers to assess the different scenarios for themselves.

Reviews in Computational Chemistry V 9 (Hardcover, Volume 9): KB Lipkowitz Reviews in Computational Chemistry V 9 (Hardcover, Volume 9)
KB Lipkowitz
R7,496 Discovery Miles 74 960 Ships in 18 - 22 working days

Volume 9 Reviews in Computational Chemistry Kenny B. Lipkowitz and Donald B. Boyd A Select Group of Scientists from Around the World Join in this Volume to Create Unique Chapters Aimed at Both the Novice Molecular Modeler and the Expert Computational Chemist. Chapter 1 Shows how Molecular Modeling of Peptidomimetics Plays a Key Role in Drug Discovery. Specific Examples of Successful Computer-Aided Drug Design are Spelled Out. Chapter 2 is a Definitive Exposition on Thermodynamic Perturbation and Thermodynamic Integration Approaches in Molecular Dynamic Simulations. Three Chapters Elucidate Molecular Modeling of Carbohydrates, the Best Empirical Force Fields to Use in Molecular Mechanics, and Molecular Shape as a Useful Quantitative Descriptor. -From Reviews of the Series ...Very Capably Organized and Edited....Timely, Authoritative, and Well-Written....of Considerable Value to Anyone Pursuing Computational Methods. Journal of Medicinal Chemistry

Integrating Research on the Graphical Representation of Functions (Paperback): Thomas A. Romberg, Elizabeth Fennema, Thomas P... Integrating Research on the Graphical Representation of Functions (Paperback)
Thomas A. Romberg, Elizabeth Fennema, Thomas P Carpenter
R1,525 Discovery Miles 15 250 Ships in 10 - 15 working days

This volume focuses on the important mathematical idea of functions that, with the technology of computers and calculators, can be dynamically represented in ways that have not been possible previously. The book's editors contend that as result of recent technological developments combined with the integrated knowledge available from research on teaching, instruction, students' thinking, and assessment, curriculum developers, researchers, and teacher educators are faced with an unprecedented opportunity for making dramatic changes. The book presents content considerations that occur when the mathematics of graphs and functions relate to curriculum. It also examines content in a carefully considered integration of research that conveys where the field stands and where it might go. Drawing heavily on their own work, the chapter authors reconceptualize research in their specific areas so that this knowledge is integrated with the others' strands. This model for synthesizing research can serve as a paradigm for how research in mathematics education can -- and probably should -- proceed.

Agent-Based Modelling of Socio-Technical Systems (Hardcover, 2013 ed.): Koen H. van Dam, Igor Nikolic, Zofia Lukszo Agent-Based Modelling of Socio-Technical Systems (Hardcover, 2013 ed.)
Koen H. van Dam, Igor Nikolic, Zofia Lukszo
R4,404 Discovery Miles 44 040 Ships in 10 - 15 working days

Decision makers in large scale interconnected network systems require simulation models for decision support. The behaviour of these systems is determined by many actors, situated in a dynamic, multi-actor, multi-objective and multi-level environment. How can such systems be modelled and how can the socio-technical complexity be captured? Agent-based modelling is a proven approach to handle this challenge. This book provides a practical introduction to agent-based modelling of socio-technical systems, based on a methodology that has been developed at TU Delft and which has been deployed in a large number of case studies. The book consists of two parts: the first presents the background, theory and methodology as well as practical guidelines and procedures for building models. In the second part this theory is applied to a number of case studies, where for each model the development steps are presented extensively, preparing the reader for creating own models.

Haptic Interaction with Deformable Objects - Modelling VR Systems for Textiles (Hardcover, 2011 ed.): Guido Boettcher Haptic Interaction with Deformable Objects - Modelling VR Systems for Textiles (Hardcover, 2011 ed.)
Guido Boettcher
R2,653 Discovery Miles 26 530 Ships in 18 - 22 working days

The focus from most Virtual Reality (VR) systems lies mainly on the visual immersion of the user. But the emphasis only on the visual perception is insufficient for some applications as the user is limited in his interactions within the VR. Therefore the textbook presents the principles and theoretical background to develop a VR system that is able to create a link between physical simulations and haptic rendering which requires update rates of 1\,kHz for the force feedback. Special attention is given to the modeling and computation of contact forces in a two-finger grasp of textiles. Addressing further the perception of small scale surface properties like roughness, novel algorithms are presented that are not only able to consider the highly dynamic behaviour of textiles but also capable of computing the small forces needed for the tactile rendering at the contact point. Final analysis of the entire VR system is being made showing the problems and the solutions found in the work

Fluid Simulation for Computer Graphics (Hardcover, 2nd edition): Robert Bridson Fluid Simulation for Computer Graphics (Hardcover, 2nd edition)
Robert Bridson
R2,569 Discovery Miles 25 690 Ships in 10 - 15 working days

A practical introduction, the second edition of Fluid Simulation for Computer Graphics shows you how to animate fully three-dimensional incompressible flow. It covers all the aspects of fluid simulation, from the mathematics and algorithms to implementation, while making revisions and updates to reflect changes in the field since the first edition. Highlights of the Second Edition New chapters on level sets and vortex methods Emphasizes hybrid particle-voxel methods, now the industry standard approach Covers the latest algorithms and techniques, including: fluid surface reconstruction from particles; accurate, viscous free surfaces for buckling, coiling, and rotating liquids; and enhanced turbulence for smoke animation Adds new discussions on meshing, particles, and vortex methods The book changes the order of topics as they appeared in the first edition to make more sense when reading the first time through. It also contains several updates by distilling author Robert Bridson's experience in the visual effects industry to highlight the most important points in fluid simulation. It gives you an understanding of how the components of fluid simulation work as well as the tools for creating your own animations.

Simulation Modeling Handbook - A Practical Approach (Hardcover): Christopher A. Chung Simulation Modeling Handbook - A Practical Approach (Hardcover)
Christopher A. Chung
R6,806 Discovery Miles 68 060 Ships in 10 - 15 working days

The Computer Science and Engineering Handbook characterizes the current state of theory and practice in the field. In this single volume you can find quick answers to the questions that affect your work every day. More than 110 chapters describe fundamental principles, "best practices," research horizons, and their impact upon the professions and society. Glossaries of key terms, references, and sources for further information, including key Web sites, provide you with the most complete information on every topic.

Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Hardcover): S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum Handbook of Logic in Computer Science: Volume 4. Semantic Modelling (Hardcover)
S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum
R11,864 Discovery Miles 118 640 Ships in 10 - 15 working days

The Handbook of Logic in Computer Science is a multi-volume work covering all the major areas of the application of logic to theoretical computer science. It comprises six volumes, each containing five or six chapters giving an in-depth overview of one of the major topics in the field. The handbook is the result of many years of cooperative effort by eminent researchers in the area, and will no doubt be the standard reference work in logic and theoretical computer science for years to come. Volume 4: Semantic Modelling covers the fundamental topics of semantic modelling in logic and computation. Contents include models for concurrency, concrete process algebra, correspondence between operational and denotational semantics, effective algebras, and abstract interpretation.

3d Printing And Additive Manufacturing: Principles And Applications (With Companion Media Pack) - Fourth Edition Of Rapid... 3d Printing And Additive Manufacturing: Principles And Applications (With Companion Media Pack) - Fourth Edition Of Rapid Prototyping (Hardcover, Revised ed.)
Chee Kai Chua, Kah Fai Leong
R3,170 Discovery Miles 31 700 Ships in 10 - 15 working days

3D Printing and Additive Manufacturing (AM) has revolutionised how prototypes are made and small batch manufacturing carried out. With additive manufacturing, the strategies used to produce a part change a number of important considerations and limitations previously faced by tool designers and engineers.This textbook is the fourth edition of Rapid Prototyping: Principles and Applications. It covers the key AM processes, the available models and specifications, and their principles, materials, advantages and disadvantages. Examples of application areas in design, planning, manufacturing, biomedical engineering, entertainment, weaponry, art and architecture are also given. The book includes several related problems for the reader to test his or her understanding of the topics. This edition comes with a companion media pack that presents animated illustrations of the working principles of today's key AM processes.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Belief Change
Dov M. Gabbay, Philippe Smets Hardcover R5,393 Discovery Miles 53 930
Problem-Solving Processes in Humans and…
Morton Wagman Hardcover R2,803 R2,537 Discovery Miles 25 370
Generalized Linear Models - A Bayesian…
Dipak K. Dey, Sujit K. Ghosh, … Hardcover R4,102 Discovery Miles 41 020
Fuzzy Cluster Analysis - Methods for…
F Hoppner Hardcover R5,099 Discovery Miles 50 990
Mathematical Logic For Computer Science…
Zhongwan Lu Hardcover R2,048 Discovery Miles 20 480
Mathematical Problem Solving and New…
Joao P. Ponte, Joao F. Matos, … Hardcover R5,340 Discovery Miles 53 400
Towards Efficient Fuzzy Information…
Chongfu Huang, Yong Shi Hardcover R2,862 Discovery Miles 28 620
Confluent String Rewriting
Matthias Jantzen Hardcover R1,476 Discovery Miles 14 760
The Semantics and Proof Theory of the…
David J. Pym Hardcover R4,192 Discovery Miles 41 920
Number Theory for Computing
M. E. Hellmann Hardcover R2,448 Discovery Miles 24 480

 

Partners