Search results for "Program"
Items we need to order for you
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 2,483.34
R 741.32
R 2,358.76
Rule-Based Programming
Rule-Based Programming is a broad presentation of the rule-based programming method with many example programs showing the strengths of the rule-based approach. The rule-based approach has been used extensively in the development of artificial intelligence systems, such as expert systems and machine learning. This rule-based programming technique has been applied in such diverse fields as medical diagnostic systems, insurance and banking systems, as well as automated design and configuration systems. Rule-based programming is also helpful in bridging the semantic gap between an application and a program, allowing domain specialists to understand programs and participate more closely in their development. Over sixty programs are presented and all programs are available from an ftp site. Many of these programs are presented in several versions allowing the reader to see how realistic programs are elaborated from `back of envelope' models. Metaprogramming is also presented as a technique for bridging the `semantic gap'. Rule-Based Programming will be of interest to programmers, systems analysts and other developers of expert systems as well as to researchers and practitioners in artificial intelligence, computer science professionals and educators.
R 4,658.28
Windows Power-Programmierung
Dieses Buch beginnt dort, wo Einsteigerbücher in der Regel aufhören. Es eröffnet dem Leser die gesamte Palette der professionellen Programmiermethoden unter Windows. Sowohl auf der Anwendungsebene als auch im Bereich der Windows-internen Funktionen erhält der Leser profundes Entwicklungs-Know-how. Alle Programme, einschließlich der im Buch vorgestellten Dynamic Link Libraries (DLL) wurden mit der professionellen Entwicklungsumgebung Borland Pascal 7.0 entworfen. Der heutigen Bedeutung angemessen, geht das Buch auch auf den Bereich Multimedia und die programmtechnische Ansteuerung entsprechender Peripheriegeräte ein. Durch die Vielzahl direkt einsetzbarer Programmcodes sowie die Fülle echter Insider-Informationen behält das Buch seinen Wert als Arbeits- und Nachschlagewerk.
R 2,112.71
R 443.00
R 1,922.53
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
R 518.00
Practical Program Evaluation
Practical Program Evaluation offers a step-by-step analysis of successful program evaluation. Although the case illustrations and examples are gathered from child abuse prevention programs, the basic methods described can be applied to any program evaluation. --The Chronicle of Philanthropy "Quite useful as a ′how to′ manual. For those unfamiliar with the topic, it does an excellent job of ′demystifying′ evaluation by providing the information in an easy-to-read manner. For those accustomed to evaluation, it is useful to have a book with information specifically for child abuse and neglect prevention programs. The book′s greatest asset is the rich resource information it provides. . . . The book is an excellent resource guide for all programs wanting to conduct their own evaluations. . . . The appendices and resource lists are a must for anyone conducting evaluations of child abuse and neglect prevention programs. --The Advisor: American Professional Society on the Abuse of Children "Written for students and professionals whether evaluators familiar with research design and methods or child abuse prevention staff who need a guide to programme evaluation research. . . . A valuable overview and resource." --Journal of the Institute of Health Education How can one design a successful program evaluation? What research designs should be considered? What types of data collection instruments are available? And, what steps are involved in analyzing the data collected? From the start of a program evaluation to analyzing the final data, Practical Program Evaluation offers a convenient, step-by-step manual for evaluating any program. Beginning with an overview and discussion on three distinct models of evaluation (Input, Process, and Group or Client Level Outcomes), the authors continue by presenting basic, yet concise instructions on how to perform specialized evaluation procedures. Topics related to choosing samples, selecting research designs, constructing data collection instruments, scheduling data collection, training data collectors, and analyzing findings are all thoroughly covered. And, while examples and case illustrations are taken from child abuse prevention programs, the techniques described here can be easily applied to any program evaluation. For the evaluator familiar with research design and method--but not an expert in child welfare--this impressive manual provides strategies and resources specific to program evaluation. For students of child abuse prevention and program staffers, this informative guide offers an easy-to-follow roadmap to the often complex process of program evaluation research.
R 3,137.77
R 1,010.00
R 397.00
R 305.00
R 458.00
Oberon-2 Programming with Windows
This book is aimed at students who need to learn the basics of programming or who are studying computing. It is a "hands on" book containing many examples which start by illustrating basic Oberon-2 language features and gradually increase in scope to cover object-oriented programming concepts and constructs. Oberon-2 is a successor to the language Pascal, which was also designed by Prof. N. Wirth [Wir71J. It has quickly become a major language used for teaching purposes. The only thing you need for successfully working through the book is to have access to a computer running Windows 3. 11 or Windows 95. The material in the book is useful to students of schools, colleges, and universities for teaching Oberon-2 and programming at an introductory level. of the book is not focused on software engineering or object The scope oriented technology; other books mentioned in the reference section already cover these topics in much greater depth. However, the examples in the book have been designed with these topics firmly in mind. Currently the term "object-oriented" is very much in fashion, having taken over from structured programming of the 1970s and '80s. In this book we have taken the view that a structured programming approach can be used to teach the fundamentals of programming algorithms. The object-oriented approach is then brought in as a complementary way to think, analyze, design and program.
R 2,782.18
R 1,139.00
Program Verification
Among the most important problems confronting computer science is that of developing a paradigm appropriate to the discipline. Proponents of formal methods - such as John McCarthy, C.A.R. Hoare, and Edgar Dijkstra - have advanced the position that computing is a mathematical activity and that computer science should model itself after mathematics. Opponents of formal methods - by contrast, suggest that programming is the activity which is fundamental to computer science and that there are important differences that distinguish it from mathematics, which therefore cannot provide a suitable paradigm. Disagreement over the place of formal methods in computer science has recently arisen in the form of renewed interest in the nature and capacity of program verification as a method for establishing the reliability of software systems. A paper that appeared in Communications of the ACM entitled, `Program Verification: The Very Idea', by James H. Fetzer triggered an extended debate that has been discussed in several journals and that has endured for several years, engaging the interest of computer scientists (both theoretical and applied) and of other thinkers from a wide range of backgrounds who want to understand computer science as a domain of inquiry. The editors of this collection have brought together many of the most interesting and important studies that contribute to answering questions about the nature and the limits of computer science. These include early papers advocating the mathematical paradigm by McCarthy, Naur, R. Floyd, and Hoare (in Part I), others that elaborate the paradigm by Hoare, Meyer, Naur, and Scherlis and Scott (in Part II), challenges, limits and alternatives explored by C. Floyd, Smith, Blum, and Naur (in Part III), and recent work focusing on formal verification by DeMillo, Lipton, and Perlis, Fetzer, Cohn, and Colburn (in Part IV). It provides essential resources for further study. This volume will appeal to scientists, philosophers, and laypersons who want to understand the theoretical foundations of computer science and be appropriately positioned to evaluate the scope and limits of the discipline.
R 12,658.64
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
R 438.00
DIY Programming and Book Displays
This manual guides librarians in creating simple, affordable, ready-to-use activities for children, 'tweens, teens, and families, with enough material for a full year of programs.Do-it-yourself programming is an emerging model in which the librarian does the preparation, then lets patrons take over. DIY Programming and Book Displays: How to Stretch Your Programming without Stretching Your Budget and Staff makes it easy for librarians to institute such programs in their own facilities.Organized around 12 thematic chapters, the book explains how to set up and maintain a do-it-yourself station and offers instructions for a variety of year activities. Reproducible materials and booklists are included as well. Librarians may use the activities as starting points for generating their own ideas or they may simply photocopy materials in the book for ready-to-use, monthly DIY programming. Once set up, the DYI station is available to patrons anytime they are in the library. Best of all, because DIY programs do not rely on staff, space, or special materials, they allow libraries to make the most of their resources without sacrificing patron service.Month-by-month organization, with two programs per monthPlenty of reproducibles to help librarians get DIY stations up and running in no timePhotographs or illustrations beginning each chapterA thematic, annotated booklist for each chapter
R 1,904.00
Julia 1.0 Programming
Enter the exciting world of Julia, a high-performance language for technical computingKey FeaturesLeverage Julia's high speed and efficiency for your applicationsWork with Julia in a multi-core, distributed, and networked environmentApply Julia to tackle problems concurrently and in a distributed environmentBook DescriptionThe release of Julia 1.0 is now ready to change the technical world by combining the high productivity and ease of use of Python and R with the lightning-fast speed of C++. Julia 1.0 programming gives you a head start in tackling your numerical and data problems. You will begin by learning how to set up a running Julia platform, before exploring its various built-in types. With the help of practical examples, this book walks you through two important collection types: arrays and matrices. In addition to this, you will be taken through how type conversions and promotions work. In the course of the book, you will be introduced to the homo-iconicity and metaprogramming concepts in Julia. You will understand how Julia provides different ways to interact with an operating system, as well as other languages, and then you'll discover what macros are. Once you have grasped the basics, you’ll study what makes Julia suitable for numerical and scientific computing, and learn about the features provided by Julia. By the end of this book, you will also have learned how to run external programs. This book covers all you need to know about Julia in order to leverage its high speed and efficiency for your applications.What you will learnSet up your Julia environment to achieve high productivityCreate your own types to extend the built-in type systemVisualize your data in Julia with plotting packagesExplore the use of built-in macros for testing and debugging, among other usesApply Julia to tackle problems concurrentlyIntegrate Julia with other languages such as C, Python, and MATLABWho this book is forJulia 1.0 Programming is for you if you are a statistician or data scientist who wants a crash course in the Julia programming language while building big data applications. A basic knowledge of mathematics is needed to understand the various methods that are used or created during the course of the book to exploit the capabilities that Julia is designed with.
R 1,498.00
Generative Programming and Component Engineering
This volume constitutes the proceedings of the ?rst ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engine- ing (GPCE 2002), held October 6–8, 2002, in Pittsburgh, PA, USA, as part of the PLI 2002 event, which also included ICFP, PPDP, and a?liated workshops. The future of Software Engineering lies in the automation of tasks that are performed manually today. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of mo- larization and analysis in application design), and Domain-Speci?c Languages (elevating program speci?cations to compact domain-speci?c notations that are easier to write and maintain) are key technologies for automating program de- lopment. In a time of conference and workshop proliferation, GPCE represents acounter-trend in the merging of two distinct communities with strongly ov- lapping interests: the Generative and Component-Based Software Engineering Conference (GCSE) and the International Workshop on the Semantics, App- cations, and Implementation of Program Generation (SAIG). Researchers in the GCSE community address the topic of program automation from a contemporary software engineering viewpoint; SAIG correspondingly represents a community attacking automation from a more formal programming languages viewpoint. Together, their combination provides the depth of theory and practice that one would expect in apremier research conference. Three prominent PLI invited speakers lectured at GPCE 2002: Neil Jones (University of Copenhagen), Catuscia Palamidessi (Penn State University), and Janos Sztipanovits (Vanderbilt University). GPCE 2002 received 39 submissions, of which 18 were accepted.
R 1,564.16
R 1,922.53
R 305.00
Multimedia Introduction to Programming Using Java
This book anchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containing over 250 recorded lectures with synchronized animation, ProgramLive allows users to see, first-hand and in real time, processes like stepwise refinement of algorithms, development of loops, execution of method calls and associated changes to the call stack, and much more. The zip file also includes all programs from the book, 35 guided instruction sets for closed lab sessions, and a 70-page hyperlinked glossary.With its comprehensive appendices and bibliography, systematic approach, and helpful interactive programs on extras.springer.com, this exciting work provides the key tools they needed for successful object-oriented programming. It is ideal for use at the undergraduate and graduate beginning level, whether in the classroom or for distance learning; furthermore, the text will also be a valuable self-study resource or reference volume in any programmer’s library.
R 1,645.56
R 1,828.17
Program Management for Improved Business Results
Superior program management begins with superior information and strategy Program Management for Improved Business Results, Second Edition is a practical guide to real-world program management, written to align with the rigorous PMI® PgMP® certification standards. The book explains the benchmarks and best practices that help shape a superior program manager, and provides case studies that illustrate the real-world application of management concepts. Written by a team composed of both industry professionals and academics, the book strikes a balance between theory and practice that facilitates understanding and better prepares candidates for the PgMP. Managers at all levels will learn the insights and techniques that are shaping modern management expectations. The Project Management Institute and the Product Development and Management Association both agree that program management is a critical element in the successful integration of business strategy and project management. The certification process is difficult, and few complete it – but demand for competent professionals is high. Program Management for Improved Business Results addresses this disconnect, preparing readers to fill the gaps and help businesses achieve the level of program management integration required by professional organizations. Topics include: Aligning programs with business strategyProgram planning, execution, and processesManagement metrics and strategic and operational toolsRoles, responsibilities, and core competencies The book focuses on both the macro and the micro levels, explaining the successful integration of business strategy with project portfolios as well as the managing of a single program. Case studies present both issue-oriented and comprehensive perspectives, and guidance includes real, actionable steps. For professionals seeking improved program outcomes, Program Management for Improved Business Results is a roadmap to exceptional management skills. (PMI and PgMP are registered marks of the Project Management Institute, Inc.)
R 2,571.00
R 428.00
R 428.00
R 1,257.31
Introductory Programs with the 32-bit PIC Microcontroller
Embark on a journey into the world of embedded programming. This book introduces you to the 32bit PIC and will teach you how the main functions of C programming work and can be used with a PIC micro.A one-stop reference for the would-be embedded programmer, you'll explore the electronics needed for a variety of programs as well as how to use different devices with the PIC. The book starts with downloading the environment and creating a simple project, one that uses different oscillators, Phase Lock Loop, and circuitry needed to create the different system clocks—an easy entry point to this exciting environment. You'll also review the MPLABX integrated development environment (IDE) and see how to program the 32Bit PIC, which can be adapted to different PICs.Throughout subsequent chapters, you’ll learn how to use a range of programs that use PIC modules such as the SPI, I2C, UART communication modules, the ADC module, the Capture, Compare, and Pulse Width Modulation module, and the RTCC, Real Time Clock and Calendar Module.What You'll LearnCreate a project in MPLABX Configure the different clock frequencies that are used in the 32bit PICBuild a variable delay subroutine to be used in a simple traffic lights programUse the MAX 7219 driver IC to control the 8by8 matrix displayProgram an I2C expander module to control the display on a LCDWho This Book Is ForReaders who want to try their hand at embedded programming, newcomers to programming the PIC 32, programmers who want to look into using MPLAB Harmony 3, and programmers who want to understand how C instructions work with respect to 32bit PIC. Also students who are studying for an engineering qualification.
R 1,637.04
R 3,018.00
R 618.00
Intergenerational Programs
First published in 1997. This work describes the relationship between intergenerational practice and theory by combining details about current programmes with developmental and societal information. It presents the components for intergenerational programs that impact on the field's history, current status, and future, the book introduces the basic theoretical information for this human service initiative.
R 9,313.80
R 489.00
Program Management Complexity
Although complexity is a phenomenon that confounds and challenges program managers across industry sectors, there is little information available that identifies the set of competencies managers need to complete their program successfully and deliver the benefits desired by stakeholders. Program Management Complexity: A Competency Model fills this void. Written by two of the first professionals to obtain the Program Management Professional (PgMP®) certification from the Project Management Institute (PMI), this book begins with a literature review of program and project management complexity. Next, it presents a competency model, based on the authors’ seven decades of collective experience in the field, which follows the framework of PMI's model for project managers. Useful for corporate and government organizations, universities, executives, PMO directors and human resources professionals who need to determine program management training needs, this unique model is divided into performance competencies and personal competencies. The performance competencies are organized according to the six domains of program management, while the eight personal competencies are based on research plus a survey of PgMPs® worldwide. After presenting the model, along with detailed plans and guidelines for its implementation in a real-world setting, the book presents three questionnaires designed to help organizations, existing program managers, and aspiring program managers assess their own development plans. Supplying you with the insight to recognize the elements of complexity during the defining and initiating stages, this book includes detailed guidelines to help you recruit, train, and develop program managers capable of delivering stated program benefits, services, and results.Check out a video of Ginger Levin discussing her book:http://www.youtube.com/watch?v=A6YPwEhYDlc
R 4,066.00
Smart Programming for Teaching and Learning Centers
Smart Programming for Teaching and Learning Centers offers comprehensive programming suggestions, frameworks, and strategies for creating flexible and effective faculty development experiences.The pressure for teaching and learning centers to “keep up” and maintain their relevance is compounded by persistent challenges in faculty recruitment, buy-in, and rapidly evolving instructor and student needs. This diverse group of faculty development experts, led by the Managing Editor and Editor-in-Chief of the Journal of Faculty Development, assists readers in tweaking current programming and developing new models. Contributors provide innovative recommendations and detailed case studies, covering topics such as faculty learning communities, mentorship programs, retreats, asynchronous learning, and more. Helpful appendices include survey questions, planning guides, evaluation templates, and other quick-use resources.This practical guide takes the guesswork out of effective initiatives, serving as an invaluable resource for faculty development professionals seeking an inside look at what centers across the country are doing in terms of programming, culture, and assessment.
R 1,993.72
Introduction to Programming for Researchers
Enhance your computational and programming skills using Bash and Python to improve productivity and efficiency in research projects. This book is an essential guide for STEM researchers. Structured into several parts, each builds on the previous ones to ensure a solid foundation in programming. You'll begin with the basics of digital computation and operating systems, then write pipelines and scripts in Bash, focusing on tools for working with datasets in text files. After introducing algorithms and floating-point numbers, the book transitions to Python, emphasizing SciPy libraries and built-in features like type hints and f-strings. IPython and Jupyter notebooks are integrated into the lessons throughout. Programming best practices are taught, alongside programming basics. These include documentation and unit testing. As the target audience is STEM students and professionals, examples make heavy use of datasets and the SciPy software stack, especially NumPy, Matplotlib, Pandas, and SymPy. Introduction to Programming for Researchers will foster a deeper understanding of computational tools and critical programming skills, empowering you to tackle complex datasets and enhance their research capabilities. What You Will Learn Apply programming skills to enhance research productivity and efficiency. Write Bash pipelines and executable scripts. Implement basic algorithms in Python, focusing on time efficiency and structured programming. Who This Book Is For Experienced researchers looking to improve their computational skills; students in the natural sciences and engineering; scientists and engineers from various fields, seeking to integrate programming skills into their research methodologies.
R 1,596.00
Introduction to Programming with Fortran
This fourth Edition presents new examples on submodules, derived type i/o, object oriented programming, abstract interfaces and procedure pointers, C interop, sorting and searching, statistics and converting to more modern versions of Fortran.Key FeaturesHighlights the core language features of modern Fortran including data typing, array processing, control structures, functions, subroutines, modules and submodules, user defined types, pointers, operator overloading, generic programming, parallel programming, abstract interfaces, procedure pointersPinpoints common problems that occur when programmingIllustrates the use of several compilersIntroduction to Programming with Fortran has been written for the complete beginner with little or no programming background as well as existing Fortran programmers and those with programming experience in other languages
R 6,291.66
Wiley Guide to Project, Program, and Portfolio Management
A comprehensive guide to project management and its interaction with other management systems and strategies The Wiley Guides to the Management of Projects address critical, need-to-know information that will enable professionals to successfully manage projects in most businesses and help students learn the best practices of the industry. They contain not only well-known and widely used basic project management practices but also the newest and most cutting-edge concepts in the broader theory and practice of managing projects. This first book in the series, The Wiley Guide to Project, Program & Portfolio Management, is based on the "meta" level of management, which, simply stated, asserts that project management must be integrated throughout an organization in order to achieve its full potential to enhance the bottom line. This book will show you how to fully understand and exploit the strategic management of projects, portfolios, and program management and their linkage with context and strategy in other concepts and processes, such as quality management, concurrent engineering, just-in-time delivery, systems management and engineering, teams, and statistical quality control. Featuring contributions from experts all around the world, this invaluable resource book offers authoritative project management applications for industry, service businesses, and government agencies. Complete your understanding of project management with these other books in The Wiley Guides to the Management of Projects series: * The Wiley Guide to Project Control * The Wiley Guide to Project Organization & Project Management Competencies * The Wiley Guide to Project Technology, Supply Chain & Procurement Management
R 2,669.00
Computer Programs for Qualitative Data Analysis
For those interested in finding a computer application well-suited for their own qualitative research or just learning more about the capabilities of the latest generation of computer software designed with text, Computer Programs for Qualitative Data Analysis by Eben A. Weitzman and Matthew B. Miles probably represents the single investment they can make. . . . In Computer Programs for Qualitative Data Analysis, Weitzman and Miles . . . provide a critical, in-depth look at 24 separate applications. The authors make an impressive team: Weitzman is a professor of social and organizational psychology with an extensive computer background, and Miles is a social psychologist who is well-known in the field of qualitative research for co-authoring a popular book on qualitative data analysis with A. Michael Huberman. Together, the two researchers have produced an informative, user-friendly sourcebook that can save readers a significant amount of time and money when shopping for a software program for qualitative data analysis. Weitzman and Miles clearly put a tremendous amount of work into Computer Programs for Qualitative Data Analysis; they write their reviews of each application in remarkably lucid and jargon-free language in a format reminiscent of Consumer Reports. The level of detail in the reviews reflects their careful and thoughtful field-testing of 24 software programs. Reviews average about 10 pages each and actually show you what each application can do, and every review includes a series of realistic visuals (complete with helpful captions) that display what the computer screen looks like when performing various functions with that specific computer program. In addition to describing the special features of each computer program, Weitzman and Miles discuss the strengths and weaknesses of every application and make explicit comparisons with other applications in the same ′family.′ "Sage Publications deserves special credit for their role in publishing Computer Programs for Qualitative Data Analysis. Instead of issuing this book in hardcover and attaching a hefty price tag, they released it as an oversized (81/2-by-11-inch) paperback and made this valuable information available at a modest cost. Computer Programs for Qualitative Data Analysis is the most comprehensive resource on its subject currently available, and is an excellent starting point for qualitative researchers interested in integrating computer technology more fully into their own data analysis strategies." --Harvard Educational Review "The book by Weitzman & Miles is one of many new books on computers and qualitative software and indeed a good one. . . . The book is truly a user′s book--one of the useful ones. . . . After this first feeling of self-confidence, I just kept on reading the book and found very thorough and illuminative reviews of no less that 24 computer programs for qualitative analysis. . . . Renata Tesch initiated the work of making it easier for us to surv
R 7,135.96
Windows Assembly Language and Systems Programming
-Access Real mode from Protected mode; Protected mode from Real mode Apply OOP concepts to assembly language programs Interface assembly language programs with high-level languages Achieve direct hardware manipulation and memory access Explore the archite
R 4,358.13
R 635.00
R 1,747.00
Programming with Higher-Order Logic
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding, a notion that must be treated carefully at a computational level. This book aims to show that a programming language based on a simply typed version of higher-order logic provides an elegant, declarative means for providing such a treatment. Three broad topics are covered in pursuit of this goal. First, a proof-theoretic framework that supports a general view of logic programming is identified. Second, an actual language called λProlog is developed by applying this view to higher-order logic. Finally, a methodology for programming with specifications is exposed by showing how several computations over formal objects such as logical formulas, functional programs, and λ-terms and π-calculus expressions can be encoded in λProlog.
R 2,376.32
R 360.00
