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 1,695.00
Program
None
R 719.94
Wissensbasierte Programmkonstruktion I
Keine ausführliche Beschreibung für "Wissensbasierte Programmkonstruktion I" verfügbar.
R 6,071.00
R 519.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 2,536.07
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 550.00
Programmiersprache Dist
Keine ausf�hrliche Beschreibung f�r "Programmiersprache DIST" verf�gbar.
R 6,071.00
R 1,303.64
R 1,709.97
R 1,073.49
R 1,155.00
R 647.86
R 1,373.00
R 458.00
R 305.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
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 458.00
R 489.33
R 3,267.22
R 594.00
Programmieren mit Python
Diese einmalige und in sich geschlossene Einführung in die Programmierung verwendet Python um in die wichtigsten Paradigmen der Programmierung einzuführen: die Prozedurale Programmierung, dieObjektorientierte Programmierung und die Funktionale Programmierung und schließlich die Programmierung mit Numpy. Das Buch eignet sich für eine 5 – 7 ECTS Einführungsvorlesung und enthält eine Vielzahl von Aufgaben, die auch von Studierenden im Selbststudium gut zum Üben verwendet werden können.
R 1,465.00
R 367.00
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
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
R 805.75
R 610.00
R 641.00
