0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (34)
  • R250 - R500 (169)
  • R500+ (3,151)
  • -
Status
Format
Author / Contributor
Publisher

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

Quantum Methods with Mathematica (R) (Paperback, 1st ed. 1994. 1st softcover printing 2002): James F. Feagin Quantum Methods with Mathematica (R) (Paperback, 1st ed. 1994. 1st softcover printing 2002)
James F. Feagin
R3,156 Discovery Miles 31 560 Ships in 10 - 15 working days

Quantum Methods with Mathematica, the first book of its kind, has achieved worldwide success and critical acclaim.

The R Primer (Paperback, 2nd edition): Claus Thorn Ekstrom The R Primer (Paperback, 2nd edition)
Claus Thorn Ekstrom
R1,838 Discovery Miles 18 380 Ships in 12 - 19 working days

Newcomers to R are often intimidated by the command-line interface, the vast number of functions and packages, or the processes of importing data and performing a simple statistical analysis. The R Primer provides a collection of concise examples and solutions to R problems frequently encountered by new users of this statistical software. This new edition adds coverage of R Studio and reproducible research.

An Introduction to Maple V (Paperback, 2001 ed.): Jack-Michel Cornil An Introduction to Maple V (Paperback, 2001 ed.)
Jack-Michel Cornil; Translated by T Van Effelterre; Philippe Testud
R1,580 Discovery Miles 15 800 Ships in 10 - 15 working days

This book covers the needs of scientists - be they mathematicians, physicists, chemists or engineers - in terms of symbolic computation, and allows them to locate quickly, via a detailed table of contents and index, the method they require for the precise problem they are adressing.It requires no prior experience of symbolic computation, nor specialized mathematical knowledge, and provides quick access to the practical use of symbolic computation software. The organization of the book in mutually independent chapters, each focusing on a specific topic, allows the user to select what is of interest without necessarily reading everything.

Integrierte Informationslogistik (German, Hardcover, 2008 ed.): Barbara Dinter, Robert Winter Integrierte Informationslogistik (German, Hardcover, 2008 ed.)
Barbara Dinter, Robert Winter
R1,818 Discovery Miles 18 180 Ships in 10 - 15 working days

Die Informationslogistik wird zum Wettbewerbsfaktor fur Unternehmen. Die Versorgung von Entscheidungstragern mit integrierten Informationen ermoglicht effiziente und effektive Entscheidungsprozesse in Alignment mit den strategischen Zielen des Unternehmens. Dazu wird ein ganzheitlicher, bereichsubergreifender Ansatz benotigt, der die inharenten Synergiepotenziale einer Informationslogistik umfassend nutzt.

Dieses Buch gibt erstmals einen Gesamteindruck uber den State of the Art und Entwicklungsrichtungen der integrierten Informationslogistik aus Managementsicht. Auf Grundlage des St. Galler Business Engineering-Frameworks werden aktuelle Herausforderungen und Losungsansatze der Informationslogistik ganzheitlich und konsistent betrachtet und Hinweise zur Gestaltung der Informationslogistik auf den Ebenen Strategie, Organisation und Informationssysteme gegeben. Ausgewahlte Schwerpunktthemen vertiefen fur die Umsetzung relevante Fragestellungen. Schliesslich zeigen aktuelle Fallstudien konkrete Realisierungsmoglichkeiten in der unternehmerischen Praxis auf."

Computer Aided Service Engineering - Informationssysteme in Der Dienstleistungsentwicklung (German, Hardcover, 2004 ed.):... Computer Aided Service Engineering - Informationssysteme in Der Dienstleistungsentwicklung (German, Hardcover, 2004 ed.)
August-Wilhelm Scheer; Contributions by R. Klein, K. Herrmann; Edited by Dieter Spath
R1,927 Discovery Miles 19 270 Ships in 10 - 15 working days

Das Konzept des Service Engineering, das Vorgehensweisen und Methoden fA1/4r die schnelle und effiziente Realisierung von Dienstleistungen bietet, findet zunehmend Verbreitung in der Praxis. Um die Verfahren mAglichst gewinnbringend einsetzen zu kAnnen, gilt es, den Dienstleistungsprozess auch durch geeignete Informationssysteme zu unterstA1/4tzen. Dieses Buch gibt einen fundierten Einblick in aktuelle softwaretechnische Konzepte und prAsentiert praktische Erfahrungen aus deren Anwendung bei Entwicklungsprojekten. Es richtet sich gleichermaAen an Praktiker in Dienstleistungsunternehmen und Affentlichen Verwaltungen sowie an Mitarbeiter produzierender Unternehmen, die ihr Dienstleistungsangebot systematisieren und ausbauen wollen.

Management von Integrationsprojekten - Konzeptionelle Grundlagen und Fallstudien aus fachlicher und IT-Sicht (German,... Management von Integrationsprojekten - Konzeptionelle Grundlagen und Fallstudien aus fachlicher und IT-Sicht (German, Hardcover, 2009 ed.)
Staier; Edited by Robert Winter; Contributions by Chr Fischer, B Gleichauf, Chr Riege, …
R1,765 Discovery Miles 17 650 Ships in 12 - 19 working days

Die Integration von Informationssystemen beschrankt sich selten auf die Veranderung von Softwarekomponenten und Datenstrukturen oder die Veranderung von IT-Infrastrukturkomponenten. Meist sind ebenso Produkte, Geschaftsprozesse oder Organisationsstrukturen, also fachliche Unternehmensstrukturen betroffen. Das Buch hat zum Ziel, einen grundlegenden Beitrag zur situativen Methodik-Unterstutzung der Planung und Umsetzung von Integrationsprojekten zu leisten. Um dies zu realisieren, wird eine Strukturierung der Integration aus Metamodellierungs-Perspektive vorgenommen. Es werden Archetypen der Integration formuliert und typische Situationen fur Integrationsprojekte beschrieben. Zahlreiche Fallstudien zu Integrationsprojekten liefern erste Erkenntnisse uber die Wiederkehr grundlegender Integrationsaufgaben in bestimmten Integrations-Situationen. Darauf aufbauend wird eine erste Annaherung an eine situationsbezogene, anpassbare Integrationsmethodik vorgestellt."

XploRe (R) - Application Guide (Paperback, Softcover reprint of the original 1st ed. 2000): W. Hardle, Z. Hlavka, S. Klinke XploRe (R) - Application Guide (Paperback, Softcover reprint of the original 1st ed. 2000)
W. Hardle, Z. Hlavka, S. Klinke
R2,945 Discovery Miles 29 450 Ships in 10 - 15 working days

This book offers a detailed application guide to XploRe - an interactive statistical computing environment. As a guide it contains case studies of real data analysis situations. It helps the beginner in statistical data analysis to learn how XploRe works in real life applications. Many examples from practice are discussed and analysed in full length. Great emphasis is put on a graphic based understanding of the data interrelations. The case studies include: Survival modelling with Cox's proportional hazard regression, Vitamin C data analysis with Quantile Regression, and many others.

Microsoft Project 2019 For Dummies (Paperback): C Dionisio Microsoft Project 2019 For Dummies (Paperback)
C Dionisio
R695 R560 Discovery Miles 5 600 Save R135 (19%) Ships in 12 - 19 working days

Keep projects on track Microsoft Project 2019 is a powerhouse project management, portfolio management, and resource management tool. Whether you're a full-time project manager or manage projects as part of a larger set of duties, Microsoft Project 2019 For Dummies will get you thinking and operating at the level of a project management guru. Written by a noted project management pro, this book covers the ins and outs of Microsoft Project. Throughout the book, you'll find project management best practices and tips for keeping any project on schedule and under budget. Reference the full set of Microsoft Project 2019 features Learn to think like a project management professional Get into the nuts and bolts of Project for better productivity Create a task schedule that keeps a project moving Identify the golden rules that keep projects on track With Microsoft Project 2019 For Dummies, you'll soon get a grip on all the powerful features of this popular project management software. No matter your level of training or experience, this book will show you how improve your project management with Microsoft Project 2019.

Multi-Level Bayesian Models for Environment Perception (Hardcover, 1st ed. 2022): Csaba Benedek Multi-Level Bayesian Models for Environment Perception (Hardcover, 1st ed. 2022)
Csaba Benedek
R3,185 Discovery Miles 31 850 Ships in 12 - 19 working days

This book deals with selected problems of machine perception, using various 2D and 3D imaging sensors. It proposes several new original methods, and also provides a detailed state-of-the-art overview of existing techniques for automated, multi-level interpretation of the observed static or dynamic environment. To ensure a sound theoretical basis of the new models, the surveys and algorithmic developments are performed in well-established Bayesian frameworks. Low level scene understanding functions are formulated as various image segmentation problems, where the advantages of probabilistic inference techniques such as Markov Random Fields (MRF) or Mixed Markov Models are considered. For the object level scene analysis, the book mainly relies on the literature of Marked Point Process (MPP) approaches, which consider strong geometric and prior interaction constraints in object population modeling. In particular, key developments are introduced in the spatial hierarchical decomposition of the observed scenarios, and in the temporal extension of complex MRF and MPP models. Apart from utilizing conventional optical sensors, case studies are provided on passive radar (ISAR) and Lidar-based Bayesian environment perception tasks. It is shown, via several experiments, that the proposed contributions embedded into a strict mathematical toolkit can significantly improve the results in real world 2D/3D test images and videos, for applications in video surveillance, smart city monitoring, autonomous driving, remote sensing, and optical industrial inspection.

IBM SPSS for Introductory Statistics - Use and Interpretation, Sixth Edition (Hardcover, 6th edition): George A. Morgan, Karen... IBM SPSS for Introductory Statistics - Use and Interpretation, Sixth Edition (Hardcover, 6th edition)
George A. Morgan, Karen C Barrett, Nancy L. Leech, Gene W. Gloeckner
R5,085 Discovery Miles 50 850 Ships in 12 - 19 working days

IBM SPSS for Introductory Statistics is designed to help students learn how to analyze and interpret research. In easy-to-understand language, the authors show readers how to choose the appropriate statistic based on the design, and to interpret outputs appropriately. There is such a wide variety of options and statistics in SPSS, that knowing which ones to use and how to interpret the outputs can be difficult. This book assists students with these challenges. Comprehensive and user-friendly, the book prepares readers for each step in the research process: design, entering and checking data, testing assumptions, assessing reliability and validity, computing descriptive and inferential parametric and nonparametric statistics, and writing about results. Dialog windows and SPSS syntax, along with the output, are provided. Several realistic data sets, available online, are used to solve the chapter problems. This new edition includes updated screenshots and instructions for IBM SPSS 25, as well as updated pedagogy, such as callout boxes for each chapter indicating crucial elements of APA style and referencing outputs. IBM SPSS for Introductory Statistics is an invaluable supplemental (or lab text) book for students. In addition, this book and its companion, IBM SPSS for Intermediate Statistics, are useful as guides/reminders to faculty and professionals regarding the specific steps to take to use SPSS and/or how to use and interpret parts of SPSS with which they are unfamiliar.

Collaboration und WebServices - Architekturen, Portale, Techniken und Beispiele (German, Hardcover, 2003 ed.): Christian... Collaboration und WebServices - Architekturen, Portale, Techniken und Beispiele (German, Hardcover, 2003 ed.)
Christian Reichmayr
R1,669 Discovery Miles 16 690 Ships in 12 - 19 working days

Das Buch zeigt, welche Potentiale sich f r Unternehmen durch eine konsequente Orientierung an den Kundenprozessen und einer kooperativen Zusammenarbeit zwischen Unternehmen ergeben. Eine wichtige Rolle nehmen dabei elektronische Dienstleister (sogenannte WebService-Anbieter) ein, die diese Kooperationsprozesse erst erm glichen oder die elektronischen Services viel effizienter erbringen als jedes einzelne Unternehmen im Netzwerkverbund, z.B. f r den Zahlungsverkehr und die Logistik. Dazu werden anhand anschaulicher Beispiele aus der Praxis methodische Vorschl ge zur Gestaltung des Kundenprozesses, zum Portaldesign und zur Kooperationsprozessanalyse und Out-tasking sowie Architekturen f r Kooperationsprozesse und WebServices entwickelt.

Handbuch it in Der Verwaltung (German, Book, 2006 ed.): Martin Wind, Detlef Kroeger Handbuch it in Der Verwaltung (German, Book, 2006 ed.)
Martin Wind, Detlef Kroeger
R4,502 Discovery Miles 45 020 Ships in 10 - 15 working days

Wenn heute uber Informationstechnik in der offentlichen Verwaltung" geschr- ben oder geredet wird, geschieht dies meist im Kontext von Electronic Gove- ment," wobei diese Thematik dann auch noch haufig auf die Bereitstellung el- tronischer Burgerservices reduziert wird. Dabei hat die offentliche Verwaltung selbstverstandlich schon lange vor der Verbreitung des Internets massiven Gebrauch von der Informationstechnik - macht - nur blieb die Auseinandersetzung damit lange Zeit einem sehr kleinen Kreis von Praktikern und Wissenschaftlern vorbehalten. Ursachlich dafur war - niger der Wunsch nach Exklusivitat, sondern vor allem der Umstand, dass sich ausserhalb dieses Kreises kaum jemand fur das Thema erwarmen konnte. Im Zuge von E-Government hat sich diese Situation schlagartig geandert. Die Anzahl der Kongresse, Messen, Umfragen, Benchmarkings usw. zum Thema hat in den letzten Jahren zwar spurbar nachgelassen, doch nach wie vor wird E- Government von denen, die sich damit beschaftigen (und das sind heute noch - mer sehr viel mehr Personen als noch vor zehn Jahren), als zentrales Instrument zur Modernisierung des Behordenapparats angesehen. Inzwischen wissen wir aber auch, dass gerade strukturelle Veranderungen vielfach sehr schleppend verlaufen und die IT im offentlichen Sektor noch immer nicht die Durchschlagskraft" - reicht hat, die ihr vielfach zugeschrieben wurde und die angesichts der technischen Moglichkeiten auch ohne weiteres vorstellbar ist. Fur das eher zogerliche Aufgr- fen der mit moderner IT eroffneten Veranderungsoptionen gibt es zahlreiche Grunde, von denen in den nachfolgenden Beitragen immer wieder die Rede sein wird."

The Agile Guide To Business Analysis And Planning - From Strategic Plan to Detailed Requirements (Paperback): Howard Podeswa The Agile Guide To Business Analysis And Planning - From Strategic Plan to Detailed Requirements (Paperback)
Howard Podeswa
R1,265 Discovery Miles 12 650 Ships in 12 - 19 working days

The Agile Guide to Business Analysis and Planning presents clear, actionable guidance for every product owner, product and program manager, business analyst, requirements engineer, and project manager seeking to improve agile analysis and planning. Renowned author and consultant Howard Podeswa teaches best practices drawn from agile and agile-adjacent frameworks, including ATDD, BDD, DevOps, CI/CD, Kanban, Scrum, SAFe, XP, Lean Thinking, Lean Startup, Circumstance-Based Market Segmentation, and theories of disruptive innovation. He offers a comprehensive agile roadmap for analyzing customer needs and planning product development, including discussion of legacy business analysis tools that still offer immense value to agile teams.

Using a running case study, Podeswa walks through the full agile product lifecycle, from visioning through release and continuous value delivery. You learn how to carry out agile analysis and planning responsibilities more effectively, using tools such as Kano analysis, minimum viable products (MVPs), minimum marketable features (MMFs), story maps, product roadmaps, customer journey mapping, value stream mapping, spikes, and the definition of ready (DoR). Podeswa presents each technique in context: what you need to know and when to apply each tool. Read this book to

  • Master principles, frameworks, concepts, and practices of agile analysis and planning in order to maximize value delivery throughout the product's lifecycle
  • Explore planning and analysis for short-term, long-term, and scaled agile initiatives using MVPs and data-informed learning to test hypotheses and find high-value features
  • Split features into MMFs and small stories that deliver significant value and enable quick wins
  • Refine, estimate, and specify features, stories, and their acceptance criteria, following ATDD/BDD guidance
  • Address the unique analysis and planning challenges of scaled agile organizations
  • Implement 13 practices for optimizing enterprise agility

Supported by 175+ tools, techniques, examples, diagrams, templates, checklists, and other job aids, this book is a complete toolkit for every practitioner. Whatever your role, you'll find indispensable guidance on agile planning and analysis responsibilities so you can help your organization respond more nimbly to a fast-changing environment.
Seasonal Adjustment with the X-11 Method (Paperback, Softcover reprint of the original 1st ed. 2001): Dominique Ladiray, Benoit... Seasonal Adjustment with the X-11 Method (Paperback, Softcover reprint of the original 1st ed. 2001)
Dominique Ladiray, Benoit Quenneville
R3,433 Discovery Miles 34 330 Ships in 10 - 15 working days

The most widely used statistical method in seasonal adjustment is without doubt that implemented in the X-11 Variant of the Census Method II Seasonal Adjustment Program. Developed at the US Bureau of the Census in the 1950's and 1960's, this computer program has undergone numerous modifications and improvements, leading especially to the X-11-ARIMA software packages in 1975 and 1988 and X-12-ARIMA, the first beta version of which is dated 1998. While these software packages integrate, to varying degrees, parametric methods, and especially the ARIMA models popularized by Box and Jenkins, they remain in essence very close to the initial X-11 method, and it is this "core" that Seasonal Adjustment with the X-11 Method focuses on. With a Preface by Allan Young, the authors document the seasonal adjustment method implemented in the X-11 based software. It will be an important reference for government agencies, macroeconomists, and other serious users of economic data. After some historical notes, the authors outline the X-11 methodology. One chapter is devoted to the study of moving averages with an emphasis on those used by X-11. Readers will also find a complete example of seasonal adjustment, and have a detailed picture of all the calculations. The linear regression models used for trading-day effects and the process of detecting and correcting extreme values are studied in the example. The estimation of the Easter effect is dealt with in a separate chapter insofar as the models used in X-11-ARIMA and X-12-ARIMA are appreciably different. Dominique Ladiray is an Administrateur at the French Institut National de la Statistique et des Etudes Economiques. He is also a Professor at the Ecole Nationale de la Statistique et de l'Administration Economique, and at the Ecole Nationale de la Statistique et de l'Analyse de l'Information. He currently works on short-term economic analysis. Benoît Quenneville is a methodologist with Statistics Canada Time Series Research and Analysis Centre. He holds a Ph.D. from the University of Western Ontario. His research interests are in time series analysis with an emphasis on official statistics.

Practical R 4 - Applying R to Data Manipulation, Processing and Integration (Paperback, 1st ed.): Jon Westfall Practical R 4 - Applying R to Data Manipulation, Processing and Integration (Paperback, 1st ed.)
Jon Westfall
R1,436 R1,188 Discovery Miles 11 880 Save R248 (17%) Ships in 10 - 15 working days

Get started with an accelerated introduction to the R ecosystem, programming language, and tools including R script and RStudio. Utilizing many examples and projects, this book teaches you how to get data into R and how to work with that data using R. Once grounded in the fundamentals, the rest of Practical R 4 dives into specific projects and examples starting with running and analyzing a survey using R and LimeSurvey. Next, you'll carry out advanced statistical analysis using R and MouselabWeb. Then, you'll see how R can work for you without statistics, including how R can be used to automate data formatting, manipulation, reporting, and custom functions. The final part of this book discusses using R on a server; you'll build a script with R that can run an RStudio Server and monitor a report source for changes to alert the user when something has changed. This project includes both regular email alerting and push notification. And, finally, you'll use R to create a customized daily rundown report of a person's most important information such as a weather report, daily calendar, to-do's and more. This demonstrates how to automate such a process so that every morning, the user navigates to the same web page and gets the updated report. What You Will Learn Set up and run an R script, including installation on a new machine and downloading and configuring R Turn any machine into a powerful data analytics platform accessible from anywhere with RStudio Server Write basic R scripts and modify existing scripts to suit your own needs Create basic HTML reports in R, inserting information as needed Build a basic R package and distribute it Who This Book Is For Some prior exposure to statistics, programming, and maybe SAS is recommended but not required.

Business Knowledge Management in Der Praxis - Prozessorientierte Loesungen Zwischen Knowledge Portal Und Kompetenzmanagement... Business Knowledge Management in Der Praxis - Prozessorientierte Loesungen Zwischen Knowledge Portal Und Kompetenzmanagement (German, Hardcover, 2000 ed.)
Volker Bach, Hubert OEsterle, Petra Vogler
R1,939 Discovery Miles 19 390 Ships in 10 - 15 working days

Der St. Galler Ansatz zum Business Knowledge Management f hrt Erfahrungen aus einer zunehmenden Anzahl von Praxisprojekten zusammen: Zahlreiche Fallstudien und Anwendungsbeispiele aus Telekommunikation, Finanzdienstleistung, Beratung und Industrie zeigen, wie Unternehmen durch Wissensmanagement sowohl ihre Kundenorientierung und Innovationsgeschwindigkeit als auch ihren Unternehmenswert erh hen. Das daraus abgeleitete Gesamtmodell setzt Wissensmanagement in Beziehung zu neuen Gesch ftsmodellen des Informationszeitalters. Es demonstriert, was neue Instrumente der F hrung und Wissensorganisation zur verbesserten Wissensentwicklung und -nutzung in Gesch ftsprozessen beitragen k nnen. "Knowledge Portals" erweitern die technologischen M glichkeiten des Wissensmanagements. Zwei Beitr ge identifizieren die wesentlichen Komponenten und beschreiben typische Praxisanwendungen von Knowledge Portals.

The Complete Software Project Manager - Mastering Technology from Planning to Launch and Beyond (Hardcover): A P Murray The Complete Software Project Manager - Mastering Technology from Planning to Launch and Beyond (Hardcover)
A P Murray
R926 R760 Discovery Miles 7 600 Save R166 (18%) Ships in 12 - 19 working days

Your answer to the software project management gap The Complete Software Project Manager: From Planning to Launch and Beyond addresses an interesting problem experienced by today's project managers: they are often leading software projects, but have no background in technology. To close this gap in experience and help you improve your software project management skills, this essential text covers key topics, including: how to understand software development and why it is so difficult, how to plan a project, choose technology platforms, and develop project specifications, how to staff a project, how to develop a budget, test software development progress, and troubleshoot problems, and what to do when it all goes wrong. Real-life examples, hints, and management tools help you apply these new ideas, and lists of red flags, danger signals, and things to avoid at all costs assist in keeping your project on track. Companies have, due to the nature of the competitive environment, been somewhat forced to adopt new technologies. Oftentimes, the professionals leading the development of these technologies do not have any experience in the tech field and this can cause problems. To improve efficiency and effectiveness, this groundbreaking book offers guidance to professionals who need a crash course in software project management. * Review the basics of software project management, and dig into the more complicated topics that guide you in developing an effective management approach * Avoid common pitfalls by perusing red flags, danger signals, and things to avoid at all costs * Leverage practical roadmaps, charts, and step-by-step processes * Explore real-world examples to see effective software project management in action The Complete Software Project Manager: From Planning to Launch and Beyond is a fundamental resource for professionals who are leading software projects but do not have a background in technology.

System Design through Matlab (R), Control Toolbox and Simulink (R) (Paperback, Edition.): Krishna K. Singh, Gayatri Agnihotri System Design through Matlab (R), Control Toolbox and Simulink (R) (Paperback, Edition.)
Krishna K. Singh, Gayatri Agnihotri
R2,464 Discovery Miles 24 640 Ships in 10 - 15 working days

MATLAB , a software package developed by Math Works, Inc. is powerful, versatile and interactive software for scientific and technical computations including simulations. Specialised toolboxes provided with several built-in functions are a special feature of MATLAB .

This book titled System Design through MATLAB Control Toolbox and SIMULINK aims at getting the reader started with computations and simulations in system engineering quickly and easily and then proceeds to build concepts for advanced computations and simulations that includes the control and compensation of systems. Simulation through SIMULINK has also been described to allow the reader to get the feel of the real world situation.

This book is appropriate for undergraduate students undergoing final semester of their project work, postgraduate students who have MATLAB integrated in their course or wish to take up simulation problem in the area of system engineering for their dissertation work and research scholars for whom MATLAB along with toolboxes and SIMULINK is an indispensable tool for simulation.

To download interactive simulations of various systems (523Kb) described in the book, go to http//www.springer.co.uk/matlab.htm

XploRe - Learning Guide - Learning Guide (Paperback, Softcover reprint of the original 1st ed. 2000): W. Hardle, S. Klinke, M.... XploRe - Learning Guide - Learning Guide (Paperback, Softcover reprint of the original 1st ed. 2000)
W. Hardle, S. Klinke, M. Muller
R1,589 Discovery Miles 15 890 Ships in 10 - 15 working days

It is generally accepted that training in statistics must include some exposure to the mechanics of computational statistics. This learning guide is intended for beginners in computer-aided statistical data analysis. The prerequisites for XploRe - the statistical computing environment - are an introductory course in statistics or mathematics. The reader of this book should be familiar with basic elements of matrix algebra and the use of HTML browsers. This guide is designed to help students to XploRe their data, to learn (via data interaction) about statistical methods and to disseminate their findings via the HTML outlet. The XploRe APSS (Auto Pilot Support System) is a powerful tool for finding the appropriate statistical technique (quantlet) for the data under analysis. Homogeneous quantlets are combined in XploRe into quantlibs. The XploRe language is intuitive and users with prior experience of other sta tistical programs will find it easy to reproduce the examples explained in this guide. The quantlets in this guide are available on the CD-ROM as well as on the Internet. The statistical operations that the student is guided into range from basic one-dimensional data analysis to more complicated tasks such as time series analysis, multivariate graphics construction, microeconometrics, panel data analysis, etc. The guide starts with a simple data analysis of pullover sales data, then in troduces graphics. The graphics are interactive and cover a wide range of dis plays of statistical data."

Theoretical and Practical Aspects of SPIN Model Checking - 5th and 6th International SPIN Workshops, Trento, Italy, July 5,... Theoretical and Practical Aspects of SPIN Model Checking - 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings (Paperback, 1999 ed.)
Dennis Dams, Robert Gerth, Stefan Leue, Mieke Massinek
R1,611 Discovery Miles 16 110 Ships in 10 - 15 working days

Increasing the designer's con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN, is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being maintained by Gerard Ho- mann, and is freely available via ftp fromnetlib.bell-labs.comor from URL http: //cm.bell-labs.com/cm/cs/what/spin/Man/README.html. The beauty of nite-state model checking lies in the possibility of building \push-button" validation tools. When the state space is nite, the state-space traversal will eventually terminate with a de nite verdict on the property that is being validated. Equally helpful is the fact that in case the property is inv- idated the model checker will return a counterexample, a feature that greatly facilitates fault identi cation. On the downside, the time it takes to obtain a verdict may be very long if the state space is large and the type of properties that can be validated is restricted to a logic of rather limited expressiveness.

Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999,... Theorem Proving in Higher Order Logics - 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Paperback, 1999 ed.)
Yves Bertot, Gilles Dowek, Andre Hirschowitz, Christine Paulin, Laurent Thery
R1,660 Discovery Miles 16 600 Ships in 10 - 15 working days

This book contains the proceedings of the 12th International Conference on TheoremProvinginHigherOrderLogics(TPHOLs 99), whichwasheldinNice at the University of Nice-Sophia Antipolis, September 14{17, 1999. Thirty- ve papers were submitted as completed research, and each of them was refereed by at least three reviewers appointed by the program committee. Twenty papers were selected for publication in this volume. Followingawell-establishedtraditioninthisseriesofconferences, anumberof researchers also came to discuss work in progress, using short talks and displays at a poster session. These papers are included in a supplementary proceedings volume. These supplementary proceedings take the form of a book published by INRIA in its series of research reports, under the following title: Theorem ProvinginHigherOrderLogics: EmergingTrends1999. The organizers were pleased that Dominique Bolignano, Arjeh Cohen, and Thomas Kropf accepted invitations to be guest speakers for TPHOLs 99. For several years, D. Bolignano has been the leader of the VIP team in the Dyade consortium between INRIA and Bull and is now at the head of a company Trusted Logic. His team has been concentrating on the use of formal methods for the e ective veri cationof securityproperties for protocols used in electronic commerce. A. Cohen has had a key in?uence on the development of computer algebra in The Netherlands and his contribution has been of particular imp- tance to researchersinterested in combining the severalknown methods of using computers to perform mathematical investigations. T. Kropf is an important actor in the Europe-wide project PROSPER, which aims to deliver the be- ts of mechanized formal analysis to system builders in industry."

A Crash Course in Mathematica (Paperback, 1999 ed.): Stephan Kaufmann A Crash Course in Mathematica (Paperback, 1999 ed.)
Stephan Kaufmann
R1,391 Discovery Miles 13 910 Ships in 10 - 15 working days

This compact introduction to Mathematicaaccessible to beginners at all levelspresents the basic elements of the latest version 3 (front End.txt.Int.:, kernel, standard packages). Using examples and exercises not specific to a scientific area, it teaches readers how to effectively solve problems in their own field. The cross-platform CD-ROM contains the entire book in the form of Mathematica notebooks, including color graphics, animations, and hyperlinks, plus the program MathReader.

Discovering Mathematics with Maple - An interactive exploration for mathematicians, engineers and econometricians (Mixed media... Discovering Mathematics with Maple - An interactive exploration for mathematicians, engineers and econometricians (Mixed media product, 1999 ed.)
R.J. Stroeker, J.F. Kaashoek
R1,530 Discovery Miles 15 300 Ships in 10 - 15 working days

This unusual introduction to Maple shows readers how Maple or any other computer algebra system fits naturally into a mathematically oriented work environment. Designed for mathematicians, engineers, econometricians, and other scientists, this book shows how computer algebra can enhance their theoretical work. A CD-ROM contains all the Maple worksheets presented in the book.

Exploring Abstract Algebra With Mathematica (R) (Paperback, Softcover reprint of the original 1st ed. 1999): Allen C. Hibbard,... Exploring Abstract Algebra With Mathematica (R) (Paperback, Softcover reprint of the original 1st ed. 1999)
Allen C. Hibbard, Kenneth M. Levasseur
R1,617 Discovery Miles 16 170 Ships in 10 - 15 working days

This upper-division laboratory supplement for courses in abstract algebra consists of several Mathematica packages programmed as a foundation for group and ring theory. Additionally, the "user's guide" illustrates the functionality of the underlying code, while the lab portion of the book reflects the contents of the Mathematica-based electronic notebooks. Students interact with both the printed and electronic versions of the material in the laboratory, and can look up details and reference information in the user's guide. Exercises occur in the stream of the text of the lab, which provides a context within which to answer, and the questions are designed to be either written into the electronic notebook, or on paper. The notebooks are available in both 2.2 and 3.0 versions of Mathematica, and run across all platforms for which Mathematica exits. A very timely and unique addition to the undergraduate abstract algebra curriculum, filling a tremendous void in the literature.

COMPSTAT - Proceedings in Computational Statistics 13th Symposium held in Bristol, Great Britain, 1998 (Paperback, illustrated... COMPSTAT - Proceedings in Computational Statistics 13th Symposium held in Bristol, Great Britain, 1998 (Paperback, illustrated edition)
Roger Payne, Peter Green
R2,938 Discovery Miles 29 380 Ships in 10 - 15 working days

This Volume contains the Keynote, Invited and Full Contributed papers presented at COMPSTAT'98. A companion volume (Payne & Lane, 1998) contains papers describing the Short Communications and Posters. COMPSTAT is a one-week conference held every two years under the auspices of the International Association of Statistical Computing, a section of the International Statistical Institute. COMPSTAT'98 is organised by IACR-Rothamsted, IACR-Long Ashton, the University of Bristol Department of Mathematics and the University of Bath Department of Mathematical Sciences. It is taking place from 24-28 August 1998 at University of Bristol. Previous COMPSTATs (from 1974-1996) were in Vienna, Berlin, Leiden, Edinburgh, Toulouse, Prague, Rome, Copenhagen, Dubrovnik, Neuchatel, Vienna and Barcelona. The conference is the main European forum for developments at the interface between statistics and computing. This was encapsulated as follows in the COMPSTAT'98 Call for Papers. Statistical computing provides the link between statistical theory and applied statistics. The scientific programme of COMPSTAT ranges over all aspects of this link, from the development and implementation of new computer-based statistical methodology through to innovative applications and software evaluation. The programme should appeal to anyone working in statistics and using computers, whether in universities, industrial companies, research institutes or as software developers.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Reversing Acanthosis Nigricans Type 1…
Health Central Paperback R499 Discovery Miles 4 990
Silent Victories - The History and…
John W. Ward, Christian Warren Hardcover R2,192 Discovery Miles 21 920
Cancer: A Love Story - Memoir Of A…
Lauren Segal Paperback  (1)
R360 Discovery Miles 3 600
Health Care Systems Engineering - HCSE…
Paola Cappanera, Jingshan Li, … Hardcover R4,412 Discovery Miles 44 120
Cleft Lip and Palate Primary Repair
Bing Shi, Brian C. Sommerlad Hardcover R6,775 Discovery Miles 67 750
Hardness of Approximation Between P and…
Aviad Rubinstein Hardcover R2,939 Discovery Miles 29 390
Prosthodontics, An Issue of Dental…
Lily T. Garcia Hardcover R1,777 Discovery Miles 17 770
Economic Dynamics of All Members of the…
Ethelbert Nwakuche Chukwu Hardcover R3,513 Discovery Miles 35 130
The Ultimate Guide To Retirement In…
Bruce Cameron, Wouter Fourie Paperback R370 R342 Discovery Miles 3 420
A Modern Guide to Food Economics
Jutta Roosen, Jill E. Hobbs Hardcover R4,459 Discovery Miles 44 590

 

Partners