Search results for "program"
Items we need to order for you
packetC Programming
This book introduces the tools you'll need to program with the packetC language. packetC speeds the development of applications that live within computer networks, the kind of programs that provide network functionality for connecting "clients" and "servers” and “clouds." The simplest examples provide packet switching and routing while more complex examples implement cyber security, broadband policies or cloud-based network infrastructure. Network applications, such as those processing digital voice and video, must be highly scalable, secure and maintainable. Such application requirements translate to requirements for a network programming language that leverages massively-parallel systems and ensures a high level of security, while representing networking protocols and transactions in the simplest way possible. packetC meets these requirements with an intuitive approach to coarse-grained parallelism, with strong-typing and controlled memory access for security and with new data types and operators that express the classic operations of the network-oriented world in familiar programming terms. No other language has addressed the full breadth of requirements for tractable parallelism, secure processing and usable constructs. The packetC language is growing in adoption and has been used to develop solutions operating in some of the world’s largest networks. This important new language, packetC, has now been successfully documented in this book, in which the language's authors provide the materials and tools you'll need in a readable and accessible form.
R 1,739.75
LabVIEW Graphical Programming, Fifth Edition
Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product.LabVIEW programming techniques, tips, and practicesLearn to build effective LabVIEW programs using the detailed information contained in this thoroughly revised resource. This edition updates all content to align with the latest version and adds new chapters that clearly explain object-oriented programming methods, and programming in teams using the cloud. LabVIEW Graphical Programming, Fifth Edition begins with basics for beginners and quickly progresses to intermediate and advanced programming techniques. Written by a pair of LabVIEW experts, this hands-on guide shows how to work with data types, start building your own applications, handle I/O, and use the DAQmix library. You will also find out how to build applications that communicate with enterprise message brokers and with Amazon Web Services’ Internet of Things (IoT) message broker. Coverage includes:•The origin and evolution of LabVIEW•LabVIEW programming fundamentals•Data acquisition•Object-oriented programming in LabVIEW•Frameworks, including the Delacor Queued Message Handler (DQMH®) and Actor Framework•Unit testing•Enterprise and IoT messaging•Programming in teams using the cloud
R 3,299.00
S Programming
S is a high-level language for manipulating, analysing and displayingdata. It forms the basis of two highly acclaimed and widely used dataanalysis software systems, the commercial S-PLUS® and the OpenSource R. This book provides an in-depth guide to writing software inthe S language under either or both of those systems. It is intendedfor readers who have some acquaintance with the S language and want toknow how to use it more effectively, for example to build re-usabletools for streamlining routine data analysis or to implement newstatistical methods.One of the outstanding strengths of the S language is the ease withwhich it can be extended by users. S is a functional language, andfunctions written by users are first-class objects treated in the sameway as functions provided by the system. S code is eminently readableand so a good way to document precisely what algorithms were used, andas much of the implementations are themselves written in S, they can bestudied as models and to understand their subtleties. The currentimplementations also provide easy ways for S functions to callcompiled code written in C, Fortran and similar languages; this isdocumented here in depth.Increasingly S is being used for statistical or graphical analysiswithin larger software systems or for whole vertical-marketapplications. The interface facilities are most developed onWindows® and these are covered with worked examples.The authors have written the widely used Modern Applied Statisticswith S-PLUS, now in its third edition, and several software librariesthat enhance S-PLUS and R; these and the examples used in both booksare available on the Internet.Dr. W.N. Venables is a senior Statistician with the CSIRO/CMISEnvironmetrics Project in Australia, having been at the Department ofStatistics, University of Adelaide for many years previously.Professor B.D. Ripley holds the Chair of Applied Statistics at theUniversity of Oxford, and is the author of four other books on spatialstatistics, simulation, pattern recognition and neural networks. Bothauthors are known and respected throughout the international S and Rcommunities, for their books, workshops, short courses, freelyavailable software and through their extensive contributions to theS-news and R mailing lists.
R 3,842.13
Stochastic Programming
From the Preface… The preparation of this book started in 2004, when George B. Dantzig and I, following a long-standing invitation by Fred Hillier to contribute a volume to his International Series in Operations Research and Management Science, decided finally to go ahead with editing a volume on stochastic programming. The field of stochastic programming (also referred to as optimization under uncertainty or planning under uncertainty) had advanced significantly in the last two decades, both theoretically and in practice. George Dantzig and I felt that it would be valuable to showcase some of these advances and to present what one might call the state-of- the-art of the field to a broader audience. We invited researchers whom we considered to be leading experts in various specialties of the field, including a few representatives of promising developments in the making, to write a chapter for the volume. Unfortunately, to the great loss of all of us, George Dantzig passed away on May 13, 2005. Encouraged by many colleagues, I decided to continue with the book and edit it as a volume dedicated to George Dantzig. Management Science published in 2005 a special volume featuring the “Ten most Influential Papers of the first 50 Years of Management Science.” George Dantzig’s original 1955 stochastic programming paper, “Linear Programming under Uncertainty,” was featured among these ten. Hearing about this, George Dantzig suggested that his 1955 paper be the first chapter of this book. The vision expressed in that paper gives an important scientific and historical perspective to the book.Gerd Infanger
R 6,014.80
R 635.00
Programming Heterogeneous MPSoCs
This book provides embedded software developers with techniques for programming heterogeneous Multi-Processor Systems-on-Chip (MPSoCs), capable of executing multiple applications simultaneously. It describes a set of algorithms and methodologies to narrow the software productivity gap, as well as an in-depth description of the underlying problems and challenges of today’s programming practices. The authors present four different tool flows: A parallelism extraction flow for applications written using the C programming language, a mapping and scheduling flow for parallel applications, a special mapping flow for baseband applications in the context of Software Defined Radio (SDR) and a final flow for analyzing multiple applications at design time. The tool flows are evaluated on Virtual Platforms (VPs), which mimic different characteristics of state-of-the-art heterogeneous MPSoCs.
R 3,843.66
Animated Program Design
This textbook presents a systematic methodology for program development by using design recipes, i.e. a series of steps, each with a specific outcome, that takes a problem solver from a problem statement to a working and tested programmed solution. It introduces the reader to generative recursion, heuristic searching, accumulative recursion, tail recursion, iteration, mutation, loops, program correctness, and vectors. It uses video game development to make the content fun while at the same time teaching problem-solving techniques.The book is divided into four parts. Part I presents introductory material on basic problem solving and program design. It starts by reviewing the basic steps of a design recipe using structural recursion on a list. It then proceeds to review code refactoring–a common technique used to refine programs when a better or more elegant way is found to solve a problem–and introduces the reader to randomness. Next, Part II explores a new type of recursion called generative recursion. It navigates the reader through examples involving fractal image generation, efficient sorting, and efficient searching techniques such as binary, depth-first, and breadth-first search. Part III then explores a new type of recursion called accumulative (or accumulator) recursion. Examples used include finding a path in a graph, improving insertion sorting, and list-folding operations. Finally, Part IV explores mutation. To aid the reader in properly sequencing mutations it presents Hoare Logic and program correctness. In addition, it introduces vectors, vector processing, in-place operations, and circular data. Throughout the whole book complexity analysis and empirical experimentation is used to evaluate solutions.This textbook targets undergraduates at all levels as well as graduate students wishing to learn about program design. It details advanced types of recursion, a disciplined approach to the use of mutation, and illustrates the design process by developing a video game exploiting iterative refinement.
R 2,015.00
R 418.00
R 455.00
R 413.00
Programmieren lernen mit Perl
Das vorliegende Buch bietet eine vollständige Einführung in die imperativ-prozedurale Programmierung anhand der Skriptsprache Perl. Die sukzessive Einführung von Sprachkonstrukten mittels vieler praxisrelevanter Beispiele erleichtert das systematische Erlernen dieser und auch anderer imperativer Programmiersprachen wie C oder Pascal. Die in das Buch aufgenommenen Übungen sind genau auf die Lerninhalte abgestimmt, so daß sich der Text hervorragend zum Selbststudium eignet. Die Darstellung erfolgt in einer Weise, die es auch dem Anfänger ermöglicht, in kurzer Zeit fundierte Programmierfertigkeiten zu entwickeln. Dabei steht das Erlernen der algorithmischen Denkweise und deren Umsetzung in Programm-Code im Vordergrund. Die hierdurch vermittelten Grundlagen sind wesentlich für ein Verständnis objektorientierter Sprachen wie C++ oder Java, Das Buch ist aus der längjährigen Erfahrung des Autors in der Ausbildung von Softwareentwicklern hervorgegangen.
R 1,844.86
R 272.00
Principles of Program Analysis
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing an overview of the four major approaches to program analysis: data flow analysis, constraint-based analysis, abstract interpretation, and type and effect systems. The presentation illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.
R 1,584.57
R 1,549.02
Health Program Management
Learn how to effectively plan, implement, and evaluate health programs Health Program Management: From Development Through Evaluation, Second Edition is a practical and useful introduction to the management of health programs. While providing an overview of the current best practices in management, the textbook goes beyond simple management techniques, teaching students how to develop, lead, and evaluate their programs to ensure quality outcomes. The focus is on the three core management concepts of strategy, design, and leadership, but time is also devoted to describing facilitative management activities integral to successful programs. Students will learn techniques for communication, decision-making, quality assurance, marketing, and program evaluation within the structure of the book's program management model. Logically organized with a separate chapter for each activity, this resource provides a thorough, systematic overview of the effective development, implementation, and evaluation of health programs. Health Program Management: From Development Through Evaluation, Second Edition provides a comprehensive approach to management throughout all stages of a health program. Learn to develop a strategy that steers the program toward specific goalsDiscover how to design, market, and lead an effective health programBecome familiar with the manager's role in a quality health programEvaluate potential and existing programs for performance and capability Students and aspiring managers and leaders preparing themselves for the challenges of managing health programs will find the information and techniques to develop the skills they need in Health Program Management: From Development Through Evaluation, Second Edition.
R 3,698.00
Verification of Business Rules Programs
Rules represent a simplified means of programming, congruent with our understanding of human brain constructs. With the advent of business rules management systems, it has been possible to introduce rule-based programming to nonprogrammers, allowing them to map expert intent into code in applications such as fraud detection, financial transactions, healthcare, retail, and marketing. However, a remaining concern is the quality, safety, and reliability of the resulting programs. This book is on business rules programs, that is, rule programs as handled in business rules management systems. Its conceptual contribution is to present the foundation for treating business rules as a topic of scientific investigation in semantics and program verification, while its technical contribution is to present an approach to the formal verification of business rules programs. The author proposes a method for proving correctness properties for a business rules program in a compositional way, meaning that the proof of a correctness property for a program is built up from correctness properties for the individual rules—thus bridging a gap between the intuitive understanding of rules and the formal semantics of rule programs. With this approach the author enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules programs. This work will be of interest to practitioners and researchers in the areas of program verification, enterprise computing, database management, and artificial intelligence.
R 2,015.00
Access 2019 PROGRAMMING
As part of the successful Pocket Primer series, this book was designed for someone like you who needs to master Access programming fundamentals without spending too much time. All you need is a short book to get you started. It will show you only the things you need to know to feel at home with VBA. What you learn in this book on Access programming will also apply to, say, Excel programming. The book is divided into nine chapters that progressively introduce you to programming Microsoft Access 2019. FEATURES: Includes a companion disc with all of theHands On files needed to complete the chapter projects and all the images from the text. Introduces you to programming Microsoft Access 2019.
R 820.00
Beginning Julia Programming
Get started with Julia for engineering and numerical computing, especially data science, machine learning, and scientific computing applications. This book explains how Julia provides the functionality, ease-of-use and intuitive syntax of R, Python, MATLAB, SAS, or Stata combined with the speed, capacity, and performance of C, C++, or Java. You’ll learn the OOP principles required to get you started, then how to do basic mathematics with Julia. Other core functionality of Julia that you’ll cover, includes working with complex numbers, rational and irrational numbers, rings, and fields. Beginning Julia Programming takes you beyond these basics to harness Julia’s powerful features for mathematical functions in Julia, arrays for matrix operations, plotting, and more. Along the way, you also learn how to manage strings, write functions, work with control flows, and carry out I/O to implement and leverage the mathematics needed for your data science and analysis projects."Julia walks like Python and runs like C". This phrase explains why Julia is quickly growing as the most favored option for data analytics and numerical computation. After reading and using this book, you'll have the essential knowledge and skills to build your first Julia-based application. What You'll LearnObtain core skills in Julia Apply Julia in engineering and science applicationsWork with mathematical functions in Julia Use arrays, strings, functions, control flow, and I/O in JuliaCarry out plotting and display basic graphics Who This Book Is ForThose who are new to Julia; experienced users may also find this helpful as a reference.
R 1,824.00
Modern Parallel Programming with C++ and Assembly Language
Learn the fundamentals of x86 Single instruction multiple data (SIMD) programming using C++ intrinsic functions and x86-64 assembly language. This book emphasizes x86 SIMD programming topics and technologies that are relevant to modern software development in applications which can exploit data level parallelism, important for the processing of big data, large batches of data and related important in data science and much more.Modern Parallel Programming with C++ and Assembly Language is an instructional text that explains x86 SIMD programming using both C++ and assembly language. The book’s content and organization are designed to help you quickly understand and exploit the SIMD capabilities of x86 processors. It also contains an abundance of source code that is structured to accelerate learning and comprehension of essential SIMD programming concepts and algorithms. After reading this book, you will be able to code performance-optimized AVX, AVX2, and AVX-512 algorithms using either C++ intrinsic functions or x86-64 assembly language. What You Will LearnUnderstand the essential details about x86 SIMD architectures and instruction sets including AVX, AVX2, and AVX-512.Master x86 SIMD data types, arithmetic instructions, and data management operations using both integer and floating-point operands.Code performance-enhancing functions and algorithms that fully exploit the SIMD capabilities of a modern x86 processor.Employ C++ intrinsic functions and x86-64 assembly language code to carry out arithmetic calculations using common programming constructs including arrays, matrices, and user-defined data structures.Harness the x86 SIMD instruction sets to significantly accelerate the performance of computationally intense algorithms in applications such as machine learning, image processing, computer graphics, statistics, and matrix arithmetic.Apply leading-edge coding strategies and techniques to optimally exploit the x86 SIMD instruction sets for maximum possible performance. Who This Book Is ForIntermediate to advanced programmers/developers in general. Readers of this book should have previous programming experience with modern C++ (i.e., ANSI C++11 or later) and Assembly. Some familiarity with Microsoft’s Visual Studio or the GNU toolchain will be helpful. The target audience for Modern X86 SIMD Programming are experienced software developers, programmers and maybe some hobbyists.
R 1,596.00
Excel VBA Macro Programming
Publisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access to any online entitlements included with the product.Develop powerful, custom Excel applications using Visual Basic for ApplicationsMaximize the features and functionality of Excel with help from this unique resource designed specifically for power users. Inside, you’ll find complete details on Excel VBA programming and application development--from the fundamentals to advanced techniques. Then, you’ll get 21 real-world projects, complete with working code, so you can create Excel VBA macros right away. These projects include everything from setting up timed events to auto totaling a matrix of numbers to altering the appearance of spreadsheet components--and much more.Write and debug VBA codeCreate custom dialog boxes and toolbarsTake advantage of the Excel object modelWrite code to interact with a databaseUse application programming interface (API) callsCreate and use class modulesDevelop unique menus within the Excel menu structureExpand calculation and search functionsWrite macros for customized worksheetsCreate full-fledged Excel add-ins
R 1,173.00
R 1,221.00
Mathematical Programming
This book serves as an introductory text in mathematical programming and optimization for students having a mathematical background that includes one semester of linear algebra and a complete calculus sequence. It includes computational examples to aid students develop computational skills.
R 7,590.57
R 1,128.00
R 587.00
Streamlined Library Programming
Is it possible to both cut costs and improve public library programming for all ages? Yes, it is; this book demonstrates how.In their roles as community centers, public libraries offer many innovative and appealing programs; but under current budget cuts, library resources are stretched thin. With slashed budgets and limited staff hours, what can libraries do to best serve their publics? This how-to guide provides strategies for streamlining library programming in public libraries while simultaneously maintaining—or even improving—quality delivery. The wide variety of principles and techniques described can be applied on a selective basis to libraries of all sizes. Based upon the author's own extensive experience as well as that of colleagues in other library systems, this book provides readers with a practical, step-by-step approach to maximizing resources and minimizing costs of programming without sacrificing quality, as well as insider tips and examples from the field that will help them to avoid known pitfalls.Discusses centralized programming, explaining what it is, how it works, and how librarians can select and apply techniques to their librariesProvides effective solutions to streamlining library services and improving efficiencies in a time of budget reductionsOffers useful sample documents and forms, such as program description templates, surveys, and storytime box logistics
R 1,904.00
Programming Our Lives
In this timely examination of television and American identity, Cummins and Gordon take readers on an informed walk through the changes that TV has already wrought-and those still likely to confront us.Commercial television in America is less than 60 years old, yet it has had an enormous impact on what we like, what we do, what we know, and how we think. A family transplanted from the 1940s to the present day would certainly be stunned by a fundamentally different world: instead of gathering in the living room for a shared evening of radio, they would be scattered around the house to indulge their individual interests on one of a hundred cable channels; instead of a society with rigid racial and ethnic divisions, they would see people of different ethnicities in passionate embraces; and certainly they would see very different sets of values reflected across the board. They would, in short, find themselves in an unrecognizable America, one both reflected in and shaped by television, a medium that has been shown to have an unprecedented influence on our lives both for better and for worse.By focusing on the development of television within the cultural context that surrounds it, and drawing on such phenomena as quiz shows, comedy hours, the Kennedy assassination, the Olympics, sitcoms, presidential ads, political debates, MTV, embedded journalism, and reality TV, the authors reveal television's impact on essential characteristics of American life. They cover topics as diverse as politics, crime, medicine, sports, our perceptions, our values, our assumptions about privacy, and our unquenchable need for more things. In addition, they consider the future of the medium in the light of the proliferation of programming options, the prevalence of cameras and receivers in our lives, the growing links between TV and computers, and the crossed boundaries of television throughout the world.
R 2,001.00
Computer Program Synthesis Methodologies
powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of a series of tabular forms and a series of processing paths through which data flows. The design and implementation of such languages are examined in chapters by P. GOLDBERG. Another extension to traditional methods is made possible by systems designed to automatically handle low level flow-of control decisions. All the above higher level languages do this implicitly with their built in operators. PROLOG is a language which does this with a theorem proving mechanism employing primarily unification and backtracking. The programmer specifies the problem to be solved with a set of formal logic statements including a theorem to be proved. The theorem proving system finds a way to combine the axioms to prove the theorem, and in the process, it completes the desired calculation. H. GAllAIRE has contributed a chapter describing PROLOG giving many examples of its usage.
R 6,015.70
Simple and Efficient Programming with C#
Apply skills and approaches to your programming to build a real-world application in C# 11 using the latest editions of Visual Studio, C#, and Microsoft .NET.This revised edition is updated with C#11 and places more emphasis on the newly introduced top-level statements. Additionally, you will find useful techniques and an explanation of the differences between writing code in two different styles. It also covers the new templates introduced in .NET 6, along with usage of .NET 7 in Windows 10 to write code and generate output. Each chapter opens with an introduction and original application written in C# 11 so that you can jump right into coding. From there, you are guided through an expected output and taught best practices along the way. Author Vaskaran Sarcar emphasizes extending and maintaining the same program and he demonstrates examples for different scenarios to make your program more efficient and effective.This book is divided into five parts. The first part starts with a detailed discussion of polymorphism. It then shows you how to make proper use of abstract classes and interfaces, and teaches you to discern which technique to use for a specific scenario. Discussions on code comments teach you how to use them effectively, and why you need to be careful with code comments.In the second part you will learn six design principles, including SOLID and DRY principles. These are the foundation of well-known design patterns, and they establish practices for developing software with considerations for maintaining and extending as a project grows.The third part walks you through methods to make efficient applications. You will learn the common use of factories to separate code from its opposite and the alternative of inheritance using object composition and wrappers. This part also demonstrates the use of template methods, hooks, and facades in programming. Hints show you how professional coders develop an enterprise application.Better handling of exceptions and null values is another integral part of professional programming, which the fourth part explores in detail. This will help you become a more professional programmer.In the final part of the book, you will learn about effective memory management techniques and the use and misuse of design patterns. This part also briefly discusses how to decide between a static method and an instance method and other techniques.After reading this book, you will be able to implement best practices to make your programs more effective and reliable.What Will You LearnAnalyze alternative solutions before implementation by comparing pros and consMake polymorphic code perform betterKnow the side effects of bad/redundant commentsUnderstand the significance of the SOLID and DRY principlesAdd features using wrappersRedefine steps without altering the calling sequence of an algorithmUse hooks in your applicationConvert a complex system into a user-friendly system using facadesRun your applicati
R 1,451.78
R 639.00
Programming Reality
Programming Reality: Perspectives on English-Canadian Television, the first anthology dedicated to analyses of Canadian television content, is a collection of original, interdisciplinary articles, combining textual analysis and political economy of communications. It explores the television that has thrived in the Canadian regulatory and cultural context: namely, programs that straddle the border between reality and fiction or even blur it. The conceptual basis of this collection is the hybrid nature of television fare: the widely theorized notion that all mediations of reality involve fiction in the form of narrative or symbolic shaping. Each of the contributions here is a reminder, too, of the significant relationship of television to nation building in Canada - to the imaginative work involved in thinking through the relations that constitute nations, citizens, and communities. The collection focuses on English-language Canadian television because the imperatives guiding its texts are markedly different from those pertaining to their French-lanugage counterparts. The collection, therefore, develops a nuance of perspective on the cultural and political economic specificities that inform the imaginative work of television production for English Canada.
R 1,779.00
Macintosh Programmieren in C
Dieses Buch ist eine praxisorientierte Einf}hrung in das Programmieren des Macintosh. Es erffnet den Zugang zu speziellen Konzepte des Betriebssystemssowie der Oberfl{chenprogrammierung des Macintosh unter Verwendung der Sprache "C". Es stellt keine theoretische Abhandlung von Programmierkonzepten dar, sondern demonstriert mit Hilfe von vielen Beispielprogrammen die Methoden und Tricks der Macintosh Programmierung. DerLeser soll nach der Lekt}re dieses Buches in der Lage sein, eigene Software-Projekte auf dem Macintosh zu verwirklichen. Da das Buch in deutscher Sprache geschrieben ist, vereinfacht es den Einstieg in die englischsprachige Dokumentation des Macintosh durch Erkl{rung von Macintosh-spezifischen Fachbegriffen.
R 1,855.34
R 1,334.91
Project and Program Management
Choosing the right people to carry out a project is essential to its success, and when multiple projects are combined into a complex program, the human aspect becomes even more important. Project and Program Management: A Competency-Based Approach, Fifth Edition balances a complete account of the technical aspects of project and program management with a practical approach to understanding and developing the core competencies required to accomplish desired goals. On the technical side, this book is a complete introduction to predicting costs, setting schedules, and assessing risks. On the human side, it sheds new light on how to mold different personality types into a team, how to motivate the team's members, and how to produce extraordinary results. The author details the blocking and tackling of the program management approach, describing the best way to define, organize, and schedule the work to be done, while identifying risks and controlling costs throughout the process.This fifth edition has been significantly revised, with every chapter updated. The volume considers the magnitude of recent social, political, and technological changes. Included are insights from numerous students who bring to the forefront their current real-world practices from their individual businesses, industries, and disciplines.
R 2,648.00
Introduction to Digital Music with Python Programming
Introduction to Digital Music with Python Programming provides a foundation in music and code for the beginner. It shows how coding empowers new forms of creative expression while simplifying and automating many of the tedious aspects of production and composition.With the help of online, interactive examples, this book covers the fundamentals of rhythm, chord structure, and melodic composition alongside the basics of digital production. Each new concept is anchored in a real-world musical example that will have you making beats in a matter of minutes.Music is also a great way to learn core programming concepts such as loops, variables, lists, and functions, Introduction to Digital Music with Python Programming is designed for beginners of all backgrounds, including high school students, undergraduates, and aspiring professionals, and requires no previous experience with music or code.
R 2,125.92
R 911.00
Value-Range Analysis of C Programs
Abu?erover?owoccurswheninputiswrittenintoamemorybu?erthatisnot large enough to hold the input. Bu?er over?ows may allow a malicious person to gain control over a computer system in that a crafted input can trick the defectiveprogramintoexecutingcodethatisencodedintheinputitself.They are recognised as one of the most widespread forms of security vulnerability, and many workarounds, including new processor features, have been proposed to contain the threat. This book describes a static analysis that aims to prove the absence of bu?er over?ows in C programs. The analysis is conservative in the sense that it locates every possible over?ow. Furthermore, it is fully automatic in that it requires no user annotations in the input program. Thekeyideaoftheanalysisistoinferasymbolicstateforeachp- gram point that describes the possible variable valuations that can arise at that point. The program is correct if the inferred values for array indices and pointer o?sets lie within the bounds of the accessed bu?er. The symbolic state consists of a ?nite set of linear inequalities whose feasible points induce a convex polyhedron that represents an approximation to possible variable valuations. The book formally describes how program operations are mapped to operations on polyhedra and details how to limit the analysis to those p- tionsofstructuresandarraysthatarerelevantforveri?cation.Withrespectto operations on string bu?ers, we demonstrate how to analyse C strings whose length is determined by anul character within the string.
R 5,978.78
Programing Contingency Analysis of Mental Health
A Programing Contingency Analysis of Mental Health presents Dr. Israel Goldiamond’s reflections on various ways we formulate behavioral and emotional problems, most often in traditional terms of mental health disorders, mental diseases or illnesses, psychopathological disorders, and so on – what he calls a pathological orientation. Here, Goldiamond argues for a groundbreaking alternative view from the vantage point of radical behaviorism. The book begins by discussing contingency relations between behavior and its past and present consequences, along with other environmental events. It reminds us that this approach sits comfortably alongside other consequential systems in the social and biological sciences, particularly decision theory and evolution. This behaviorist system regards most important human behaviors as being emitted rather than stimulus-elicited. Described are some of the diverse origins of behavior, including the effects of environmental consequences and the programing procedures of social and cultural inheritance. The exposition includes decision matrices which rationalize some of the programed patterns and the accompanying thoughts and emotions commonly found in mental illness. As a result of this nonlinear contingency analysis, such patterns may be considered adaptive rather than maladaptive. The book describes programs based on those matrices and outlines how they might be applied to mitigate any problems or costs associated with those patterns. The book concludes by moving from individual analysis to social analysis, with particular reference to some societal contingencies that may maintain the pathological orientation and others that might shift our gaze in the direction proposed here.Alongside Dr. Goldiamond’s original work, this volume features a new introduction from Dr. Paul Thomas Andronis and Dr. T. V. Joe Layng, as well as an article tracing the history of the non-linear thinking of Dr. Goldiamond, first published in The Behavior Analyst. It will be a must-read for anyone working in the analysis of and clinical intervention in problems associated with mental health, or those more generally interested in the work of Israel Goldiamond.
R 3,068.68
Modelling in Mathematical Programming
This book provides basic tools for learning how to model in mathematical programming, from models without much complexity to complex system models. It presents a unique methodology for the building of an integral mathematical model, as well as new techniques that help build under own criteria. It allows readers to structure models from the elements and variables to the constraints, a basic modelling guide for any system with a new scheme of variables, a classification of constraints and also a set of rules to model specifications stated as logical propositions, helping to better understand models already existing in the literature. It also presents the modelling of all possible objectives that may arise in optimization problems regarding the variables values.The book is structured to guide the reader in an orderly manner, learning of the components that the methodology establishes in an optimization problem. The system includes the elements, which are all the actors that participate in the system, decision activities that occur in the system, calculations based on the decision activities, specifications such as regulations, impositions or actions of defined value and objective criterion, which guides the resolution of the system.
R 4,211.60
Pascal Programming for Libraries
Pascal Programming for Libraries is a practical introduction to computer programming designed specifically for library and information center applications. A graded text, this book provides detailed examples of straightforward programs, each fully illustrated and clearly explained. The examples begin with relatively simple computer code and progress to more complex examples using the highly acclaimed language TURBO Pascal, now widely used on personal computers. The applications illustrated deal with such operations as document retrieval, sorting, keyword indexing, selective dissemination of information, and rudimentary technical processes in libraries.
R 3,460.00
Programs, Recursion and Unbounded Choice
This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.
R 2,376.71
R 2,180.77
Programming in the 1990s
Programming is a fascinating and challenging subject. Unfortunately, it is rarely presented as such. Most often it is taught by "induction": features of some famous programming languages are given operational meaning (e.g. a loop "goes round and round"), a number of examples are shown, and by induction, we are asked to develop other programs, often radically different from the ones we've seen. Basically we are taught to guess our programs, and then to patch up our guesses. Our errors are given the cute name of "bugs". Fixing them becomes puzzle-solving, as does finding tricks that exploit or avoid poorly designed features of the programming language. The entire process is time-consuming and expensive. And even so, we are never quite sure if our programs really work in all cases. When approached in this way, programming is indeed a dull activity. There is, however, another approach to programming, an approach in which programs can be developed reliably, with attention to the real issues. It is a practical approach based on methodically developing programs from their specifications. Besides being practical, it is exciting. Many programs can be developed with relative ease. Problems which once were difficult can now be solved by beginners. Elegant solutions bring great satisfaction. This is our subject. We are interested in making programming an exciting topic!
R 1,554.59
