Search results for "Program"
Items we need to order for you
R 1,049.47
R 244.00
Programming and Meta-Programming in Scheme
A comprehensive first course in Scheme, covering all of its major features: abstraction, functional programming, data types, recursion, and semantic programming. Although the primary goal is to teach students to program in Scheme, this will be suitable for anyone taking a general programming principles course. Each chapter is divided into three sections: core, appendix , and problems. Most essential topics are covered in the core section, but it is assumed that most students will read the appendices and solve most of the problems - all of which require short Scheme procedures. As well as providing a thorough grounding in Scheme, the author discusses different programming paradigms in depth. An important theme throughout is that of "meta-programming", thus providing an insight into topics such as type-checking and overloading which might otherwise be missed.
R 2,308.11
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 3,297.00
Program Construction
Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing a complete, self-contained account of the principles of logical reasoning. Designed specifically so users can construct programs that meet their specifications, the book details program construction principles in a straightforward fashion, avoiding overly complicated theory, and then illustrating each with convincing examples.
R 2,647.00
Ai-Assisted Programming
Get practical advice on how to leverage AI development tools for all stages of code creation, including requirements, planning, and design; coding; and debugging, testing, and documentation. With this practical book, beginners and experienced developers alike will learn how to use a wide range of tools, from general-purpose LLMs (ChatGPT, Bard, and Claude) to code-specific systems (GitHub Copilot, Tabnine, Cursor, and Amazon CodeWhisperer). You'll also learn about more specialized generative AI tools for tasks such as text-to-image creation. Author Tom Taulli provides a methodology for modular programming that aligns effectively with the way prompts create AI-generated code. This guide also describes the best ways of using general purpose LLMs to learn a programming language, explain code, or convert code from one language to another. This book examines: The core capabilities of AI-based development tools Pros, cons, and use cases of popular systems such as GitHub Copilot and Amazon CodeWhisperer Ways to use ChatGPT, Bard, Claude, and other generic LLMs for coding Using AI development tools for the software development lifecycle, including requirements, planning, coding, debugging, and testing Prompt engineering for development Using AI-assisted programming for tedious tasks like creating regular expressions making chron jobs and GitHub Actions How to use AI-based low-code and no-code tools
R 1,596.00
R 305.00
R 958.00
Adapting Proofs-as-Programs
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.
R 5,457.75
R 458.00
Programs as Diagrams
It is not always clear what computer programs mean in the various languages in which they can be written, yet a picture can be worth 1000 words, a diagram 1000 instructions.In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language. Such programs as diagrams show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach.Topics and features:Delivers a ‘crash’ diagram-based course in theory of computationUses single-instruction diagrammatic programming languageOffers a practical introduction into categories and string diagrams as computational toolsReveals how computability is programmability, rather than an ‘ether’ permeating computers Provides a categorical model of intensional computation is unique up to isomorphismServes as a stepping stone into research of computable categoriesIn addition to its early chapters introducing computability for beginners, this flexible textbook/resource also contains both middle chapters that expand for suitability to a graduate course as well as final chapters opening up new research. Dusko Pavlovic is a professor at the Department of Information and Computer Sciences at the University of Hawaii at Manoa, and by courtesy at the Department of Mathematics and the College of Engineering. He completed this book as an Excellence Professor at Radboud University in Nijmegen, The Netherlands.
R 3,339.53
R 493.00
Programs as Data Objects
This volume constitutes the proceedings of the Second Symposium on Programs asDataObjects(PADO-II),heldattheUniversityofAarhus,Denmark,onMay 21-23,2001. PADO-IIwascolocatedwiththeThirdInternationalWorkshopon Implicit Computational Complexity (ICC2001) and the Seventeenth Conference on the Mathematical Foundations of Programming Semantics (MFPS XVII). The?rstPADOwasorganizedbyHaraldGanzingerandNeilJones,in1985. This second symposium took place at the occasion of Neil Jones's 60th birthday, andonhiswish,weorganizeditasaresearchevent. Thecallforpaperswas openandelicited30submissionsfrom12countries. Overall,145reviewswere collected,andbasedonthese,theprogramcommitteeselected14papersfor presentation. Withoneexception,eachsubmissionreceivedatleast4reviews. Whererelevant,atranscriptofthe(electronic)PCmeetingwasalsoenclosed. 1 PADO-IIwassponsoredbyBRICS andthe EspritWorkingGroupAPPSEM, and organized in cooperation with the European Association for Programming Languages and Systems (EAPLS) and the Special Interest Group on Progr- ming Languagesof the Association for Computing Machinery (ACM SIGPLAN). We gratefully acknowledge their support.We also extend our thanks to the PC members and external reviewers for theirtimeandthoughts,JanneKrounChristensenandKarenKjaerMollerfor theirorganizationalhelp,the project for hosting our submission web site,andDanielDamianforsettingitupandmaintainingit. February 2001 Olivier Danvy and Andrzej Filinski 1 BasicResearchinComputerScience(www. brics. dk), fundedbytheDanishNationalResearchFoundation. ConferenceOrganization Conference Co-chairs OliverDanvy,BRICS,UniversityofAarhus,Denmark AndrzejFilinski,BRICS,UniversityofAarhus,Denmark Program Committee TorbenAmtoft BostonUniversity,USA CharlesConsel LaBRI/ENSERB,France CatarinaCoquand ChalmersUniversity,Sweden RadhiaCousot EcolePolytechnique,France OlivierDanvy UniversityofAarhus,Denmark AndrzejFilinski UniversityofAarhus,Denmark YoshihikoFutamura WasedaUniversity,Japan FritzHenglein ITUniversity,Denmark PeterLee CarnegieMellonUniversity,USA Y. AnnieLiu SUNYStonyBrook,USA DaveMacQueen BellLabs,USA JamesS. Royer SyracuseUniversity,USA MortenHeineSorensen ITPractice,Denmark CarolynL. Talcott StanfordUniversity,USA JonLWhite CommerceOne,Inc. ,USA Additional Referees ZinoBenaissa,EdoardoS. Biagioni,HowardA.Blair,CraigChambers,Wei- NganChin,LarsR. Clausen,PierreCointe,ThierryCoquand,NielsDamgaard, DanielDamian,DamienDoligez,R'emiDouence,R. KentDybvig,PavelEmel- nov,GilbertoFil'e,JohnGallagher,RobertoGiacobazzi,RobertGl. uck,John Hatcli?,NevinHeintze,ThomasHildebrandt,ZhenjiangHu,DieterHutter, KazuhikoKakehi,JerzyKarczmarczuk,AndyKing,NaokiKobayashi,Zenjiro Konishi,KimG. Larsen,MarioLatendresse,JuliaL. Lawall,MichaelLeuschel, JakobLichtenberg,FrancescoLogozzo,HenningMakholm,JacquesMalenfant, BrianMayoh,AntoineMin'e,TorbenAe. Mogensen,EugenioMoggi,DavidM- niaux,PeterD. Mosses,JoachimNiehren,SusanOlder,AlbertoPettorossi, Franco ,isPottier,MaurizioProietti,AarneRanta,JakobRehof,Joh
R 2,362.56
Program Evaluation
Be prepared for your future role in a service-oriented agency. This textbook provides practical guidance on program evaluation while avoiding replicating other course material. Drawing on over 40 years of subject knowledge, Allen Rubin describes outcome designs that are feasible for service-oriented agencies and that match the degree of certainty needed by key users of outcome evaluations. The utility and easy calculation of within-group effect sizes are outlined, which enhance the value of evaluations that lack control groups. Instructions are also given on how to write and disseminate an evaluation report in a way maximizes its chances of being used. Conducting focus group interviews and capitalising on the value of non-probabilitysamples will become second nature after following the effective and pragmatic advice mapped out chapter-by-chapter.
R 1,391.00
R 305.00
Program Implementation in Preventive Trials
Program Implementation in Preventive Trials shows you how you can take a more active part in program evaluation and how you can direct existing programs toward new horizons of more effective service. In this concise, focused look at community-based psychology and its operative programs, you’ll see how and why community programs should be comprehensively evaluated. You’ll see the importance of understanding how interventions were conducted before making conclusions about a program’s impact, and you’ll discover why there’s an ever-widening gap between what is planned and what actually gets implemented in community-based programs.In short, Program Implementation in Preventive Trials helps you see the increasing need for the assessment of implementation, the “active” side of community psychology. You’ll gain instant understanding as to why there’s a need for constant monitoring of a program’s use, and you’ll find answers to the following questions that continue to plague community psychologists who are interested in implementing programs of change: Does the current personnel follow the implementation program? Will new members to the setting understand and utilize the procedures developed for that setting? Will the procedures be modified such that their utility decreases? Specifically, you’ll read about:how to ensure intervention programs are conducted as planned why implementation data should be collected what protocol compliance is and its role in treatment programs when to be flexible so modifications can be made in program procedures who can enhance program adherence by “buying in” to a multi-change agent approach where cultural sensitivity helps programs be more faithfully adopted and conductedIf you’re a scholar or a student interested in studying the fundamental issue of implementation, you’ll definitely want to see what these professionals have compiled in Program Implementation in Preventive Trials. You’ll find that your program agenda, however beneficial it is now, will only be raised and elevated to a new level of performance by the positive examples and research carefully collected here.
R 7,549.26
Programming Languages: Implementations, Logics, and Programs
This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
R 1,579.58
This Program Is Brought to You By . . .
Journalism, television, cable, and online media are all evolving rapidly. At the nexus of these volatile industries is a growing group of individuals and firms whose job it is to develop and maintain online distribution channels for television news programming. Their work, and the tensions surrounding it, provide a fulcrum from which to pry analytically at some of the largest shifts within our media landscape. Based on fieldwork and interviews with different teams and organizations within MSNBC, this multi-disciplinary work is unique in its focus on distribution, which is rapidly becoming as central as production, to media work.
R 1,501.00
Program Evaluation
This timely, unique, and insightful book provides students and practitioners with the tools and skills needed to evaluate social and policy programs across a range of disciplines - from public health to social work to education - enabling the allocation of scarce human and financial resources to advance the health and well-being of individuals and populations.The chapters are organized according to the main tasks involved in conducting an evaluation to produce unbiased evidence of program effectiveness, quality and value. They include the methods for selecting and justifying evaluation questions or hypotheses, designing evaluations, sampling participants, selecting information sources, and ensuring reliable and valid measurement. The final section of the book is focused around managing and analyzing data and transparently reporting the results in written and oral form. The book also features international case studies throughout, covers quantitative, qualitative and mixed method approaches, and is also informed by new online methods developed during the Covid-19 pandemic. Among the book’s unique features is a focus on international standards for conducting ethical evaluations and avoiding research misconduct.Also featuring checklists, example forms and summaries of the key ideas and topics, this very practical book is essential reading for students in the social, behavioral, and health sciences, and will be a key resource for professionals in the field.
R 9,335.93
R 855.00
Programming 101
Programming permeates almost all aspects of our lives. This includes being active on social media, shopping online, and participating in virtual courses. It also includes driving a car and using many devices. This book will teach you the basics of programming using the Processing programming language and provide practice with logical, algorithmic thinking. It can provide insight into what is involved in producing the technical infrastructure of our world. While reading this book, you can build programs based on your own ideas, using images you create or acquire and making connections to activities you enjoy.The chapters in the book will demonstrate the process of programming, starting with formulating an idea, planning, building on past projects, and refining the work, similar to writing an essay or composing a song. This approach will guide you to make use of logic and mathematics to produce beautiful effects. The text contains an Appendix with an introduction to p5.js, a way to produce JavaScript programs with Processing functionality for drawing, images, and interactions to publish on the Web.The term for program in Processing is sketch. The Processing language has been constructed by visual artists using the Java programming language as a base. However, the sketches featured in this book and typical in Processing are far more than static drawings; they incorporate interaction, animation, video, audio, and accessing files on the local computer and on the Web. Technical features are introduced and explained in the context of complete examples: games (Snake, Hangman, jigsaw, slingshot), making a collage of family images and video clips, preparing directions for folding an origami model, rotating objects in 3D, and others.Programming is a fun, creative, expressive pursuit. It does require attention to details and can be frustrating. Still, there is very little that compares to the satisfaction of building a program out of nothing and making it work (or taking an existing program and fixing a problem, or adding a feature and making it better). Programming 101 is your gateway to making this happen. What You'll LearnGain basic programming skillsBuild fun and creative programsUse files for making a holiday card or a sequence of instructionsCombine videos, images, and graphics in a Processing sketchConnections to other programming languages, most especially Java and JavaScript Who This Book Is ForAnyone who has been thinking about trying programming, or has tried, but needs assistance. Anyone who wants to use their own creativity and artistic talents. Anyone who wants to know what is involved in the technology that is present in our lives. Anyone who wants to know what is involved in the technology that is present in our lives.
R 1,368.00
R 1,761.38
Introduction to Python Programming for Scientists and Engineers
Python is one of the most popular programming languages, widely used for data analysis and modelling, and is fast becoming the leading choice for scientists and engineers. Unlike other textbooks introducing Python, typically organised by language syntax, this book uses many examples from across Biology, Chemistry, Physics, Earth science, and Engineering to teach and motivate students in science and engineering. The text is organised by the tasks and workflows students undertake day-to-day, helping them see the connections between programming tools and their disciplines. The pace of study is carefully developed for complete beginners, and a spiral pedagogy is used so concepts are introduced across multiple chapters, allowing readers to engage with topics more than once. “Try This!” exercises and online Jupyter notebooks encourage students to test their new knowledge, and further develop their programming skills. Online solutions are available for instructors, alongside discipline-specific homework problems across the sciences and engineering.
R 3,017.00
R 1,718.56
Introduction to Programming in Java
Programming skills are indispensable in today’s world, not just for computer science students, but also for anyone in any scientific or technical discipline. An Introduction to Programming in Java, Second Edition, by Robert Sedgewick and Kevin Wayne is an accessible, interdisciplinary treatment that emphasizes important and engaging applications, not toy problems. The authors supply the tools needed for students and professionals to learn that programming is a natural, satisfying, and creative experience, and to become conversant with one of the world’s most widely used languages. This example-driven guide focuses on Java’s most useful features and brings programming to life for every student in the sciences, engineering, and computer science. Coverage includes Basic elements of programming: variables, assignment statements, built-in data types, conditionals, loops, arrays, and I/O, including graphics and soundFunctions, modules, and libraries: organizing programs into components that can be independently debugged, maintained, and reusedAlgorithms and data structures: sort/search algorithms, stacks, queues, and symbol tablesApplications from applied math, physics, chemistry, biology, and computer science Drawing on their extensive classroom experience, the authors provide Q&As, exercises, and opportunities for creative engagement with the material throughout. Together with the companion materials, this book empowers people pursue a modern approach to teaching and learning programming. Companion web site contains Chapter summariesSupplementary exercises, some with solutionsDetailed instructions for installing a Java programming environmentProgram code and test data suitable for easy downloadDetailed creative exercises, projects, and other supplementary mat And companion studio-produced online videos provide students and professionals with the opportunity to engage with the material at their own pace and instructors the opportunity to spend their time with students helping them to succeed on assignments and exams.
R 2,649.00
R 1,008.00
R 3,664.00
R 518.00
R 397.00
Distributed Programming
Distributed Programming: Theory and Practice presents a practical and rigorous method to develop distributed programs that correctly implement their specifications. The method also covers how to write specifications and how to use them. Numerous examples such as bounded buffers, distributed locks, message-passing services, and distributed termination detection illustrate the method. Larger examples include data transfer protocols, distributed shared memory, and TCP network sockets. Distributed Programming: Theory and Practice bridges the gap between books that focus on specific concurrent programming languages and books that focus on distributed algorithms. Programs are written in a "real-life" programming notation, along the lines of Java and Python with explicit instantiation of threads and programs. Students and programmers will see these as programs and not "merely" algorithms in pseudo-code. The programs implement interesting algorithms and solve problems that are large enough to serve as projects in programming classes and software engineering classes. Exercises and examples are included at the end of each chapter with on-line access to the solutions. Distributed Programming: Theory and Practice is designed as an advanced-level text book for students in computer science and electrical engineering. Programmers, software engineers and researchers working in this field will also find this book useful.
R 1,573.11
R 959.41
Thinking Programs
This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute wanted outputs from given inputs, and programs that describe continuously executing systems. The core message is that clear thinking about programs can be expressed in a single, universal language, the formal language of logic. Apart from its universal elegance and expressiveness, this “logical” approach to the formal modeling of, and reasoning about, computer programs has another advantage: due to advances in computational logic (automated theorem proving, satisfiability solving, model checking), nowadays much of this process can be supported by software. This book therefore accompanies its theoretical elaborations by practical demonstrations of various systems and tools that are based on or make use of the presented logical underpinnings.
R 2,931.00
R 413.00
Project. Program. Change
This book gives managers an integrative approach to project, program, and change management. It describes the differences between change in projects versus programs with case studies in both areas and the different life cycles. While the project and change comprise much of the book, it is up to date with its emphasis on agile, scrum, and benefits. The book also describes methods to both initiate and manage a change and what must be done for success and business value.
R 6,772.01
R 1,747.00
Foundations of Logic Programming
In the two and a half years since the frrst edition of this book was published, the field of logic programming has grown rapidly. Consequently, it seemed advisable to try to expand the subject matter covered in the first edition. The new material in the second edition has a strong database flavour, which reflects my own research interests over the last three years. However, despite the fact that the second edition has about 70% more material than the first edition, many worthwhile topic!! are still missing. I can only plead that the field is now too big to expect one author to cover everything. In the second edition, I discuss a larger class of programs than that discussed in the first edition. Related to this, I have also taken the opportunity to try to improve some of the earlier terminology. Firstly, I introduce "program statements", which are formulas of the form A+-W, where the head A is an atom and the body W is an arbitrary formula. A "program" is a finite set of program statements. There are various restrictions of this class. "Normal" programs are ones where the body of each program statement is a conjunction of literals. (The terminology "general", used in the first edition, is obviously now inappropriate).
R 3,376.22
Systematic Program Design
A systematic program design method can help developers ensure the correctness and performance of programs while minimizing the development cost. This book describes a method that starts with a clear specification of a computation and derives an efficient implementation by step-wise program analysis and transformations. The method applies to problems specified in imperative, database, functional, logic and object-oriented programming languages with different data, control and module abstractions. Designed for courses or self-study, this book includes numerous exercises and examples that require minimal computer science background, making it accessible to novices. Experienced practitioners and researchers will appreciate the detailed examples in a wide range of application areas including hardware design, image processing, access control, query optimization and program analysis. The last section of the book points out directions for future studies.
R 2,151.73
Systemnahe Programmierung mit Borland Pascal
Das Buch führt den Pascal- und Assemblerprogrammierer in die Möglichkeiten und Techniken systemnahen Programmierens ein. Anhand zahlreicher Beispiele aus dem praktischen Umfeld des professionellen Software-Designs werden vor allem die Bereiche Grafikkarten, Timer, Keyboard- und Speicherverwaltung sowie die Nutzung des DPMI (DOS-Protected Mode Interface) erläutert und dem Entwickler nutzbar gemacht. Als besonderes Highlight stellt das Buch dem Leser einen objektorientierten "Werkzeugkasten" zur Verfügung, mit dem die Entwicklung von Benutzerschnittstellen im Grafikmodus problemlos möglich wird. Die entsprechenden Units liegen, ebenso wie alle anderen Sourcecodes des Buches, einsatzbereit auf Diskette vor.
R 2,774.54
Evolution of Programs
-Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and developed, it undergoes debugging and certification. In addition, most long-lived pro grams have a liCe-cycle that includes modifications to meet amended specifications and extensions for expanded capabilities. Such evolution ary aspects of programming are the topic of this monograph. We present rormal methods for manipulating programs and illustrate their applica tion with numerous examples. Such methods could be incorporated in semi-automated programming environments, where they would serve to ease the burden on the programmer. We begin by describing a method whereby a given program that achieves one goal can be modified to achieve a different goal or a pro gram that computes wrong results can be debugged to achieve the 2 Preface intended results. The abstraction of a set of cognate programs to obtain a program schema, and the instantiation of abstract schemata to solve concrete problems, are approached from the same perspective. In addition, we describe synthesis rules for generating code from specifications and annotation rules for making assertions about code. The synthesis rules may be used when a program is first being developed, or when, in the course of modifying a program, the need arises to rewrite a program segment. Annotation rules may be used for the purpose of determining what an incorrect program really does before attempting to debug it or how a correct program works before attempting to modify it.
R 1,567.38
R 618.00
Fundamentals of X Programming
This book provides an overview of the X Window System focusing on characteristics that have significant impact on the development of both application programs and widgets. We pay special attention to applications that go beyond graphical user interfaces (GUIs); therefore we discuss issues affecting video games, visualization and imaging programs, and designing widgets with a complex appearance. While the book does not assume previous knowledge of X, it is intended for experienced programmers, especially those who want to write programs that go beyond simple GUIs. X is the dominant window system under Unix, and X servers are available for Microsoft Windows, thus enabling graphics over a network in the PC world. While Java offers an apparently universal graphics library (the abstract window toolkit), the reality is quite different: For high-quality graphics and image display, we must program on the target platform itself (X or one of Microsoft’s APIs) rather than rely on Java peer objects. X is a vast subject, so it is impossible to provide a complete coverage in a few hundred pages. Thus we selected topics that are fundamental to the system, so that the reader who masters them should be able to read the documentation of the numerous libraries and toolkits. Therefore we provide documentation on the most important Xlib and X toolkit functions only.
R 1,708.61
R 3,557.78
Essential Programming for the Technical Artist
This book is based on a successful curriculum designed to elevate technical artists with no programming experience up to essential programming competency as quickly as possible. Instead of abstract, theoretical problems, the curriculum employs familiar applications encountered in real production environments to demonstrate each lesson.Written with artists in mind, this book introduces novice programmers to the advantageous world of Python programming with relevant and familiar examples. Any digital artists (not just technical artists) will find this book helpful in assisting with day-to-day production activities.Concentrating upon subjects relevant to the creation of computer graphic assets, this book introduces Python basics, functions, data types, object-oriented programming, exception handling, file processing, graphical user interface creation, PEP 8 standards, and regular expressions. Programming within the SideFX Houdini 3D animation software provides a familiar environment for artists to create and experiment with the covered Python topics.
R 3,260.00
