Search results for "Program Or Be Programmed"
Items we need to order for you
Program Or Be Programmed
This compact new edition of a paradigmatic text packs a big and actionable punch. Updated with a new section on the unique challenges posed by AI, Program or Be Programmed presents a spirited, accessible poetics of new media. On these pages (and screens), Rushkoff picks up where Marshall McLuhan left off, helping readers recognize programming as the new literacy of the digital age.The debate over whether the internet is good or bad for us fills the airwaves and the blogosphere. But for all the heat of claim and counter-claim, the argument is essentially beside the point: it’s here; it’s everywhere. The real question is, do we direct technology, or do we let ourselves be directed by it and those who have mastered it? “Choose the former,” writes Rushkoff, “and you gain access to the control panel of civilization. Choose the latter, and it could be the last real choice you get to make.” In eleven “commands,” Rushkoff provides cyberenthusiasts and technophobes alike with the guidelines to navigate this new universe.
R 455.00
R 809.86
R 458.00
R 397.00
R 912.00
R 296.00
Everyone is a Programmer
Through 10-minute challenges, two full projects, and the concept of “The Frugal Full Stack”, this ruthlessly practical book teaches you how to transform your application ideas into realities. No prior coding experience needed.Key FeaturesGet up to speed with AI coding foundations: mindset, infrastructure, and promptingMove from idea to product using free or low-cost toolsBuild two projects: a habit tracker and a commercial image generation platformBook DescriptionThis book is written by practitioners shaping AI coding tools and developer ecosystems in one of the world’s most application-driven tech environments.Vibe coding is a modern, AI-driven way of building software where you focus on what you want to create, and AI helps handle how it’s built. But it is not a shortcut or a gimmick. Effective vibe coding requires understanding how products are structured, how systems fit together, and how ideas turn into real, usable applications.This book introduces you to just that, helping you find your way to your first AI-coded apps.In six chapters, you’ll learn to ideate, plan, and execute your app ideas. You’ll hit the ground running with professional-grade tools like Cursor, Figma, Vercel, and Supabase. The book’s coverage of end-to-end AI application development includes UI/UX, backend, hosting, authentication, and payment integration.By the end, you will have built two full projects and be equipped with a new way to create. What you build next is up to you.What you will learnConfront the fears holding many beginners backApply the Think, Prompt, Iterate philosophyBuild apps with Cursor, Figma, v0.dev, and SupabaseTurn natural language into professional UIsUse low-cost cloud services for scalable infrastructureExplore API design, database management, and MCPWho this book is forThis book is written for product managers, UI/UX designers, and other non-developers to understand AI programming logic and transform their ideas into practical applications.It will be also useful for professional developers wanting to refine their technical architecture skills, and tech enthusiasts or aspiring entrepreneurs curious about the creator economy, AI-driven development, and lean startups.
R 1,140.00
R 458.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
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
Wissensbasierte Programmkonstruktion I
Keine ausführliche Beschreibung für "Wissensbasierte Programmkonstruktion I" verfügbar.
R 6,071.00
Declarative Programming, Sasbachwalden 1991
Declarative programming languages are based on sound mathematical foundations which means that they offer many advantages for software development. These advantages include their powerful descriptive capabilities, the availability of program analysis techniques and the potential for parallel execution. This volume contains the proceedings of a seminar and workshop organised by the Esprit Basic Research Action Phoenix in collaboration with the Esprit Basic Research Action Integration. Both these groups have been closely involved in investigating the foundations of declarative programming and the integration of various language paradigms, as well as the developing aspects of related technology. The main aim of the seminar and workshop was to provide a forum for the results of this work, together with contributions from other researchers in the same field. These papers cover a variety of important technical areas such as foundations and languages, program transformation and analysis, integrated approaches, implementation techniques, abstract machines and programming methodology. The resulting volume provides an in-depth picture of current research into declarative programming. It will be of special interest to researchers in programming languages and methodology, students of artificial intelligence and anyone involved in industrial research and development.
R 1,678.70
Program
None
R 719.94
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
Hilbert’s Program
Hilbert's Program was founded on a concern for the phenomenon of paradox in mathematics. To Hilbert, the paradoxes, which are at once both absurd and irresistible, revealed a deep philosophical truth: namely, that there is a discrepancy between the laws accord ing to which the mind of homo mathematicus works, and the laws governing objective mathematical fact. Mathematical epistemology is, therefore, to be seen as a struggle between a mind that naturally works in one way and a reality that works in another. Knowledge occurs when the two cooperate. Conceived in this way, there are two basic alternatives for mathematical epistemology: a skeptical position which maintains either that mind and reality seldom or never come to agreement, or that we have no very reliable way of telling when they do; and a non-skeptical position which holds that there is significant agree ment between mind and reality, and that their potential discrepan cies can be detected, avoided, and thus kept in check. Of these two, Hilbert clearly embraced the latter, and proposed a program designed to vindicate the epistemological riches represented by our natural, if non-literal, ways of thinking. Brouwer, on the other hand, opted for a position closer (in Hilbert's opinion) to that of the skeptic. Having decided that epistemological purity could come only through sacrifice, he turned his back on his classical heritage to accept a higher calling.
R 3,021.58
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
Divine Programming
From the mid-90s to the present, television drama with religious content has come to reflect the growing cultural divide between white middle-America and concentrated urban elites. As author Charlotte E. Howell argues in this book, by 2016, television narratives of white Christianity had become entirely disconnected from the religion they were meant to represent. Programming labeled 'family-friendly' became a euphemism for white, middlebrow America, and developingaudience niches became increasingly significant to serial dramatic television. Utilizing original case studies and interviews, Divine Programming investigates the development, writing, producing, marketing, and positioning of key series including 7th Heaven, Friday Night Lights, Rectify, Supernatural,Jane the Virgin, Daredevil, and Preacher. As this book shows, there has historically been a deep ambivalence among television production cultures regarding religion and Christianity more specifically. It illustrates how middle-American television audiences lost significance within the Hollywood television industry and how this in turn has informed and continues to inform television programming on a larger scale. In recent years, upscale audience niches have aligned with the perceived tastes of affluent, educated, multicultural,and-importantly-secular elites. As a result, the televised representation of white Christianity had to be othered, and shifted into the unreality of fantastic genres to appeal to niche audiences. To examine this effect, Howell looks at religious representation through four approaches - establishment,distancing, displacement, and use - and looks at series across a variety of genres and outlets in order to provied varied analyses of each theme.
R 2,025.77
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,657.39
Dynamic Program Management
This book is an up-to-date, in-depth examination of program management from its use by the Department of Defense to its commercial applications. Program management enables management to deal with complex, long range, and extremely expensive endeavors. It is a method of developing a solution to a broad, nebulous problem, drawing upon the resources and personnel of many different organizational groups to manage the institution of that solution. This work explains the principles of program management and includes 9 mission and 5 market applications. Of particular interest is the application based on the $15-billion, computer-and-communication nonmilitary transportation system of the 21st century, the National Airspace System (NAS).Dynamic Program Management presents important new concepts. The reader is introduced to a seven step sequence from military need to contract award. The idea of credible capability to evaluate competing future technologies for defense systems and the concurrent conflicts of the program manager are explored. The book details logistics auxiliaries integrating WBS, CM, and T&E. Finally, MESGRA is featured -- a highly accurate, computer-based numerical forecasting algorithm which uses very few datapoints, and which makes rapid adjustments to violent fluctuations. Dynamic Program Management is essential reading for academics and professionals studying and practicing Program/Project Management, and Defense, Technology, Systems Management.
R 2,943.00
R 1,303.64
R 1,335.17
Essentials of Logic Programming
Logic programming has developed into a broad discipline within computing science. Besides its basic role as a declarative programming language, it is also contributing significantly to such fields as artificial intelligence, new-generation computing, software engineering and deductive databases.;This book presents the fundamentals of logic programming from both practical and theoretical viewpoints. It covers various extensions of the formalism, its relationship to Prolog, its formal semantics and its applications to program analysis and transformation. The text is illustrated with numerous diagrams.;There are two distinguishing features of the book designed to make it adaptable to various forms of usage and accessible to various audiences. The material is organized into sixty modular themes, permitting many kinds of course to be based upon it and it includes nearly seventy pages of detailed answers to all of the exercises posed in the themes.
R 2,862.00
Industrial Robots Programming
Industrial Robots Programming focuses on designing and building robotic manufacturing cells, and explores the capabilities of today’s industrial equipment as well as the latest computer and software technologies. Special attention is given to the input devices and systems that create efficient human-machine interfaces, and how they help non-technical personnel perform necessary programming, control, and supervision tasks.Drawing upon years of practical experience and using numerous examples and illustrative applications, J. Norberto Pires covers robotics programming as it applies to:The current industrial robotic equipment including manipulators, control systems, and programming environments.Software interfaces that can be used to develop distributed industrial manufacturing cells and techniques which can be used to build interfaces between robots and computers.Real-world applications with examples designed and implemented recently in the lab.Industrial Robots Programming has been selected for indexing by Scopus.For more information about Industrial Robotics, please find the author's Industrial Robotics collection at the iTunesU University of Coimbra channel.
R 3,576.55
R 794.00
Science of Programming
Describes basic programming principles and their step-by-step applications.Numerous examples are included.
R 2,782.92
R 1,073.49
R 489.33
Automatische Synthese rekursiver Programme als Beweisverfahren
In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k|nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa~t werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseproze~ gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle Transformationsregeln sowie Strategien und Heuristiken, die die Beweissuche steuern. Sie werden anhand vieler Beispiele ausf}hrlich diskutiert. Obwohl die hier beschriebene Methode in erster Linie zur Automatisierung von Existenzbeweisen entwickelt worden ist, und der Aspekt der automatischen Softwareentwicklung eher im Hintergrund steht, motivieren zahlreiche Beispiele dazu, das Verfahren auch f}r diesen Zweck einzusetzen.
R 2,050.80
Behavioral Program Synthesis with Genetic Programming
Genetic programming (GP) is a popular heuristic methodology of program synthesis with origins in evolutionary computation. In this generate-and-test approach, candidate programs are iteratively produced and evaluated. The latter involves running programs on tests, where they exhibit complex behaviors reflected in changes of variables, registers, or memory. That behavior not only ultimately determines program output, but may also reveal its `hidden qualities' and important characteristics of the considered synthesis problem. However, the conventional GP is oblivious to most of that information and usually cares only about the number of tests passed by a program. This `evaluation bottleneck' leaves search algorithm underinformed about the actual and potential qualities of candidate programs. This book proposes behavioral program synthesis, a conceptual framework that opens GP to detailed information on program behavior in order to make program synthesis more efficient. Several existing and novel mechanisms subscribing to that perspective to varying extent are presented and discussed, including implicit fitness sharing, semantic GP, co-solvability, trace convergence analysis, pattern-guided program synthesis, and behavioral archives of subprograms. The framework involves several concepts that are new to GP, including execution record, combined trace, and search driver, a generalization of objective function. Empirical evidence gathered in several presented experiments clearly demonstrates the usefulness of behavioral approach. The book contains also an extensive discussion of implications of the behavioral perspective for program synthesis and beyond.
R 3,435.57
Programming Languages
Programming Languages: An Active Learning Approach introduces students to three programming paradigms: object-oriented/imperative languages using C++ and Ruby, functional languages using Standard ML, and logic programming using Prolog. This interactive textbook is intended to be used in and outside of class. Each chapter follows a pattern of presenting a topic followed by a practice exercise or exercises that encourage students to try what they have just read. This textbook is best-suited for students with a 2-3 course introduction to imperative programming.Key Features: (1) Accessible structure guides the student through various programming languages. (2) Seamlessly integrated practice exercises. (3) Classroom-tested. (4) Online support materials.Advance praise: “The Programming Languages book market is overflowing with books, but none like this. In many ways, it is precisely the book I have been searching for to use in my own programming languages course. One of the main challenges I perpetually face is how to teach students to program in functional and logical languages, but also how to teach them about compilers. This book melds the two approaches very well.” -- David Musicant, Carleton College
R 3,550.07
R 3,267.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 3,839.06
R 825.00
Functional Approach to Programming
A programming course should concentrate as much as possible on a program's logical structure and design rather than simply show how to write code. The Functional Approach to Programming achieves this aim because logical concepts are evident and programs are transparent so can be written quickly and cleanly. In this book the authors emphasise the notions of function and function application which relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. They show how the ideas can be implemented in the Caml language, a dialect of the ML family, and give examples of how complex programs from a variety of areas (such as arithmetic, tree algorithms, graph algorithms, text parsing and geometry) can be developed in close agreement with their specifications. Many exercises and examples are included throughout the book; solutions are also available.
R 4,022.00
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
Spell-Out and the Minimalist Program
Since Juan Uriagereka originated the multiple spell-out model in 1999 it has been one of the most influential lines of research in syntactic theorizing. The model simplified a crucial element of the minimalist account of language making it a more accurate reflection of syntax and its acquisition. In this book he explores important consequences of the multiple spell-out hypothesis and of the linked notion of cyclicity. He combines the latest thinking in linguisticswith perspectives drawn from physics, biology, and animal behaviour, aiming thereby to advance the field first described by Noam Chomsky as biolinguistics.Without simplifying them Professor Uriagereka seeks to present the issues and their broader biological significance clearly and succinctly in ways that are accessible to scholars from adjacent fields with a limited background in linguistics. His analogies and comparisons between linguistic and non-linguistic phenomena (such as the syntax of birdsong) will be of value to both non-linguists and linguists, whose overriding concerns with narrow linguistic questions may sometimes obscure theirbroader biological significance.The subjects discussed in the book include the linearization of structure, the punctuated nature of a derivation (the multiple spell-out model), cyclicity and its consequences for locality, and the definition of c-command and its relevance to various types of grammatical dependency. The author discusses the evolutionary implications of his work, considering, for example, whether the punctuated nature of the derivation is a resolution of conflicting demands that yield an equilibrium found innature more generally. This groundbreaking book will appeal to a wide range of readers in linguistics and cognitive science.
R 2,823.00
Logic-Based Program Synthesis and Transformation
This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis and Transformation, that was held in KongensLyngby, Denmark, August 23-24,2007. Previous LOPSTR symposia were held in Venice (2007 and 1999), London (2005 and 2000), Verona (2004), Uppsala (2003), Madrid (2002), Paphos (2001), Manchester (1998, 1992 and 1991), Leuven (1997), Stockholm (1996), Arhhem (1995), Pisa (1994) and Louvain-la-Neuve (1993). The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR thus traditionally solicits papers in the areas of: speci?cation, synthesis, veri?cation, transformation,analysis,optimization,composition,security,reuse,applications andtools,component-basedsoftwaredevelopment,softwarearchitectures,age- based software development and program re?nement. Formal proceedings are produced only after the symposium, so that authors can incorporate this fe- back in the published papers. Thirty submissions were received and each - per, in turn, received at least three reviews.The Committee decided to accept seven full papers for presentation and for immediate inclusion in the ?nal po- conference proceedings. Nine extended abstracts were also selected for pres- tation, of which six papers were accepted for publication in this volume, after revision and another round of reviewing. Michael Codish contributed a paper to the proceedings to accompany his invited talk. I am very grateful to the Program Committee and the reviewers for their - valuable help and expertise. The Steering Committee and, in particular German ' Puebla,generouslysharedtheirexperience.
R 1,545.64
Automatic Quantum Computer Programming
Once realized, the potential of large-scale quantum computers promises to radically transform computer science. Despite large-scale international efforts, however, essential questions about the potential of quantum algorithms are still unanswered. Automatic Quantum Computer Programming is an introduction both to quantum computing for non-physicists and to genetic programming for non-computer-scientists. The book explores several ways in which genetic programming can support automatic quantum computer programming and presents detailed descriptions of specific techniques, along with several examples of their human-competitive performance on specific problems.
R 4,363.74
Credibilistic Programming
It provides fuzzy programming approach to solve real-life decision problems in fuzzy environment. Within the framework of credibility theory, it provides a self-contained, comprehensive and up-to-date presentation of fuzzy programming models, algorithms and applications in portfolio analysis.
R 2,015.00
R 367.00
Programming the Absolute
Programming the Absolute discusses the notorious opposition between absolute and program music as a true dialectic that lies at the heart of nineteenth-century German music. Beginning with Beethoven, Berthold Hoeckner traces the aesthetic problem of musical meaning in works by Schumann, Wagner, Liszt, Mahler, and Schoenberg, whose private messages and public predicaments are emblematic for the cultural legacy of this rich repertory. After Romanticism had elevated music as a language "beyond" language, the ineffable spurred an unprecedented proliferation of musical analysis and criticism. Taking his cue from Adorno, Hoeckner develops the idea of a "hermeneutics of a moment," which holds that musical meaning crystallizes only momentarily--in a particular passage, a progression, even a single note. And such moments can signify as little as a fleeting personal memory or as much as the whole of German music.Although absolute music emerged with a matrix of values--the integrity of the subject, the aesthetic autonomy of art, and the intrinsic worth of high culture--that are highly contested in musicology today, Hoeckner argues that we should not completely discard the ideal of a music that continues to offer moments of transcendence and liberation. Passionately and artfully written, Hoeckner's quest for an "essayistic musicology" displays an original intelligence willing to take interpretive risks. It is a provocative contribution to our knowledge about some of Europe's most important music--and to contemporary controversies over how music should be understood and experienced.
R 3,678.00
