0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (7)
  • R100 - R250 (197)
  • R250 - R500 (900)
  • R500+ (8,781)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer programming > General

Distributed Services with OpenAFS - for Enterprise and Education (Hardcover, 2007 ed.): Franco Milicchio, Wolfgang Alexander... Distributed Services with OpenAFS - for Enterprise and Education (Hardcover, 2007 ed.)
Franco Milicchio, Wolfgang Alexander Gehrke
R1,467 Discovery Miles 14 670 Ships in 18 - 22 working days

This book shows in detail how to build enterprise-level secure, redundant, and highly scalable services from scratch on top of the open source Linux operating system, suitable for small companies as well as big universities. The core architecture presented is based on Kerberos, LDAP, AFS, and Samba. Coverage shows how to integrate web, message related, data base and other services with this backbone. This architecture provides a Single-Sign-On solution for different client platforms and can also be employed for clustering. Although it is implemented with Debian GNU/Linux, the content can be applied to other UNIX flavors.

XML Basics (Paperback): S. Banzal XML Basics (Paperback)
S. Banzal
R1,398 R1,176 Discovery Miles 11 760 Save R222 (16%) Ships in 18 - 22 working days

This book focuses on standards that are relevant to almost all developers working with XML. We investigate XML technologies that span a wide range of XML applications, not those that are relevant only within a few restricted domains. XML is not a programming language. It is a markup language; but it is successfully used by many programmers. The book also covers generic supporting technologies that have been layered on top of XML and are used across a wide range of XML applications. These technologies include XLinks, XSLT, Namespaces, Schemas, XHTML, RDDL, XPointers, XPath, SAX, and DOM. FEATURES: Includes XML standards including syntax, DTD, CSS style sheets, etc. Covers generic supporting technologies that have been layered on top of XML, such as XLinks, XSLT, Namespaces, Schemas, XHTML, and others Numerous code samples show exactly how XML is used in myriad applications

Creative Character Design for Games and Animation (Paperback): Jenny Harder Creative Character Design for Games and Animation (Paperback)
Jenny Harder
R1,345 Discovery Miles 13 450 Ships in 9 - 17 working days

This book takes you through all the basic steps of character design for games and animation, from brainstorming and references through to the development phase and final render. It covers a range of styles such as cartoon, stylized and semi-realistic, and explains how to differentiate between them and use them effectively. Using a step-by-step approach for each stage of the process, this book guides you through the process of creating a new character from scratch. It contains a wealth of design tips and tricks as well as checklists and worksheets for you to use in your own projects. The book covers how to work with briefs, as well as providing advice and practical strategies for working with clients and creating art as a product that can be tailored and sold. This book will be a valuable resource for all junior artists, hobby artists, and art students looking to develop and improve their character development skills for games and animation.

Java Methods for Financial Engineering - Applications in Finance and Investment (Hardcover, 2007 ed.): Philip Barker Java Methods for Financial Engineering - Applications in Finance and Investment (Hardcover, 2007 ed.)
Philip Barker
R2,508 Discovery Miles 25 080 Ships in 18 - 22 working days

In order to build a successful, Java-based application it is important to have a clear understanding of the principles underlying the various financial models. Those models guide the application designer in choosing the most appropriate Java data structures and implementation strategy. This book describes the principles of model building in financial engineering and explains those models as designs and working implementations for Java-based applications.

Throughout the book a series of packaged classes are developed to address a wide range of financial applications. Java methods are designed and implemented based on the most widely used models in financial engineering and investment practice. The classes and methods are explained and designed in a way which allows the financial engineer complete flexibility. The classes can be used as off-the-shelf working solutions or the innovative developer can re-arrange and modify methods to create new products

Multifunction Peripherals for PCs - Technology, Troubleshooting and Repair (Paperback): Marvin Hobbs Multifunction Peripherals for PCs - Technology, Troubleshooting and Repair (Paperback)
Marvin Hobbs
R1,961 Discovery Miles 19 610 Ships in 10 - 15 working days

Multifunction devices combine the essentials of a fax machine, printer, scanner, and copier into one peripheral for small and home offices. As the market for this equipment grows, the need for skilled repair and maintenance increases. Unfortunately the service documentation supplied by the manufacturers is completely inadequate making the repair jobs even harder and more expensive. Marvin Hobbs teaches you how multifunction peripherals work in theory and in practice with lots of hands-on examples and important troubleshooting and repair tips you don't want to miss.
This book fills a gap in the literature, and will be a welcome addition to the library of any technician or do-it-yourselfer.
Written by a knowledgeable practitioner with inside industry information
Fully covers the troubleshooting and repair of multifunction peripherals
A must-have instructional and reference title for anyone who works with computer peripherals

Web-based Support Systems (Hardcover, 2010 Ed.): JingTao Yao Web-based Support Systems (Hardcover, 2010 Ed.)
JingTao Yao
R4,259 Discovery Miles 42 590 Ships in 18 - 22 working days

Web-based Support Systems (WSS) are an emerging multidisciplinary research area in which one studies the support of human activities with the Web as the common platform, mediumandinterface.TheInternetaffectseveryaspectofourmodernlife. Moving support systems to online is an increasing trend in many research domains. One of the goals of WSS research is to extend the human physical limitation of information processing in the information age. Research on WSS is motivated by the challenges and opportunities arising from the Internet. The availability, accessibility and ?exibility of information as well as the tools to access this information lead to a vast amount of opportunities. H- ever, there are also many challenges we face. For instance, we have to deal with more complex tasks, as there are increasing demands for quality and productivity. WSS research is a natural evolution of the studies on various computerized support systems such as Decision Support Systems (DSS), Computer Aided Design (CAD), and Computer Aided Software Engineering (CASE). The recent advancement of computer and Web technologies make the implementation of more feasible WSS. Nowadays, it is rare to see a system without some type of Web interaction. The research of WSS is classi?ed into four groups. WSS for speci?c domains."

Producing for Web 2.0 - A Student Guide (Hardcover, 3rd edition): Jason Whittaker Producing for Web 2.0 - A Student Guide (Hardcover, 3rd edition)
Jason Whittaker
R4,362 Discovery Miles 43 620 Ships in 10 - 15 working days

Praise for the previous edition:

'Gives an excellent insight into the main issues of creating a website and offers a good foundation of knowledge.' ? i.net

Producing for Web 2.0 is a clear and practical guide to the planning, set up and management of a website in web 2.0. It gives readers an overview of the current technologies available for online communications and shows how to use them for maximum effect when planning a website.

Producing for Web 2.0 sets out the practical toolkit needed for web design and content management. It is supported by a regularly updated and comprehensive Companion Website at: www.producingforweb2.com where readers can see examples of programming and demonstrations of concepts discussed in the book, as well as trying things out themselves.

Producing for Web 2.0 includes:

  • illustrated examples of good design and content
  • advice on content, maintenance and how to use sites effectively
  • tips on using multimedia, including video, audio, flash, and images
  • a chapter on ethics and internet regulations for journalists and writers
  • tutorials for the main applications used in website design
  • step by step guides to difficult areas with screenshots
  • guides to good practice for all those involved in publishing news online.
Towards Paraconsistent Engineering (Hardcover, 1st ed. 2016): Seiki Akama Towards Paraconsistent Engineering (Hardcover, 1st ed. 2016)
Seiki Akama
R3,610 R3,350 Discovery Miles 33 500 Save R260 (7%) Ships in 10 - 15 working days

This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic.

E-Government Website Development - Future Trends and Strategic Models (Hardcover): Ed Downey, Carl D. Ekstrom, Matthew A. Jones E-Government Website Development - Future Trends and Strategic Models (Hardcover)
Ed Downey, Carl D. Ekstrom, Matthew A. Jones
R4,618 Discovery Miles 46 180 Ships in 18 - 22 working days

E-Government Website Development: Future Trends and Strategic Models focuses on three foundational aspects of e-government Web sites, namely concepts or theories that influence e-government Web site development, description and analysis of e-government Web site experience from different national perspectives, and possible models that might provide direction for future e-government development. The authors brilliantly incorporate a combination of basic concepts that will guide future development of governmental Web sites, descriptive research about the state of e-government in various parts of the world, and a specific prescription for the future of e-government Web sites into one essential compilation.

The SGML FAQ Book - Understanding the Foundation of HTML and XML (Hardcover, 1997 ed.): S. J. DeRose The SGML FAQ Book - Understanding the Foundation of HTML and XML (Hardcover, 1997 ed.)
S. J. DeRose
R2,801 Discovery Miles 28 010 Ships in 18 - 22 working days

The SGML FAQ Book: Understanding the Foundation of HTML and XML is similar, but not quite the same kind of thing as an online FAQ or Frequently Asked Questions' list. It addresses questions from people who already actually use SGML in some way (including HTML authors), and people who are about to use it. It deals mainly with issues that arise when using SGML in practice. A very brief introduction to SGML is included as Appendix A. The questions discussed in The SGML FAQ Book are repeatedly heard by people who make their living serving the SGML community. SGML experts spend many hours teaching these details, sometimes repeatedly because some questions do not seem important - until you run into them. So one benefit of this book is learning more of the art of document creation and management, both by general reading before questions arise and by specific reference when a question arises. For the latter use, the appendices, glossary, and index are particularly important. A second benefit of this book is that it provides a common theme to its answers that you can apply in your use of SGML, HTML and related languages in general. The fundamental answer to many of the questions boils down to simplify': many questions do not show up if you use the simple, elegant core of SGML without worrying about optional features. The credo of this book is simply, SGML doesn't need to be complicated'. SGML has the potential for complexity at certain points. But much of the complexity comes from optional parts and can be avoided. SGML methodology and its primary benefits suffer no loss even if you skip many features, which speaks well for the quality of SGML's overall design. Many of the questions discussedinvolve those optional parts, and therefore can be avoided by judicious designers and authors. The two key goals of the book are (1) to answer questions that you may actually encounter as an SGML user, and to help you get unstuck' and be as productive as possible in using the language and (2) to show proactive ways you can simplify your use of SGML, and get its very substantial benefits with minimal complexity.

Filter Design With Time Domain Mask Constraints: Theory and Applications (Hardcover, 2001 ed.): Ba-Ngu Vo, Antonio Cantoni, Kok... Filter Design With Time Domain Mask Constraints: Theory and Applications (Hardcover, 2001 ed.)
Ba-Ngu Vo, Antonio Cantoni, Kok Lay Teo
R4,199 Discovery Miles 41 990 Ships in 18 - 22 working days

Optimum envelope-constrained filter design is concerned with time-domain synthesis of a filter such that its response to a specific input signal stays within prescribed upper and lower bounds, while minimizing the impact of input noise on the filter output or the impact of the shaped signal on other systems depending on the application. In many practical applications, such as in TV channel equalization, digital transmission, and pulse compression applied to radar, sonar and detection, the soft least square approach, which attempts to match the output waveform with a specific desired pulse, is not the most suitable one. Instead, it becomes necessary to ensure that the response stays within the hard envelope constraints defined by a set of continuous inequality constraints. The main advantage of using the hard envelope-constrained filter formulation is that it admits a whole set of allowable outputs. From this set one can then choose the one which results in the minimization of a cost function appropriate to the application at hand. The signal shaping problems so formulated are semi-infinite optimization problems. This monograph presents in a unified manner results that have been generated over the past several years and are scattered in the research literature. The material covered in the monograph includes problem formulation, numerical optimization algorithms, filter robustness issues and practical examples of the application of envelope constrained filter design. Audience: Postgraduate students, researchers in optimization and telecommunications engineering, and applied mathematicians.

A Software Process Model Handbook for Incorporating People's Capabilities (Hardcover, 2005 ed.): Silvia T Acuna, Natalia... A Software Process Model Handbook for Incorporating People's Capabilities (Hardcover, 2005 ed.)
Silvia T Acuna, Natalia Juristo, Ana Maria Moreno, Alicia Mon
R4,055 Discovery Miles 40 550 Ships in 18 - 22 working days

A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically validated at software development organizations. This handbook adds a valuable contribution to the much-needed literature on people-related aspects in software engineering. The primary focus is on the particular challenge of extending software process definitions to more explicitly address people-related considerations.

The capability concept is not present nor has it been considered in most software process models. The authors have developed a capabilities-oriented software process model, which has been formalized in UML and implemented as a tool. A Software Process Model Handbook for Incorporating People's Capabilities guides readers through the incorporation of the individuala (TM)s capabilities into the software process.

Structured to meet the needs of research scientists and graduate-level students in computer science and engineering, this book is also suitable for practitioners in industry.

On Concurrent Programming (Hardcover, 1997 ed.): Fred B. Schneider On Concurrent Programming (Hardcover, 1997 ed.)
Fred B. Schneider
R1,949 R1,671 Discovery Miles 16 710 Save R278 (14%) Ships in 10 - 15 working days

Here, one of the leading figures in the field provides a comprehensive survey of the subject, beginning with prepositional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed for use as a graduate text. Professor Schneier emphasises the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition, while exercises at the end of each chapter extend and illustrate the main themes covered. As a result, all those interested in studying concurrent computing will find this an invaluable approach to the subject.

Boolean Functions and Computation Models (Hardcover, 2002 ed.): Peter Clote, Evangelos Kranakis Boolean Functions and Computation Models (Hardcover, 2002 ed.)
Peter Clote, Evangelos Kranakis
R2,693 R2,344 Discovery Miles 23 440 Save R349 (13%) Ships in 10 - 15 working days

This textbook presents a survey of research on boolean functions, circuits, parallel computation models, function algebras, and proof systems. Its main aim is to elucidate the structure of "fast" parallel computation. The complexity of parallel computation is emphasized through a variety of techniques ranging from finite combinatorics, probability theory and finite group theory to finite model theory and proof theory. Nonuniform computation models are studied in the form of boolean circuits; uniform ones in a variety of forms. Steps in the investigation of non-deterministic polynomial time are surveyed as is the complexity of various proof systems. The book will benefit advanced undergraduates and graduate students as well as researchers in the field of complexity theory.

Separable Programming - Theory and Methods (Hardcover, 2001 ed.): S. M. Stefanov Separable Programming - Theory and Methods (Hardcover, 2001 ed.)
S. M. Stefanov
R3,088 Discovery Miles 30 880 Ships in 10 - 15 working days

In this book, the author considers separable programming and, in particular, one of its important cases - convex separable programming. Some general results are presented, techniques of approximating the separable problem by linear programming and dynamic programming are considered. Convex separable programs subject to inequality/ equality constraint(s) and bounds on variables are also studied and iterative algorithms of polynomial complexity are proposed. As an application, these algorithms are used in the implementation of stochastic quasigradient methods to some separable stochastic programs. Numerical approximation with respect to I1 and I4 norms, as a convex separable nonsmooth unconstrained minimization problem, is considered as well. Audience: Advanced undergraduate and graduate students, mathematical programming/ operations research specialists.

Visualization in Medicine and Life Sciences (Hardcover, 2008 ed.): Lars Linsen, Hans Hagen, Bernd Hamann Visualization in Medicine and Life Sciences (Hardcover, 2008 ed.)
Lars Linsen, Hans Hagen, Bernd Hamann
R4,056 Discovery Miles 40 560 Ships in 18 - 22 working days

Visualization technology is becoming increasingly important for medical and biomedical data processing and analysis. The interaction between visualization and medicine is one of the fastest expanding fields, both scientifically and commercially. This book discusses some of the latest visualization techniques and systems for effective analysis of such diverse, large, complex, and multi-source data.

Design of Dependable Computing Systems (Hardcover, 2002 ed.): J. C. Geffroy, G. Motet Design of Dependable Computing Systems (Hardcover, 2002 ed.)
J. C. Geffroy, G. Motet
R1,574 Discovery Miles 15 740 Ships in 18 - 22 working days

This book analyzes the causes of failures in computing systems, their consequences, as weIl as the existing solutions to manage them. The domain is tackled in a progressive and educational manner with two objectives: 1. The mastering of the basics of dependability domain at system level, that is to say independently ofthe technology used (hardware or software) and of the domain of application. 2. The understanding of the fundamental techniques available to prevent, to remove, to tolerate, and to forecast faults in hardware and software technologies. The first objective leads to the presentation of the general problem, the fault models and degradation mechanisms wh ich are at the origin of the failures, and finally the methods and techniques which permit the faults to be prevented, removed or tolerated. This study concerns logical systems in general, independently of the hardware and software technologies put in place. This knowledge is indispensable for two reasons: * A large part of a product' s development is independent of the technological means (expression of requirements, specification and most of the design stage). Very often, the development team does not possess this basic knowledge; hence, the dependability requirements are considered uniquely during the technological implementation. Such an approach is expensive and inefficient. Indeed, the removal of a preliminary design fault can be very difficult (if possible) if this fault is detected during the product's final testing.

The Game Writing Guide - Get Your Dream Job and Keep It (Paperback): Anna Megill The Game Writing Guide - Get Your Dream Job and Keep It (Paperback)
Anna Megill
R1,356 Discovery Miles 13 560 Ships in 9 - 17 working days

This comprehensive guide walks readers through the entire process of getting and keeping a writing job in the games industry. It outlines exactly what a beginner needs to know about education requirements, finding opportunities, applying for roles, and acing studio interviews. Professional writers will learn how to navigate studio hierarchies, transfer roles and companies, work overseas, and keep developing their careers. Written by an experienced games writer with nearly two decades of industry knowledge, the book contains a wealth of interviews and perspectives with industry leaders, hiring managers, and developers from marginalized communities, all offering their tips and insights. Included are examples of materials such as job posts, writing samples, and portfolios, as well as chapter end challenges for readers to directly apply the skills they have learnt. This book will be of great interest to all beginner and aspiring games writers and narrative designers, as well as more experienced writers looking to hone their skills.

Digital Imaging Primer (Hardcover, 1st ed. 2016): Alan Parkin Digital Imaging Primer (Hardcover, 1st ed. 2016)
Alan Parkin
R4,156 Discovery Miles 41 560 Ships in 18 - 22 working days

Digital Imaging Handbook targets anyone with an interest in digital imaging, professional or private, who uses even quite modest equipment such as a PC, digital camera and scanner, a graphics editor such as PAINT, and an inkjet printer. Uniquely, it is intended to fill the gap between the highly technical texts for academics (with access to expensive equipment), and the superficial introductions for amateurs. The four-part treatment spans theory, technology, programs and practice. Theory covers integer arithmetic, additive and subtractive color, greyscales, computational geometry, and a new presentation of discrete Fourier analysis; Technology considers bitmap file structures, scanners, digital cameras, graphic editors, and inkjet printers; Programs develops several processing tools for use in conjunction with a standard Paint graphics editor and supplementary processing tools; Practice discusses 1-bit, greyscale, 4-bit, 8-bit, and 24-bit images for the practice section. Relevant QBASIC code is supplied an accompanying CD and algorithms are listed in the appendix. Readers can attain a level of understanding and the practical insights to obtain optimal use and satisfaction from even the most basic digital-imaging equipment.

Artificial Intelligence Techniques for Computer Graphics (Hardcover, 2008 ed.): Dimitri Plemenos, Georgios Miaoulis Artificial Intelligence Techniques for Computer Graphics (Hardcover, 2008 ed.)
Dimitri Plemenos, Georgios Miaoulis
R2,662 Discovery Miles 26 620 Ships in 18 - 22 working days

The purpose of this volume is to present current work of the Intelligent Computer Graphics community, a community growing up year after year. Indeed, if at the beg- ning of Computer Graphics the use of Artificial Intelligence techniques was quite unknown, more and more researchers all over the world are nowadays interested in intelligent techniques allowing substantial improvements of traditional Computer Graphics methods. The other main contribution of intelligent techniques in Computer Graphics is to allow invention of completely new methods, often based on automation of a lot of tasks assumed in the past by the user in an imprecise and (human) time consuming manner. The history of research in Computer Graphics is very edifying. At the beginning, due to the slowness of computers in the years 1960, the unique research concern was visualisation. The purpose of Computer Graphics researchers was to find new visua- sation algorithms, less and less time consuming, in order to reduce the enormous time required for visualisation. A lot of interesting algorithms were invented during these first years of research in Computer Graphics. The scenes to be displayed were very simple because the computing power of computers was very low. So, scene modelling was not necessary and scenes were designed directly by the user, who had to give co-ordinates of vertices of scene polygons.

JAVA Programming for Beginners - The Simple Guide to Learning JAVA Programming fast! (Hardcover): Tim Warren JAVA Programming for Beginners - The Simple Guide to Learning JAVA Programming fast! (Hardcover)
Tim Warren
R552 R506 Discovery Miles 5 060 Save R46 (8%) Ships in 18 - 22 working days
Getting to Know Web GIS (Paperback, 5th ed.): Pinde Fu Getting to Know Web GIS (Paperback, 5th ed.)
Pinde Fu
R2,561 Discovery Miles 25 610 Ships in 10 - 15 working days

Get the latest information about online GIS using ArcGIS apps and functionality. Capabilities of Web GIS keep expanding, and Getting to Know Web GIS, fifth edition, describes some of the most cutting-edge and exciting innovations. From publishing data as services and configuring engaging web and mobile apps to automation, scripting, and real-world applications, this book shares how to use the most current software and apps for using ArcGIS in the cloud. In the newest edition of Getting to Know Web GIS, you can work with the latest releases of ArcGIS Online, ArcGIS Pro, ArcGIS StoryMaps , and ArcGIS mobile apps. You can experience ArcGIS Experience Builder, ArcGIS Field Maps, ArcGIS Instant Apps, ArcGIS Image for ArcGIS Online, ArcGIS Mission, and the latest advances in artificial intelligence, virtual reality, and tools for spatial data science. No programming is required, but you can learn more about Web GIS programming in this book using JavaScript, webhooks, and ArcGIS Arcade. Use the fifth edition to: improve your online visual storytelling, work with 2D smart mapping and 3D web scenes, create informative web experiences and dashboards, support field operations and data collection using mobile apps, use new data science tools for spatial analysis and geoprocessing, detect objects using deep learning packages, program a triggered notification using a visual interface, and more. GIS expert, instructor, and author Pinde Fu provides lecture slides and additional resources in an online story using ArcGIS StoryMaps. Today's modern GIS is Web GIS-get onboard with one of the most interesting and creative areas of GIS

Ruby Programming For Beginners - The Simple Guide to Learning Ruby Programming Language Fast! (Hardcover): Tim Warren Ruby Programming For Beginners - The Simple Guide to Learning Ruby Programming Language Fast! (Hardcover)
Tim Warren
R557 R511 Discovery Miles 5 110 Save R46 (8%) Ships in 18 - 22 working days
Java Microarchitectures (Hardcover, 2002 ed.): Vijaykrishnan Narayanan, Mario L. Wolczko Java Microarchitectures (Hardcover, 2002 ed.)
Vijaykrishnan Narayanan, Mario L. Wolczko
R2,797 Discovery Miles 27 970 Ships in 18 - 22 working days

Java is an exciting new object-oriented technology. Hardware for supporting objects and other features of Java such as multithreading, dynamic linking and loading is the focus of this book. The impact of Java's features on micro-architectural resources and issues in the design of Java-specific architectures are interesting topics that require the immediate attention of the research community. While Java has become an important part of desktop applications, it is now being used widely in high-end server markets, and will soon be widespread in low-end embedded computing.

Java Microarchitectures contains a collection of papers providing a snapshot of the state of the art in hardware support for Java. The book covers the behavior of Java applications, embedded processors for Java, memory system design, and high-performance single-chip architectures designed to execute Java applications efficiently.

Program Design Calculi (Hardcover, 1993 ed.): Manfred Broy Program Design Calculi (Hardcover, 1993 ed.)
Manfred Broy
R5,371 Discovery Miles 53 710 Ships in 18 - 22 working days

The development of information processing systems requires models, calculi, and theories for the analysis of computations. Complex software systems are best constructed in a careful, systematic, and disciplined structuring of the development process. Starting from basic requirement specifications in which all the relevant details are formalized, the envisaged solution should be developed step by step by adding more and more details and giving evidence or formal proofs to show the correctness of the steps, until a description of a solution is obtained that has all the required properties. The Marktoberdorf Advanced Study Institute 1992 presented scientific highlights in approaches to the systematic study ofreliable software and hardware systems using functional, algebraic, and logical calculi. Leading scientists treated the specification, development, verification, and implementation of complex time-sensitive systems, such as signal processing systems, process control systems, and general software systems. The mathematical foundations of specification and refinement were carefully treated, and several formalisms for describing processes were introduced. Emphasis was put on application-oriented descriptions of signal processing systems with real-time dependencies. Formalisms for reasoning about distributed causality-based computations were presented and new styles of programming leading to shorter and more expressive notations were demonstrated. This book is based on the Institute, and gives an impressive demonstration of the state of the art and the essential progress in our formal abilities to specify, refine, verify, develop, and implement complex software systems including embeddedsystems and hard real-time dependent systems.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Oxford Coding and Robotics Novice Level…
Paperback R83 Discovery Miles 830
Programming Logic & Design
Joyce Farrell Paperback R757 Discovery Miles 7 570
BTEC Nationals Information Technology…
Jenny Phillips, Alan Jarvis, … Paperback R1,018 Discovery Miles 10 180
Program Construction - Calculating…
Roland Backhouse Paperback R2,460 Discovery Miles 24 600
DelphiMVCFramework - the official guide…
Daniele Teti Hardcover R1,363 Discovery Miles 13 630
Arduino for Musicians - A Complete Guide…
Brent Edstrom Hardcover R3,638 Discovery Miles 36 380
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,173 Discovery Miles 11 730
The Data Quality Blueprint - A Practical…
John Parkinson Hardcover R1,606 Discovery Miles 16 060
News Search, Blogs and Feeds - A Toolkit
Lars Vage, Lars Iselid Paperback R1,332 Discovery Miles 13 320
NES/Famicom: a visual compendium
Bitmap Books Hardcover R1,253 Discovery Miles 12 530

 

Partners