Search results for "introduction to python programming"
Items we need to order for you
R 793.00
R 501.00
R 376.00
R 945.00
R 611.00
R 672.00
R 762.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 608.00
R 1,002.61
R 1,038.00
R 611.00
R 611.00
R 672.00
R 394.00
R 1,054.00
R 945.00
R 1,969.00
R 989.95
R 455.00
R 519.00
Crystal Programming
The ultimate guide to Crystal programming covering all its fundamental concepts such as OOP and concurrent programming to help you write readable and safe code and build fast applicationsKey FeaturesThe book uses an example-based approach for a better demonstration of the underlying conceptsDevelop a thorough appreciation of the roles of the macro API and annotationsLeverage supportive tools – spec, documentation, deployment, and automationBook DescriptionCrystal is a programming language with a concise and user-friendly syntax, along with a seamless system and a performant core, reaching C-like speed. This book will help you gain a deep understanding of the fundamental concepts of Crystal and show you how to apply them to create various types of applications.This book comes packed with step-by-step explanations of essential concepts and practical examples. You'll learn how to use Crystal's features to create complex and organized projects relying on OOP and its most common design patterns. As you progress, you'll gain a solid understanding of both the basic and advanced features of Crystal. This will enable you to build any application, including command-line interface (CLI) programs and web applications using IOs, concurrency and C bindings, HTTP servers, and the JSON API.By the end of this programming book, you'll be equipped with the skills you need to use Crystal programming for building and understanding any application you come across.What you will learnExplore how Crystal combines the merits of other languagesUnderstand how to leverage existing C libraries without writing any CFocus on zero-cost abstractions with compile-time macrosUse an example-based approach to demonstrate language featuresDevelop a variety of Crystal applications, such as web and CLI appsGain an understanding of the macro API and annotationsWho this book is forDevelopers who want to learn Crystal programming or anyone looking to improve their ability to solve real-world problems using the language will find this book helpful. Experience in application development using any other programming language is expected. However, prior knowledge of Crystal is not required.
R 1,791.00
R 550.00
R 702.00
TinyOS Programming
Do you need to know how to write systems, services, and applications using the TinyOS operating system? Learn how to write nesC code and efficient applications with this indispensable guide to TinyOS programming. Detailed examples show you how to write TinyOS code in full, from basic applications right up to new low-level systems and high performance applications. Two leading figures in the development of TinyOS also explain the reasons behind many of the design decisions made and, for the first time, how nesC relates to and differs from other C dialects. Handy features such as a library of software design patterns, programming hints and tips, end-of-chapter exercises, and an appendix summarizing the basic application-level TinyOS APIs make this the ultimate guide to TinyOS for embedded systems programmers, developers, designers, and graduate students.
R 2,900.34
Grundlagen Der Logischen Programmierung
Keine ausführliche Beschreibung für "Grundlagen der logischen Programmierung" verfügbar.
R 6,071.00
R 611.00
R 519.00
R 611.00
R 458.00
R 669.00
R 611.00
R 1,270.00
R 1,025.55
R 1,761.38
R 762.00
R 183.00
Programming Languages
Computer scientists often need to learn new programming languages quickly. The best way to prepare for this is to understand the foundational principles that underlie even the most complicated industrial languages. This text for an undergraduate programming languages course distills great languages and their design principles down to easy-to-learn 'bridge' languages implemented by interpreters whose key parts are explained in the text. The book goes deep into the roots of both functional and object-oriented programming, and it shows how types and modules, including generics/polymorphism, contribute to effective programming. The book is not just about programming languages; it is also about programming. Through concepts, examples, and more than 300 practice exercises that exploit the interpreter, students learn not only what programming-language features are but also how to do things with them. Substantial implementation projects include Milner's type inference, both copying and mark-and-sweep garbage collection, and arithmetic on arbitrary-precision integers.
R 3,650.35
R 489.00
R 376.00
R 611.00
Concurrent Programming in ML
Concurrent Programming in ML focuses on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in Concurrent ML (CML), the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. CML, which is included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This book also illustrates advanced SML programming techniques, and includes a chapter on the implementation of concurrency using features provided by the SML/NJ system. It will be of interest to programmers, students, and professional researchers working in computer language development.
R 2,508.75
