Search results for "program or be programmed"
Items we need to order for you
Programming Languages: Implementations, Logics, and Programs
This volume constitutes the refereed proceedings of the 9th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP '97, held in Southampton, UK, in September 1997, including a special track on Declarative Programming in Education.The volume presents 25 revised full papers selected from 68 submissions. Also included are one invited paper and three posters. The papers are devoted to exploring the relation between implementation techniques, the logic of the languages, and the use of the languages in construcing real programs. Topics of interest include implementation of declarative concepts, integration of paradigms, program analysis and transformation, programming environments, executable specifications, reasoning about language constructs, etc.
R 1,579.58
Programmer avec Maple V
Maple V est un logiciel de calcul formel qui comporte non seulement un environnement interactif mais aussi un langage de programmation. Programmer avec Maple V est un ouvrage entièrement nouveau qui présente les caractéristiques de ce langage de programmation. Après une introduction aux principes généraux de la programmation, l'ouvrage présente les multiples possibilités des structures de données de Maple à travers des exemples variés allant de la simple évaluation mathématique à la réalisation de programmes complexes. Les chapitres qui suivent sont consacrés à des thèmes particuliers comme la description des structures de données utilisées par Maple pour élaborer des graphiques des entrées/sorties ou l'utilisation du debogueur.
R 1,832.00
R 229.00
R 611.00
R 497.00
R 912.00
R 916.00
R 2,668.55
R 641.00
R 550.00
R 1,195.00
R 1,106.00
R 1,831.00
Programming ArcObjects with VBA
If you're ready to take your knowledge of ArcGIS to the next level, then you need to learn how to work with ArcObjects. But with thousands of objects, properties, and methods, how can you ever hope to sort through the ArcObjects model diagrams?The first edition of Chang's Programming ArcObjects with VBA: A Task-Oriented Approach gave us the answer. The author's task-oriented approach shows you how to sort through the massive ArcObjects collection by examining only the objects, properties, and methods you need to perform specific tasks.What's new in the second edition?This edition adds macros and explanations for the new Geoprocessing object introduced in ArcGIS 9.x. Instead of treating this new feature in separate chapters, the author incorporates Geoprocessing code into the existing chapters. The code appears conveniently in boxes that allow you to easily compare sample macros.Get Started with Ready-to-Use CodeThe downloadable resources contain 95 complete ArcObjects macros and 33 Geoprocessing macros, along with datasets to execute the code. Each program begins with a short usage description and a list of key properties and methods, followed by the listing and explanation of the code itself.Regardless of your programming experience, Programming ArcObjects with VBA: A Task-Oriented Approach, Second Edition gives you the key to unlock the power and versatility of using ArcObjects to help you manage GIS activities.
R 3,995.90
Introduction to Programming in Java
Programming skills are indispensable in today’s world, not just for computer science students, but also for anyone in any scientific or technical discipline. An Introduction to Programming in Java, Second Edition, by Robert Sedgewick and Kevin Wayne is an accessible, interdisciplinary treatment that emphasizes important and engaging applications, not toy problems. The authors supply the tools needed for students and professionals to learn that programming is a natural, satisfying, and creative experience, and to become conversant with one of the world’s most widely used languages. This example-driven guide focuses on Java’s most useful features and brings programming to life for every student in the sciences, engineering, and computer science. Coverage includes Basic elements of programming: variables, assignment statements, built-in data types, conditionals, loops, arrays, and I/O, including graphics and soundFunctions, modules, and libraries: organizing programs into components that can be independently debugged, maintained, and reusedAlgorithms and data structures: sort/search algorithms, stacks, queues, and symbol tablesApplications from applied math, physics, chemistry, biology, and computer science Drawing on their extensive classroom experience, the authors provide Q&As, exercises, and opportunities for creative engagement with the material throughout. Together with the companion materials, this book empowers people pursue a modern approach to teaching and learning programming. Companion web site contains Chapter summariesSupplementary exercises, some with solutionsDetailed instructions for installing a Java programming environmentProgram code and test data suitable for easy downloadDetailed creative exercises, projects, and other supplementary mat And companion studio-produced online videos provide students and professionals with the opportunity to engage with the material at their own pace and instructors the opportunity to spend their time with students helping them to succeed on assignments and exams.
R 2,649.00
R 458.00
R 608.00
Automatische Komplexitätsanalyse funktionaler Programme
Es gibt im Bereich der Softwaretechnik viele Werkzeuge, die den Programmentwicklungsprozeß unterstützen. Sie stellen die Korrektheit der Implementierung sicher, nicht aber ihre Effizienz. Die vorliegende Arbeit führt daher eine Methode ein, die es erlaubt, die Zeitkomplexität funktionaler Programme automatisch zu ermitteln. Die Grundidee dieser Methode besteht darin, ein funktionales Programm in ein System von Rekurrenzgleichungen zu übersetzen, dessen Lösung das Zeitverhalten des Programms angibt. Durch Einführung von bedingten Rekurrenzen und Rekurrenzfamilien ist es möglich, obere und untere Schranken für die Zeitkomplexität zu finden. Um die mittlere Zeitkomplexität zu bestimmen, müssen Wahrscheinlichkeiten dafür berechnet werden, daß im Programm vorkommende Bedingungen wahr bzw. falsch werden. Diese Wahrscheinlichkeiten werden anhand einer probabilistischen Semantik des Programms berechnet. Um möglichst genaue Schranken für die Zeitkomplexität zu erhalten, muß eine Abhängigkeitsanalyse durchgeführt werden. Dies ermöglicht eine genaue Analyse von Divide-and-Conquer-Programmen.
R 1,749.87
Thinking About Programs
This book describes how to think about computer programs, and how to use mathematics as part of that thinking. Many books and online tutorials teach the basics of coding: the syntax of the language, and how to translate an algorithm into code. But how do you come up with that algorithm? And how can you be confident that the algorithm is correct?The first part of the book considers small programs that use a loop, and how to demonstrate their correctness using loop invariants. It also covers some algorithms and algorithmic techniques that every programmer should know. The second half of the book considers slightly larger programs. It teaches the basics of modularisation, splitting up a program into manageable chunks. It teaches about abstract datatypes, values within a program that can be treated as mathematical values: how to specify their behaviours formally; and how to treat them as abstract mathematical objects when programming. It also teaches how to use data structures to represent abstract datatypes, and what it means for such a representation to be correct. And it presents some abstract datatypes and data structures that every programmer should know.The book is aimed at those who want to obtain a better understanding of programs they work on, and so become better programmers. The target audience ranges from those who are just starting out, to professional programmers. The book aims to be pragmatic: the philosophy is to include enough formality to be convincing and to guide the programmer towards correct code, without getting bogged down in the mathematics.
R 1,953.00
Programs, Recursion and Unbounded Choice
This book is a complete account of the predicate transformation calculus semantics of sequential programs, including repetitions, recursive procedures, computational induction and unbounded nondeterminacy. Predicate transformation semantics are the best specification method for the development of correct and well-structured computer programs. The author develops this theory to a greater depth than has been achieved before, and describes it in a way that makes it readily compatible with programming rules for partial and total correctness of repetitions and recursive procedures, supplies new rules for proving incorrectness, and a stronger rule for proving that two programs satisfy the same specifications. Finally, the semantics are extended so that non-terminating programs can be specified as well. This will be essential reading for all computer scientists working in specification and verification of programs.
R 2,376.71
Python Programming
Maintaining a practical perspective, Python Programming: A Practical Approach acquaints you with the wonderful world of programming. The book is a starting point for those who want to learn Python programming. The backbone of any programming, which is the data structure and components such as strings, lists, etc., have been illustrated with many examples and enough practice problems to instill a level of self-confidence in the reader.Drawing on knowledge gained directly from teaching Computer Science as a subject and working on a wide range of projects related to ML, AI, deep learning, and blockchain, the authors have tried their best to present the necessary skills for a Python programmer. Once the foundation of Python programming is built and the readers are aware of the exact structure, dimensions, processing, building blocks, and representation of data, they can readily take up their specific problems from the area of interest and solve them with the help of Python. These include, but are not limited to, operators, control flow, strings, functions, module processing, object-oriented programming, exception and file handling, multithreading, synchronization, regular expressions, and Python database programming.This book on Python programming is specially designed to keep readers busy with learning fundamentals and generates a sense of confidence by attempting the assignment problems. We firmly believe that explaining any particular technology deviates from learning the fundamentals of a programming language. This book is focused on helping readers attempt implementation in their areas of interest through the skills imparted through this book. We have attempted to present the real essence of Python programming, which you can confidently apply in real life by using Python as a tool.Salient Features Based on real-world requirements and solution. Simple presentation without avoiding necessary details of the topic. Executable programs on almost every topic. Plenty of exercise questions, designed to test readers’ skills and understanding.Purposefully designed to be instantly applicable, Python Programming: A Practical Approach provides implementation examples so that the described subject matter can be immediately implemented due to the well-known versatility of Python in handling different data types with ease.
R 9,366.97
Guide to Using Generative AI in Programming
Generative AI has changed the landscape of programming. How can AI tools be used effectively and safely, and what is the role of human programmers now? This unique textbook/guide is a comprehensive introduction to using generative AI in programming. Based on both practical experience and scientific studies, it shows how AI tools can be applied effectively to programmers' tasks--such as information retrieval, code generation, test creation, and code analysis. The book explores both the new possibilities and the risks of using generative AI, emphasizing the importance of programmers' expertise: Whereas AI tools can make programmers more productive, their use may also lead to serious problems. The book also addresses how learning and teaching programming are evolving in the era of generative AI. Topics and features: Explains how large language models work under the hood, and how this affects their abilities and limitationsIncludes a wealth of practical examples of using AI tools in a variety of programming languagesOffers advice on how to build effective prompts for tasks such as generating professional code and learning new programming languagesExplores recent scientific literature on using generative AI in software development and programming educationShows how generative AI connects to the history of programming, including developments in programming paradigms and abstractions This textbook is an ideal guide for students and programmers wishing to understand the role of generative AI in programming, as well as to learn both how to use AI tools in practice and the theory behind them. The book assumes basic programming knowledge, but no prior experience with AI tools is necessary. It is suitable both for beginners learning programming and for experienced programmers looking to update their skills.
R 1,832.00
Konzepte objektorientierter Programmierung
Das Buch bietet eine kompakte Einführung in die Konzepte objektorientierter Programmierung. Es erläutert das Objekt- und Klassenkonzept, beschreibt Kapselungstechniken und geht detailliert auf Subtyping und Vererbung ein. Software-Wiederverwendung wird am Beispiel der Verarbeitung von Strömen und der Konstruktion graphischer Bedienoberflächen behandelt. Darüber hinaus geht der Autor auf wichtige Konzepte der parallelen und verteilten Programmierung ein und stellt den praktischen Zusammenhang zur Objektorientierung her.
R 1,163.29
Fundamentals of X Programming
This book provides an overview of the X Window System focusing on characteristics that have significant impact on the development of both application programs and widgets. We pay special attention to applications that go beyond graphical user interfaces (GUIs); therefore we discuss issues affecting video games, visualization and imaging programs, and designing widgets with a complex appearance. While the book does not assume previous knowledge of X, it is intended for experienced programmers, especially those who want to write programs that go beyond simple GUIs. X is the dominant window system under Unix, and X servers are available for Microsoft Windows, thus enabling graphics over a network in the PC world. While Java offers an apparently universal graphics library (the abstract window toolkit), the reality is quite different: For high-quality graphics and image display, we must program on the target platform itself (X or one of Microsoft’s APIs) rather than rely on Java peer objects. X is a vast subject, so it is impossible to provide a complete coverage in a few hundred pages. Thus we selected topics that are fundamental to the system, so that the reader who masters them should be able to read the documentation of the numerous libraries and toolkits. Therefore we provide documentation on the most important Xlib and X toolkit functions only.
R 1,708.61
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
R 720.00
R 296.00
R 2,005.00
R 785.00
Programming for Everyone in Java
This book assumes very little or no knowledge of how computers work, and shows how to write understandable programs in Java. Even though most readers will not wish to become professional programmers, programming is fun and useful, and, in today's world it is important for professionals in any field to appreciate what computers can (and cannot) do well. To reach this level of understanding, Per Brinch Hansen goes beyond the routine skills of a computer user and explains the art of programming in some depth, allowing readers to write Java programs for use on the WWW or company's Intranet. Although a book about programming with Java, the same methods can be used for systematic programming in such languages as C, Fortran, and Pascal. The book makes a splendid text for a one semester course on beginning programming and is backed by teaching aids available at the author's Website.
R 1,640.92
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 4,002.52
R 672.00
Theoretical Introduction to Programming
Including easily digested information about fundamental techniques and concepts in software construction, this book is distinct in unifying pure theory with pragmatic details. Driven by generic problems and concepts, with brief and complete illustrations from languages including C, Prolog, Java, Scheme, Haskell and HTML.This book is intended to be both a how-to handbook and easy reference guide. Discussions of principle, worked examples and exercises are presented. All concepts outside introductory programming are explained with clear demarcation and dependencies so the experienced programmer can quickly locate material. Readable in a linear manner, with short mono-thematic to encourage dipping and reference. Also included are sections on open problems in software theory and practice.While little other than a novice programmer's knowledge is explicitly assumed, a certain conceptual maturity, either through commercial programming or academic training is required – each language is introduced and explained briefly as needed.
R 2,106.49
Programming Languages Implementation and Logic Programming
The aim of the workshop was to discuss whether research on implementation of programming languages and research on logic programming can mutually benefit from each others results. The intention was to bring together researchers from both fields, especially those working in the area of their intersection. Problems such as formal specification of compilers and syntax-based editors, program analysis and program optimization have been traditionally studied by implementors of algorithmic languages and have resulted in a number of well-established notions, formalisms and techniques. At the same time, an increasing number of people use logic programming as a way of specifying compilers or other programming environment tools, taking advantage of the relatively high level of logic programming and the growing efficiency of Prolog implementations. On the other hand, research on logic programming raises the questions of analysis of logic programs and their optimization. These are motivated primarily by compiler construction for logic programs, by studies on the methodology of logic programming and by the attempts to amalgamate logic programming and functional programming. The purpose of the workshop is to review the techniques developed in one (or both) of the fields which could also be of some help in the other one and to facilitate the transfer of expertise. It seems important to compare notions used in both fields: showing similarities between them may prevent rediscovering results already known, while studying differences may contribute to the transfer of technology.
R 1,557.97
Mobile Phone Programming
This book provides a solid overview of mobile phone programming for readers in both academia and industry. Coverage includes all commercial realizations of the Symbian, Windows Mobile and Linux platforms. The text introduces each programming language (JAVA, Python, C/C++) and offers a set of development environments "step by step," to help familiarize developers with limitations, pitfalls, and challenges.
R 4,030.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
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
