Search results for "program"
Items we need to order for you
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
Programming with Python
Based on the latest version of the language, this book offers a self-contained, concise and coherent introduction to programming with Python. The book’s primary focus is on realistic case study applications of Python. Each practical example is accompanied by a brief explanation of the problem-terminology and concepts, followed by necessary program development in Python using its constructs, and simulated testing. Given the open and participatory nature of development, Python has a variety of incorporated data structures, which has made it difficult to present it in a coherent manner. Further, some advanced concepts (super, yield, generator, decorator, etc.) are not easy to explain. The book specially addresses these challenges; starting with a minimal subset of the core, it offers users a step-by-step guide to achieving proficiency.
R 5,045.66
Extreme Programming Explained
“In this second edition of Extreme Programming Explained, Kent Beck organizes and presents five years’ worth of experiences, growth, and change revolving around XP. If you are seriously interested in understanding how you and your team can start down the path of improvement with XP, you must read this book.” — Francesco Cirillo, Chief Executive Officer, XPLabs S.R.L. “The first edition of this book told us what XP was—it changed the way many of us think about software development. This second edition takes it farther and gives us a lot more of the ‘why’ of XP, the motivations and the principles behind the practices. This is great stuff. Armed with the ‘what’ and the ‘why,’ we can now all set out to confidently work on the ‘how’: how to run our projects better, and how to get agile techniques adopted in our organizations.” — Dave Thomas, The Pragmatic Programmers LLC “This book is dynamite! It was revolutionary when it first appeared a few years ago, and this new edition is equally profound. For those who insist on cookbook checklists, there’s an excellent chapter on ‘primary practices,’ but I urge you to begin by truly contemplating the meaning of the opening sentence in the first chapter of Kent Beck’s book: ‘XP is about social change.’ You should do whatever it takes to ensure that every IT professional and every IT manager—all the way up to the CIO—has a copy of Extreme Programming Explained on his or her desk.” — Ed Yourdon, author and consultant “XP is a powerful set of concepts for simplifying the process of software design, development, and testing. It is about minimalism and incrementalism, which are especially useful principles when tackling complex problems that require a balance of creativity and discipline.” — Michael A. Cusumano, Professor, MIT Sloan School of Management, and author of The Business of Software “ Extreme Programming Explained is the work of a talented and passionate craftsman. Kent Beck has brought together a compelling collection of ideas about programming and management that deserves your full attention. My only beef is that our profession has gotten to a point where such common-sense ideas are labeled ‘extreme.’...” — Lou Mazzucchelli, Fellow, Cutter Business Technology Council “If your organization is ready for a change in the way it develops software, there’s the slow incremental approach, fixing things one by one, or the fast track, jumping feet first into Extreme Programming. Do not be frightened by the name, it is not that extreme at all. It is mostly good old recipes and common sense, nicely integrated together, getting rid of all the fat that has accumulated over the years.” — Philippe Kruchten, UBC, Vancouver, British Columbia “Sometimes revolutionaries get left behind as the movement they started takes on a life of its own. In this book, Kent Beck shows that he remains ahead of the curve, leading XP to its next level. Incorporating five years of feedback
R 1,021.00
Programming with Python
Based on the latest version of the language, this book offers a self-contained, concise and coherent introduction to programming with Python. The book’s primary focus is on realistic case study applications of Python. Each practical example is accompanied by a brief explanation of the problem-terminology and concepts, followed by necessary program development in Python using its constructs, and simulated testing. Given the open and participatory nature of development, Python has a variety of incorporated data structures, which has made it difficult to present it in a coherent manner. Further, some advanced concepts (super, yield, generator, decorator, etc.) are not easy to explain. The book specially addresses these challenges; starting with a minimal subset of the core, it offers users a step-by-step guide to achieving proficiency.
R 6,953.00
Introduction to Engineering Programming
Click here to read ACCU's review of this book.This text is an indispensable collection of four tutorials covering concepts in modern engineering computations, and engineering programming in ANSI C, MATLAB Version 5 and Java 1.1.
R 5,884.00
Wissensbasierte Programmkonstruktion I
Keine ausführliche Beschreibung für "Wissensbasierte Programmkonstruktion I" verfügbar.
R 6,071.00
Program Development by Specification and Transformation
This volume gives a coherent presentation of the outcome ofthe project PROSPECTRA (PROgram development by SPECificationand TRAnsformation) that aims to provide a rigorousmethodology for developing correct software and acomprehensive support system. The results are substantial: atheoretically well-founded methodology covering the wholedevelopment cycle, a very high-level specification andtransformation language family allowing meta-programdevelopment and formalization of the development processitself, and a prototype development system supportingstructure editing, incremental static-semantic checking,interactive context-sensitivetransformation andverification, development of transformation (meta-)programs, version management, and so on, with an initiallibraryof specifications and a sizeable collection ofimplemented transformations. The intended audience for thisdocumentation is the academic community working in this andrelated areas and those members of the industrial communityinterested in the use of formal methods.
R 3,094.34
R 794.00
Practical Theory of Programming
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.
R 1,564.58
R 886.00
R 611.00
Object-Oriented Programming
Object-oriented programming is a popular buzzword these days. What is the reason for this popularity? Is object-oriented programming the solution to the software crisis or is it just a fad? Is it a simple evolutionary step or a radical change in software methodology? What is the central idea behind object-orien ted design? Are there special applications for which object-oriented program ming is particularly suited? Which object-oriented language should be used? There is no simple answer to these questions. Although object-oriented programming was invented more than twenty years ago, we still cannot claim that we know everything about this programming technique. Many new con cepts have been developed during the past decade, and new applications and implications of object-oriented programming are constantly being discovered. This book can only try to explain the nature of object-oriented program ming in as much detail as possible. It should serve three purposes. First, it is intended as an introduction to the basic concepts of object-oriented program ming. Second, the book describes the concept of prototypes and explains why and how they can improve the way in which object-oriented programs are developed. Third, it introduces the programming language Omega, an object oriented language that was designed with easy, safe and efficient software development in mind.
R 2,182.56
Practical Theory of Programming
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular and closely related theory by Dijkstra uses the weakest precondition predicate transformer, which is a function from programs and postconditions to preconditions. lones's Vienna Development Method has been used to advantage in some industries; in it, a specification is a pair of predicates (as in Hoare's Logic), but the second predicate is a relation. Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned. In it, a specification is just a boolean expression. Refinement is just ordinary implication. This theory is also more general than those just mentioned, applying to both terminating and nonterminating computation, to both sequential and parallel computation, to both stand-alone and interactive computation. And it includes time bounds, both for algorithm classification and for tightly constrained real-time applications.
R 1,581.00
R 1,545.07
Concepts and Semantics of Programming Languages 2
This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects that interfere with coding.Concepts and Semantics of Programming Languages 2 presents an original semantic model, collectively taking into account all of the constructs and operations of modules and classes: visibility, import, export, delayed definitions, parameterization by types and values, extensions, etc. The model serves for the study of Ada and OCaml modules, as well as C header files. It can be deployed to model object and class features, and is thus used to describe Java, C++, OCaml and Python classes.This book is intended not only for computer science students and teachers but also seasoned programmers, who will find a guide to reading reference manuals and the foundations of program verification.
R 5,795.00
R 244.00
R 855.00
R 684.00
Program Transformation and Programming Environments
Proceedings of the NATO Advanced Research Workshop on Program Transformation and Programming Environments
R 3,190.30
Systematic Reuse: Issues in Initiating and Improving a Reuse Program
Based on papers accepted for presentation at the 1996 Workshop on Systematic Reuse: Issues in Initiating and Improving a Reuse Program, Liverpool, UK, this volume provides a comprehensive introduction to the effective management of software reuse. It examines a number of central issues such as: the critical success factors for reuse; the amount of investment required and the expected payback period; the type of training needed; tools; and the impact of reuse on organisation structure. There is a strong emphasis on the industrial application of systematic reuse - an area which is currently expanding at a rapid rate - illustrated by the experiences of leading international companies such as IBM, Hitachi Europe, and AT&T. Overall this volume sets out comprehensive guidelines on the introduction and maintenance of a reuse program. It will provide an invaluable reference book for software development practitioners, systems analysts and architects, and development managers.
R 3,010.44
Java Programming for Android Developers For Dummies
Develop the next killer Android App using Java programming! Android is everywhere! It runs more than half the smartphones in the U.S.—and Java makes it go. If you want to cash in on its popularity by learning to build Android apps with Java, all the easy-to-follow guidance you need to get started is at your fingertips. Inside, you'll learn the basics of Java and grasp how it works with Android; then, you'll go on to create your first real, working application. How cool is that? The demand for Android apps isn't showing any signs of slowing, but if you're a mobile developer who wants to get in on the action, it's vital that you get the necessary Java background to be a success. With the help of Java Programming for Android Developers For Dummies, you'll quickly and painlessly discover the ins and outs of using Java to create groundbreaking Android apps—no prior knowledge or experience required! Get the know-how to create an Android program from the ground upMake sense of basic Java development concepts and techniquesDevelop the skills to handle programming challengesFind out how to debug your app Don't sit back and watch other developers release apps that bring in the bucks! Everything you need to create that next killer Android app is just a page away!
R 798.00
R 489.00
Reactive Internet Programming
Is Internet software so different from "ordinary" software? This book practically answers this question through the presentation of a software design method based on the State Chart XML W3C standard along with Java. Web enterprise, Internet-of-Things, and Android applications, in particular, are seamlessly specified and implemented from "executable models."Internet software puts forward the idea of event-driven or reactive programming, as pointed out in Bonér et al.'s "Reactive Manifesto" (http://www.reactivemanifesto.org). It tells us that reactiveness is a must. However, beyond concepts, software engineers require effective means with which to put reactive programming into practice. This book's purpose is to outline and explain such means.The lack of professional examples in the literature that illustrate how reactive software should be shaped can be quite frustrating. Therefore, this book helps to fill in that gap by providing in-depth professional case studies that contain comprehensive details and meaningful alternatives. Furthermore, these case studies can be downloaded for further investigation.Internet software requires higher adaptation, at run time in particular. After reading Reactive Internet Programming, the reader therefore will be ready to enter the forthcoming Internet era.
R 4,809.48
Reactive Internet Programming
Is Internet software so different from "ordinary" software? This book practically answers this question through the presentation of a software design method based on the State Chart XML W3C standard along with Java. Web enterprise, Internet-of-Things, and Android applications, in particular, are seamlessly specified and implemented from "executable models."Internet software puts forward the idea of event-driven or reactive programming, as pointed out in Bonér et al.'s "Reactive Manifesto" (http://www.reactivemanifesto.org). It tells us that reactiveness is a must. However, beyond concepts, software engineers require effective means with which to put reactive programming into practice. This book's purpose is to outline and explain such means.The lack of professional examples in the literature that illustrate how reactive software should be shaped can be quite frustrating. Therefore, this book helps to fill in that gap by providing in-depth professional case studies that contain comprehensive details and meaningful alternatives. Furthermore, these case studies can be downloaded for further investigation.Internet software requires higher adaptation, at run time in particular. After reading Reactive Internet Programming, the reader therefore will be ready to enter the forthcoming Internet era.
R 3,296.00
R 3,939.00
Programmsysteme
Keine ausführliche Beschreibung für "Programmsysteme" verfügbar.
R 6,071.00
Funktionale Und Applikative Programmierung
Seit vielen Jahren nimmt die funktionale und applikative Programmierung einen wesentlichen Platz unter den verschiedenen Programmierparadigmen ein. Das Hauptanliegen dieses Buches ist eine leicht verständliche Einführung in die vielschichtige Thematik. Sie reicht von den Theoretischen Grundlagen bis zu Implementierungstechniken. Schwerpunkte bei den Grundlagen sind der l-Kalkül und die kombinatorische Logik. Der Hauptteil umfasst die Vorstellung der vielschichtigen Ausprägungen in den unterschiedlichen Programmiersprachen. Bei den Implementierungstechniken wird neben klassischen Interpreter- und Compilertechniken auch ein Ausblick gegeben, wie sich derartige Programmiersprachen zukünftig auf die Entwicklung neuer Rechnerstrukturen auswirken können, die nicht mehr auf der von-Neumann-Architektur beruhen.
R 1,431.06
R 580.00
R 397.00
From Program to Product
This book is not a general software business reference, like our MicroISV book or the Eric Sink book. It’s specifically for readers who have an existing project, or an idea for one, and want to turn it into a product. They can follow this book for the best chance of success. It is written in a non-technical, friendly, conversational style, and is filled with excerpts, advice, and war stories from someone who’s been in the trenches for years.
R 871.27
Access 2007 VBA Programming For Dummies
If you’ve been using Access for a while, you’re probably aware of its power and potential and itching to take advantage of both. Access 2007 VBA Programming For Dummies takes you beyond forms and reports and shows you how to use VBA to create killer Access databases and applications. This gentle introduction to VBA programming covers everything you need to get started, including: Basic programming skills and conceptsExplanations of modules, procedures, objects, and argumentsAccess-unique programming activities, including SQL and recordsetsHow to use the Visual Basic editorCreating dialog boxes, lists, drop-down menus, and functionsIntegrating with other Office applicationsReady-to-use VBA code examples to type in or copy and paste from the Web Completely revised to reflect all changes found in Microsoft Access 2007, Access 2007 VBA Programming For Dummies gives you access to Access like you’ve never had it before.
R 684.00
Concepts of Object-Oriented Programming with Visual Basic
As the title suggests, this book has two separate - though intertwined - goals: a description of the general concepts of object-orientation, and how to do object-oriented programming in Visual Basic. Readers are assumed to have no more than a familiarity with Visual Basic and some rudimentary knowledge of programming. Working on this premise, Steve Roman introduces the abstract concepts of object orientation, such as class, abstraction, and encapsulation, and then shows how each is implemented in a meaningful and useful application. He uses a hands-on style throughout: plenty of code is given and discussed, including error-handling. As a result, Visual Basic programmers and students will find this an invaluable introduction to the topic.
R 2,257.00
R 214.00
R 611.00
Künstliche Intelligenz selber programmieren für Dummies Junior
Finde heraus, wie Künstliche Intelligenz funktioniert. Dieses Buch hilft dir dabei. Kapitel für Kapitel beantwortet es folgende Fragen: Was ist Künstliche Intelligenz? Wie denken Computer? Wie lernen Computer? Wie kannst du mit Computern sprechen? Wie generieren Computer Texte und Bilder? Spielen Computer auch? Und können Computer fühlen? Grundlegende Methoden und Anwendungsbereiche von Künstlicher Intelligenz werden anhand von anschaulichen Beispielen erklärt. Beispielprogramme in Python zeigen, wie KI-Methoden konkret umgesetzt werden können und es werden Anregungen für eigene Experimente gegeben. Bestens geeignet für Kinder und Jugendliche ab 12 Jahre.
R 365.00
R 1,069.00
R 519.00
R 642.00
Using Aspect-Oriented Programming for Trustworthy Software Development
Learn how to successfully implement trustworthy computing tasks using aspect-oriented programming This landmark publication fills a gap in the literature by not only describing the basic concepts of trustworthy computing (TWC) and aspect-oriented programming (AOP), but also exploring their critical interrelationships. The author clearly demonstrates how typical TWC tasks such as security checks, in-and-out conditions, and multi-threaded safety can be implemented using AOP. Following an introduction, the book covers: Trustworthy computing, software engineering, and computer science Aspect-oriented programming and Aspect.NET Principles and case studies that apply AOP to TWC Coverage includes Aspect.NET, the AOP framework developed by the author for the Microsoft.NET platform, currently used in seventeen countries. The author discusses the basics of Aspect.NET architecture, its advantages compared to other AOP tools, and its functionality. The book has extensive practical examples and case studies of trustworthy software design and code using the Aspect.NET framework. In addition, the book explores other software technologies and tools for using AOP for trustworthy software development, including Java and AspectJ. This book also includes a valuable chapter dedicated to ERATO, the author's teaching method employed in this book, which has enabled thousands of students to quickly grasp and apply complex concepts in computing and software engineering, while the final chapter presents an overall perspective on the current state of AOP and TWC with a view toward the future. Software engineers, architects, developers, programmers, and students should all turn to this book to learn this tested and proven method to create more secure, private, and reliable computing.
R 4,883.00
R 457.00
