0
Your cart

Your cart is empty

Browse All Departments
Price
  • R50 - R100 (1)
  • R100 - R250 (239)
  • R250 - R500 (2,949)
  • R500+ (11,846)
  • -
Status
Format
Author / Contributor
Publisher

Books > Computing & IT > Computer programming > Programming languages

Model-Based Systems Engineering with OPM and SysML (Paperback, Softcover reprint of the original 1st ed. 2016): Dov Dori Model-Based Systems Engineering with OPM and SysML (Paperback, Softcover reprint of the original 1st ed. 2016)
Dov Dori
R3,400 Discovery Miles 34 000 Ships in 10 - 15 working days

Model-Based Systems Engineering (MBSE), which tackles architecting and design of complex systems through the use of formal models, is emerging as the most critical component of systems engineering. This textbook specifies the two leading conceptual modeling languages, OPM-the new ISO 19450, composed primarily by the author of this book, and OMG SysML. It provides essential insights into a domain-independent, discipline-crossing methodology of developing or researching complex systems of any conceivable kind and size. Combining theory with a host of industrial, biological, and daily life examples, the book explains principles and provides guidelines for architecting complex, multidisciplinary systems, making it an indispensable resource for systems architects and designers, engineers of any discipline, executives at all levels, project managers, IT professional, systems scientists, and engineering students.

Practical C++ Design - From Programming to Architecture (Paperback, 2nd ed.): Adam B. Singer Practical C++ Design - From Programming to Architecture (Paperback, 2nd ed.)
Adam B. Singer
R1,101 R935 Discovery Miles 9 350 Save R166 (15%) Ships in 10 - 15 working days

Go from competent C++ developer to skilled designer or architect using this book as your personal C++ design master class. Updated for the C++20 standard, this title will guide you through the design and implementation of an engaging case study that forms the backdrop for learning the art of applying design patterns and modern C++ techniques to create a high quality, robust application. Starting with a quick exploration of the requirements for building the application, you'll delve into selecting an appropriate architecture, eventually designing and implementing all of the necessary modules to meet the project's requirements. By the conclusion of Practical C++ Design, you'll have constructed a fully functioning calculator capable of building and executing on any platform that supports both Qt and C++20. Access to the complete source code will help speed your learning. Utilize the Model-View-Controller pattern as the basis for the architecture of the calculator; the observer pattern to design an event system; the singleton pattern as you design the calculator's central data repository, a reusable stack; the command pattern to design a command system supporting unlimited undo/redo; the abstract factory pattern to build a cross-platform plugin infrastructure for extensibility; coroutines to implement a command line interface with a lazy tokenizer; and more. After reading and using this book, you'll have begun the transition from C++ programmer to architect. What You Will Learn Read a specification document and translate it into a practical C++ design using some of the latest language features from C++20 Understand trade-offs in selecting between alternative design scenarios Gain practical experience in applying design patterns to realistic development scenarios Learn how to effectively use language elements of modern C++ to create a lasting design Develop a complete C++ program from a blank canvas through to a fully functioning, cross platform application Read, modify, and extend existing, high quality code Learn the fundamentals of API design, including class, module, and plugin interfaces Who This Book Is For The experienced C++ developer ready to take the next step to becoming a skilled C++ designer.

ES6 for Humans - The Latest Standard of JavaScript: ES2015 and Beyond (Paperback, 1st ed.): Deepak Grover, Hanu Prateek Kunduru ES6 for Humans - The Latest Standard of JavaScript: ES2015 and Beyond (Paperback, 1st ed.)
Deepak Grover, Hanu Prateek Kunduru
R1,929 Discovery Miles 19 290 Ships in 10 - 15 working days

Learn ES6 best practices for code optimization and organization and walk through practical, common examples of how to implement complete components of your applications. While this book covers the basic concepts of modern JavaScript, it primarily focuses on the new syntax, data-types, functionalities, and everything else that's new in ES6, the latest standard of JavaScript. You'll examine how to use ES6 in functional programming and explore the new more modular and object-oriented approach to JavaScript. This book will help you sharpen and upgrade your JavaScript language skills so you to easily explore modern ES6 based frameworks or libraries such as ReactJS, ReactNative, Angular4 and Vue.js. ES6 for Humans is a complete guide to writing ES6 and will enable you to start taking advantage of this exciting new version of JavaScript. What You'll Learn Use all the new features added to JavaScript Compare ES5 and ES6 in varied situations Refresh your core JavaScript fundamentals Understand the modular and object-oriented approach to JavaScript Who this Book Is For Any Javascript developer who wants to fully understand and dive into the new features of ES6/ES2015. Developers with some background in programming, preferably in JavaScript. A basic understanding of coding concepts and exposure to object-oriented programming is expected.

OCA Java SE 8 Programmer I Certification Guide (Paperback): Mala Gupta OCA Java SE 8 Programmer I Certification Guide (Paperback)
Mala Gupta
R1,368 Discovery Miles 13 680 Ships in 12 - 19 working days

DESCRIPTION To earn the OCA Java SE 8 Programmer I Certification, readers need to know Java inside and out, and to pass the exam it's good to understand the test itself. This book cracks open the questions, exercises, and expectations readers will face on the OCA exam so they'll be ready and confident on test day. OCA Java SE 8 Programmer I Certification Guide prepares readers for the 1Z0-808 with complete coverage of all exam topics. The book explores important Java topics and systematically teaches what's required. Each chapter starts with a list of exam objectives mapped to section numbers, followed by sample questions and exercises designed to reinforce key concepts. It provides multiple ways to digest important techniques and concepts, including memorable analogies, diagrams, and flowcharts as well as lots of well-commented code. Along the way readers will also get the scoop on common mistakes and ways to avoid traps and pitfalls. KEY FEATURES 100% coverage of exam topics Hands-on coding examples and exercises Helps readers avoid exam traps and pitfalls Hundreds of sample questions Crib Sheets AUDIENCE Written for developers with a working knowledge of Java who want to earn the OCA Java SE 8 Programmer I Certification. ABOUT THE TECHNOLOGY The Oracle Certified Associate (OCA) Java SE 8 measures day-to-day programming and the ability to handle typical situations found in a variety of projects.

Security Software Development - Assessing and Managing Security Risks (Paperback): Cissp Douglas A. Ashbaugh Security Software Development - Assessing and Managing Security Risks (Paperback)
Cissp Douglas A. Ashbaugh
R1,900 Discovery Miles 19 000 Ships in 12 - 19 working days

Threats to application security continue to evolve just as quickly as the systems that protect against cyber-threats. In many instances, traditional firewalls and other conventional controls can no longer get the job done. The latest line of defense is to build security features into software as it is being developed. Drawing from the author's extensive experience as a developer, Secure Software Development: Assessing and Managing Security Risks illustrates how software application security can be best, and most cost-effectively, achieved when developers monitor and regulate risks early on, integrating assessment and management into the development life cycle. This book identifies the two primary reasons for inadequate security safeguards: Development teams are not sufficiently trained to identify risks; and developers falsely believe that pre-existing perimeter security controls are adequate to protect newer software. Examining current trends, as well as problems that have plagued software security for more than a decade, this useful guide: Outlines and compares various techniques to assess, identify, and manage security risks and vulnerabilities, with step-by-step instruction on how to execute each approach Explains the fundamental terms related to the security process Elaborates on the pros and cons of each method, phase by phase, to help readers select the one that best suits their needs Despite decades of extraordinary growth in software development, many open-source, government, regulatory, and industry organizations have been slow to adopt new application safety controls, hesitant to take on the added expense. This book improves understanding of the security environment and the need for safety measures. It shows readers how to analyze relevant threats to their applications and then implement time- and money-saving techniques

Pro Java Clustering and Scalability - Building Real-Time Apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ (Paperback,... Pro Java Clustering and Scalability - Building Real-Time Apps with Spring, Cassandra, Redis, WebSocket and RabbitMQ (Paperback, 1st ed.)
Jorge Acetozi
R1,718 Discovery Miles 17 180 Ships in 10 - 15 working days

Build clustered and scalable Java-based, real-time applications using Spring Framework, Boot, WebSocket, Cassandra, Redis and RabbitMQ. In this book, you'll tie all this together with a dive-in case study, a real-time scalable chat application under differing scenarios. Pro Java Clustering and Scalability also discusses how to horizontally scale the WebSocket chat application using a full STOMP broker such as RabbitMQ. Although this is a programming book, it also discusses many interesting infrastructure topics and tips about continuous delivery, Docker, NoSQL (Cassandra and Redis) and other related technologies. What You Will Learn Handle clustering and scalability using various open source Java, microservices, and web services tools and technologies Use Spring Framework, Boot, and other Spring technologies Integrate with Redis, RabbitMQ, Cassandra, NoSQL, and much more Test the case study code under various scenarios and stresses Who This Book Is For Experienced Java developers with at least some prior experience with Java, especially Spring Framework, Boot and other tools, and some web services.

Theory and Practice of Model Transformation - 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg,... Theory and Practice of Model Transformation - 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings (Paperback, 1st ed. 2017)
Esther Guerra, Mark Van Den Brand
R1,521 Discovery Miles 15 210 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 10th International Conference on Model Transformation, ICMT 2017, held as part of STAF 2017, in Marburg, Germany, in July 2017. The 9 full papers and 2 short papers were carefully reviewed and selected from 31 submissions. The papers are organized in the following topical sections: transformation paradigms, languages, algorithms and strategies; development of transformations; and applications and case studies.

Object-Oriented Design with ABAP - A Practical Approach (Paperback, 1st ed.): James E. Mcdonough Object-Oriented Design with ABAP - A Practical Approach (Paperback, 1st ed.)
James E. Mcdonough
R2,630 R2,410 Discovery Miles 24 100 Save R220 (8%) Ships in 10 - 15 working days

Conquer your fear and anxiety learning how the concepts behind object-oriented design apply to the ABAP programming environment. Through simple examples and metaphors this book demystifies the object-oriented programming model. Object-Oriented Design with ABAP presents a bridge from the familiar procedural style of ABAP to the unfamiliar object-oriented style, taking you by the hand and leading you through the difficulties associated with learning these concepts, covering not only the nuances of using object-oriented principles in ABAP software design but also revealing the reasons why these concepts have become embraced throughout the software development industry. More than simply knowing how to use various object-oriented techniques, you'll also be able to determine whether a technique is applicable to the task the software addresses. This book: Shows how object-oriented principles apply to ABAP program design Provides the basics for creating component design diagrams Teaches how to incorporate design patterns in ABAP programs What You'll Learn Write ABAP code using the object-oriented model as comfortably and easily as using the procedural model Create ABAP design diagrams based on the Unified Modeling Language Implement object-oriented design patterns into ABAP programs Reap the benefits of spending less time designing and maintaining ABAP programs Recognize those situations where design patterns can be most helpful Avoid long and exhausting searches for the cause of bugs in ABAP programs Who This Book Is For Experienced ABAP programmers who remain unfamiliar with the design potential presented by the object-oriented aspect of the language >

Introduction to Deep Learning Using R - A Step-by-Step Guide to Learning and Implementing Deep Learning Models Using R... Introduction to Deep Learning Using R - A Step-by-Step Guide to Learning and Implementing Deep Learning Models Using R (Paperback, 1st ed.)
Taweh Beysolow II
R2,316 Discovery Miles 23 160 Ships in 10 - 15 working days

Understand deep learning, the nuances of its different models, and where these models can be applied. The abundance of data and demand for superior products/services have driven the development of advanced computer science techniques, among them image and speech recognition. Introduction to Deep Learning Using R provides a theoretical and practical understanding of the models that perform these tasks by building upon the fundamentals of data science through machine learning and deep learning. This step-by-step guide will help you understand the disciplines so that you can apply the methodology in a variety of contexts. All examples are taught in the R statistical language, allowing students and professionals to implement these techniques using open source tools. What You'll Learn Understand the intuition and mathematics that power deep learning models Utilize various algorithms using the R programming language and its packages Use best practices for experimental design and variable selection Practice the methodology to approach and effectively solve problems as a data scientist Evaluate the effectiveness of algorithmic solutions and enhance their predictive power Who This Book Is For Students, researchers, and data scientists who are familiar with programming using R. This book also is also of use for those who wish to learn how to appropriately deploy these algorithms in applications where they would be most useful.

Raspberry Pi Supercomputing and Scientific Programming - MPI4PY, NumPy, and SciPy for Enthusiasts (Paperback, 1st ed.): Ashwin... Raspberry Pi Supercomputing and Scientific Programming - MPI4PY, NumPy, and SciPy for Enthusiasts (Paperback, 1st ed.)
Ashwin Pajankar
R2,278 Discovery Miles 22 780 Ships in 10 - 15 working days

Build an inexpensive cluster of multiple Raspberry Pi computers and install all the required libraries to write parallel and scientific programs in Python 3. This book covers setting up your Raspberry Pis, installing the necessary software, and making a cluster of multiple Pis. Once the cluster is built, its power has to be exploited by means of programs to run on it. So, Raspberry Pi Supercomputing and Scientific Programming teaches you to code the cluster with the MPI4PY library of Python 3. Along the way, you will learn the concepts of the Message Passing Interface (MPI) standards and will explore the fundamentals of parallel programming on your inexpensive cluster. This will make this book a great starting point for supercomputing enthusiasts who want to get started with parallel programming. The book finishes with details of symbolic mathematics and scientific and numerical programming in Python, using SymPi, SciPy, NumPy, and Matplotlib. You'll see how to process signals and images, carry out calculations using linear algebra, and visualize your results, all using Python code. With the power of a Raspberry Pi supercomputer at your fingertips, data-intensive scientific programming becomes a reality at home. What You Will Learn Discover the essentials of supercomputing Build a low-cost cluster of Raspberry Pis at home Harness the power of parallel programming and the Message Passing Interface (MPI) Use your Raspberry Pi for symbolic, numerical, and scientific programming Who This Book Is For Python 3 developers who seek the knowledge of parallel programming, Raspberry Pi enthusiasts, researchers, and the scientific Python community.

Data Science Fundamentals for Python and MongoDB (Paperback, 1st ed.): David Paper Data Science Fundamentals for Python and MongoDB (Paperback, 1st ed.)
David Paper
R838 R726 Discovery Miles 7 260 Save R112 (13%) Ships in 10 - 15 working days

Build the foundational data science skills necessary to work with and better understand complex data science algorithms. This example-driven book provides complete Python coding examples to complement and clarify data science concepts, and enrich the learning experience. Coding examples include visualizations whenever appropriate. The book is a necessary precursor to applying and implementing machine learning algorithms. The book is self-contained. All of the math, statistics, stochastic, and programming skills required to master the content are covered. In-depth knowledge of object-oriented programming isn't required because complete examples are provided and explained. Data Science Fundamentals with Python and MongoDB is an excellent starting point for those interested in pursuing a career in data science. Like any science, the fundamentals of data science are a prerequisite to competency. Without proficiency in mathematics, statistics, data manipulation, and coding, the path to success is "rocky" at best. The coding examples in this book are concise, accurate, and complete, and perfectly complement the data science concepts introduced. What You'll Learn Prepare for a career in data science Work with complex data structures in Python Simulate with Monte Carlo and Stochastic algorithms Apply linear algebra using vectors and matrices Utilize complex algorithms such as gradient descent and principal component analysis Wrangle, cleanse, visualize, and problem solve with data Use MongoDB and JSON to work with data Who This Book Is For The novice yearning to break into the data science world, and the enthusiast looking to enrich, deepen, and develop data science skills through mastering the underlying fundamentals that are sometimes skipped over in the rush to be productive. Some knowledge of object-oriented programming will make learning easier.

Hardware Verification with C++ - A Practitioner's Handbook (Paperback, Softcover reprint of the original 1st ed. 2006):... Hardware Verification with C++ - A Practitioner's Handbook (Paperback, Softcover reprint of the original 1st ed. 2006)
Mike Mintz, Robert Ekendahl
R3,166 Discovery Miles 31 660 Ships in 10 - 15 working days

Describes a small verification library with a concentration on user adaptability such as re-useable components, portable Intellectual Property, and co-verification. Takes a realistic view of reusability and distills lessons learned down to a tool box of techniques and guidelines.

Practical Python AI Projects - Mathematical Models of Optimization Problems with Google OR-Tools (Paperback, 1st ed.): Serge... Practical Python AI Projects - Mathematical Models of Optimization Problems with Google OR-Tools (Paperback, 1st ed.)
Serge Kruk
R2,089 R1,869 Discovery Miles 18 690 Save R220 (11%) Ships in 10 - 15 working days

Discover the art and science of solving artificial intelligence problems with Python using optimization modeling. This book covers the practical creation and analysis of mathematical algebraic models such as linear continuous models, non-obviously linear continuous models,and pure linear integer models. Rather than focus on theory, Practical Python AI Projects, the product of the author's decades of industry teaching and consulting, stresses the model creation aspect; contrasting alternate approaches and practical variations. Each model is explained thoroughly and written to be executed. The source code from all examples in the book is available, written in Python using Google OR-Tools. It also includes a random problem generator, useful for industry application or study. What You Will Learn Build basic Python-based artificial intelligence (AI) applications Work with mathematical optimization methods and the Google OR-Tools (Optimization Tools) suite Create several types of projects using Python and Google OR-Tools Who This Book Is For Developers and students who already have prior experience in Python coding. Some prior mathematical experience or comfort level may be helpful as well.

Pro JavaFX 9 - A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients (Paperback, 4th ed.): Johan Vos,... Pro JavaFX 9 - A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients (Paperback, 4th ed.)
Johan Vos, Stephen Chin, Weiqi Gao, James Weaver, Dean Iverson
R1,452 R1,205 Discovery Miles 12 050 Save R247 (17%) Ships in 10 - 15 working days

Use the JavaFX platform to create rich-client Java applications and discover how you can use this powerful Java-based UI platform, which is capable of handling large-scale data-driven business applications for PC as well as mobile and embedded devices. The expert authors cover the new more modular JavaFX 9 APIs, development tools, and best practices and provide code examples that explore the exciting new features provided with JavaFX 9, part of Oracle's new Java 9 release. Pro JavaFX 9: A Definitive Guide to Building Desktop, Mobile, and Embedded Java Clients also contains engaging tutorials that cover virtually every facet of JavaFX development and reference materials on JavaFX that augment the JavaFX API documentation. What You'll Learn Create a user interface in JavaFX Use SceneBuilder to create a user interface Build dynamic UI layouts in JavaFX and using the JavaFX UI controls Create charts in JavaFX Leverage JavaFX languages and markup Who This Book Is For Experienced Java programmers looking to learn and leverage JavaFX 9 for rich client-side Java development.

Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Rome, Italy, April 27-28,... Evaluation of Novel Approaches to Software Engineering - 11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016, Revised Selected Papers (Paperback, 1st ed. 2016)
Leszek A Maciaszek, Joaquim Filipe
R2,216 Discovery Miles 22 160 Ships in 10 - 15 working days

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 2016. The 11 full papers presented were carefully reviewed and selected from 79 submissions. The mission of ENASE is to be a prime international forum to discuss and publish research findings and IT industry experiences with relation to the evaluation of novel approaches to software engineering. The conference acknowledges necessary changes in systems and software thinking due to contemporary shifts of computing paradigm to e-services, cloud computing, mobile connectivity, business processes, and societal participation.

Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint... Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Paperback, 1st ed. 2017)
Marieke Huisman, Julia Rubin
R2,790 Discovery Miles 27 900 Ships in 10 - 15 working days

This book constitutes the proceedings of the 20th International Conference on Fundamental Approaches to Software Engineering, FASE 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 23 papers presented in this volume were carefully reviewed and selected from 91 submissions. They were organized in topical sections named: learning and inference; test selection; program and system analysis; graph modeling and transformation; model transformations; configuration and synthesis; and software product lines.

Test Driven Development in Ruby - A Practical Introduction to TDD Using Problem and Solution Domain Analysis (Paperback, 1st... Test Driven Development in Ruby - A Practical Introduction to TDD Using Problem and Solution Domain Analysis (Paperback, 1st ed.)
Bala Paranj
R2,590 Discovery Miles 25 900 Ships in 10 - 15 working days

Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to build upon. Test Driven Development in Ruby is written by a developer for developers. The concepts are first explained, then a coding demo illustrates how to apply the theory in practice. At the end of each chapter an exercise is given to reinforce the material. Complete with working files and code samples, you'll be able to work alongside the author, a trainer, by following the material in this book. What You Will Learn Carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first Use assertions Discover the structure of a test and the TDD cycle Gain an understanding of minimal implementation, starter test, story test, and next test Handle refactoring using Ruby Hide implementation details Test precisely and concretely Make your code robust Who This Book Is For Experienced Ruby programmers or web developers with some prior experience with Ruby.

Beginning Adobe Animate CC - Learn to Efficiently Create and Deploy Animated and Interactive Content (Paperback, 1st ed.): Tom... Beginning Adobe Animate CC - Learn to Efficiently Create and Deploy Animated and Interactive Content (Paperback, 1st ed.)
Tom Green, Joseph Labrecque
R2,277 Discovery Miles 22 770 Ships in 10 - 15 working days

Use solid and practical exercises to master the fundamentals of Adobe Animate CC. This is one of the first comprehensive books on Adobe Animate CC to thoroughly examine and demonstrate how to create and deploy interactive and motion design content to mobile, tablet, and desktop screens. Using a series of carefully developed tutorials, Beginning Adobe Animate CC will lead you from basic Animate CC document workflows to the point where you can create animations, interactive projects, and anything else using a variety of techniques. Each chapter focuses on a major aspect of Animate CC and then lets you take over with a series of "Your Turn" exercises that let you create amazing projects based on what you have learned. Beginning Adobe Animate CC focuses on the core skill set needed to master Animate CC and while you are at it, you will be guided to the mastery of the fundamentals, such as drawing tools, movie clips, video and audio content, text, graphics, external data, components, and a solid overview of the code you need to know to take your skills to the next level. What You Will Learn: Create and deploy animated and interactive content for the HTML 5 universe. Create images and vector graphics for use in Animate CC. Examine a variety of animation techniques that make full use of the Animate CC timeline. Add video and audio content to an Animate CC project. Use many of the graphic creation tools in Animate CC. Publish your projects to a variety of formats. Who This Book is For: Those who are proficient in creating and publishing animated and interactive web-based content. It will also help those who are proficient in using Adobe Flash Professional CC to understand the improvements and new workflows found in Adobe Animate CC.

Formal Languages, Automata and Numeration Systems Volume 1 (Hardcover): M Rigo Formal Languages, Automata and Numeration Systems Volume 1 (Hardcover)
M Rigo
R4,006 Discovery Miles 40 060 Ships in 12 - 19 working days

Formal Languages, Automaton and Numeration Systems presents readers with a review of research related to formal language theory, combinatorics on words or numeration systems, such as Words, DLT (Developments in Language Theory), ICALP, MFCS (Mathematical Foundation of Computer Science), Mons Theoretical Computer Science Days, Numeration, CANT (Combinatorics, Automata and Number Theory).Combinatorics on words deals with problems that can be stated in a non-commutative monoid, such as subword complexity of finite or infinite words, construction and properties of infinite words, unavoidable regularities or patterns. When considering some numeration systems, any integer can be represented as a finite word over an alphabet of digits. This simple observation leads to the study of the relationship between the arithmetical properties of the integers and the syntactical properties of the corresponding representations. One of the most profound results in this direction is given by the celebrated theorem by Cobham. Surprisingly, a recent extension of this result to complex numbers led to the famous Four Exponentials Conjecture. This is just one example of the fruitful relationship between formal language theory (including the theory of automata) and number theory.Contents to include: - algebraic structures, homomorphisms, relations, free monoid - finite words, prefixes, suffixes, factors, palindromes- periodicity and Fine-Wilf theorem- infinite words are sequences over a finite alphabet- properties of an ultrametric distance, example of the p-adic norm- topology of the set of infinite words- converging sequences of infinite and finite words, compactness argument- iterated morphism, coding, substitutive or morphic words- the typical example of the Thue-Morse word- the Fibonacci word, the Mex operator, the n-bonacci words- wordscomingfromnumbertheory(baseexpansions, continuedfractions, ...) - the taxonomy of Lindenmayer systems- S-adic sequences, Kolakoski word- repetition in words, avoiding repetition, repetition threshold- (complete) de Bruijn graphs- concepts from computability theory and decidability issues- Post correspondence problem and application to mortality of matrices- origins of combinatorics on words- bibliographic notes- languages of finite words, regular languages- factorial, prefix/suffix closed languages, trees and codes- unambiguous and deterministic automata, Kleene's theorem- growth function of regular languages- non-deterministic automata and determinization- radix order, first word of each length and decimation of a regular language- the theory of the minimal automata- an introduction to algebraic automata theory, the syntactic monoid and thesyntactic complexity- star-free languages and a theorem of Schu ̈tzenberger- rational formal series and weighted automata- context-free languages, pushdown automata and grammars- growth function of context-free languages, Parikh's theorem- some decidable and undecidable problems in formal language theory- bibliographic notes- factor complexity, Morse-Hedlund theorem- arithmetic complexity, Van Der Waerden theorem, pattern complexity - recurrence, uniform recurrence, return words- Sturmian words, coding of rotations, Kronecker's theorem- frequencies of letters, factors and primitive morphism- critical exponent- factor complexity of automatic sequences- factor complexity of purely morphic sequences- primitive words, conjugacy, Lyndon word- abelianisation and abelian complexity- bibliographic notes- automatic sequences, equivalent definitions- a theorem of Cobham, equivalence of automatic sequences with constantlength morphic sequences- a few examples of well-known automatic sequences- about Derksen's theorem- some morphic sequences are not automatic- abstract numeration system and S-automatic sequences- k - ∞-automatic sequences- bibliographic notes- numeration systems, greedy algorithm- positional numeration systems, recognizable sets of integers- divisibility criterion and recognizability of N- properties of k-recognizable sets of integers, ratio and difference of consec-utive elements: syndeticity- integer base and Cobham's theorem on the base dependence of the recog-nizability- non-standard numeration systems based on sequence of integers- linear recurrent sequences, Loraud and Hollander results- Frougny's normalization result and addition- morphic numeration systems/sets of integers whose characteristic sequenceis morphic- towards a generalization of Cobham's theorem- a few words on the representation of real numbers, β-integers, finitenessproperties- automata associated with Parry numbers and numeration systems- bibliographic notesFirst order logic- Presburger arithmetic and decidable theory- Muchnik's characterization of semi-linear sets- Bu ̈chi's theorem: k-recognizable sets are k-definable - extension to Pisot numeration systems- extension to real numbers- decidability issues for numeration systems- applications in combinatorics on words

Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of... Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II (Paperback, 1st ed. 2017)
Axel Legay, Tiziana Margaria
R2,721 Discovery Miles 27 210 Ships in 10 - 15 working days

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of... Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I (Paperback, 1st ed. 2017)
Axel Legay, Tiziana Margaria
R3,295 Discovery Miles 32 950 Ships in 10 - 15 working days

The two-book set LNCS 10205 + 10206 constitutes the proceedings of the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017.The 48 full papers, 4 tool demonstration papers, and 12 software competition papers presented in these volumes were carefully reviewed and selected from 181 submissions to TACAS and 32 submissions to the software competition. They were organized in topical sections named: verification techniques; learning; synthesis; automata; concurrency and bisimulation; hybrid systems; security; run-time verification and logic; quantitative systems; SAT and SMT; and SV COMP.

Object-Oriented Programming in C++ (Paperback): NM Josuttis Object-Oriented Programming in C++ (Paperback)
NM Josuttis
R1,813 Discovery Miles 18 130 Ships in 12 - 19 working days

C++ is now established as one of the leading industry programming languages for object-oriented software development. Its advantages over other languages include speed and flexibility. It is used as the base for many commercial software products and for performance solutions to complex problems. Not often taught as the primary programming language, students are frequently expected to pick up the language for themselves. This book is an ideal student self-learning guide.

As a step-by-step tutorial, this book teaches all language features and explains their practical usage. Intuitive examples are used that are neither too complex to distract, nor oversimplified. A key concept in C++ is programming with templates, which can help to program generic solutions - for example implementing polymorphism. Nicolai Josuttis teaches how to combine templates with object-oriented programming to produce the power of modern C++ development for high performance programs. It is a book that goes well beyond the basics.

A supplementary website, including source code, can be found at www.josuttis.com/cppbook

Features:

  • comprehensive, detailed, readable, practical and up-to-date

  • teaches how to get the power from C++, using the current ANSI language standard and programming mode

  • specific hints help C and Java programmers switch and compare languages.

  • website provides more examples and links to useful online resources.
Learn iOS Application Distribution - Successfully Distribute Apps (Paperback, 1st ed.): Hagop Panosian Learn iOS Application Distribution - Successfully Distribute Apps (Paperback, 1st ed.)
Hagop Panosian
R1,761 R1,623 Discovery Miles 16 230 Save R138 (8%) Ships in 10 - 15 working days

Cover every aspect of the app industry, from app idea generation through to marketing and performance monitoring. With this book you'll receive complete, reliable, up-to-date, and professional information and guidance. Learn iOS App Distribution is every developers thorough and accessible guide to successfully distributing apps. For readers who already know how to code and create apps, this book explains how the app industry works, how it is evolving, and what the key trends are. Rather than focus on the well-covered aspects of working with Swift and Xcode, you'll instead discover what it takes from a commercial standpoint to bring an app together and get it successfully out to customers. All the key technical aspects are simplified for you with non-technical backgrounds, and vast amounts of information are condensed into easy-to-understand visuals. What You'll Learn Review how the app industry nuances and how it works Analyze app statistics and key market trends Position an app appropriately within the industry Improve app performance and related products and services Who This Book Is For App designers, UI/UX design professionals, coders, app marketers, game designers, asset designers and app publishing companies.The book is also suitable for inventors and non-tech readers unfamiliar with the industry but interested in investing in apps

Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint... Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings (Paperback, 1st ed. 2017)
Hong-Seok Yang
R3,078 Discovery Miles 30 780 Ships in 10 - 15 working days

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity.

Full Stack AngularJS for Java Developers - Build a Full-Featured Web Application from Scratch Using AngularJS with Spring... Full Stack AngularJS for Java Developers - Build a Full-Featured Web Application from Scratch Using AngularJS with Spring RESTful (Paperback, 1st ed.)
Ravi Kant Soni
R1,838 R1,481 Discovery Miles 14 810 Save R357 (19%) Ships in 10 - 15 working days

Get introduced to full stack enterprise development. Whether you are new to AngularJS and Spring RESTful web services, or you are a seasoned expert, you will be able to build a full-featured web application from scratch using AngularJS and Spring RESTful web services. Full stack web development is in demand because you can explore the best of different tools and frameworks and yet make your apps solid and reliable in design, scalability, robustness, and security. This book assists you in creating your own full stack development environment that includes the powerful and revamped AngularJS, and Spring REST. The architecture of modern applications is covered to prevent the development of isolated desktop and mobile applications. By the time you reach the end of this book you will have built a full-featured dynamic app. You will start your journey by setting up a Spring Boot development environment and creating your RESTful services to perform CRUD operations. Then you will migrate the front-end tools-AngularJS and Bootstrap-into your Spring Boot application to consume RESTful services. You will secure your REST API using Spring Security and consume your secured REST API using AngularJS. What You'll Learn Build a REST application with Spring Boot Expose CRUD operations using RESTful endpoints Create a single page application by integrating Angular JS and Bootstrap in Spring Boot Secure REST APIs using Spring Security Consume secured RESTful Services using Angular JS Build a REST client using a REST template to consume RESTful services Test RESTful services using the Spring MVC Test Framework Who This Book Is For Web application developers with previous Java programming experience who want to create enterprise-grade, scalable Java apps using powerful front tools such as AngularJS and Bootstrap along with popular back-end frameworks such as Spring Boot

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Applications of Machine Learning and…
Ran Yan, Shuaian Wang Hardcover R3,377 R3,048 Discovery Miles 30 480
Digital Technologies for Agriculture
Narendra Rathore Singh Hardcover R6,923 Discovery Miles 69 230
Nonlinear Optical Materials and Devices…
A Miller, K.R. Welford, … Hardcover R5,799 Discovery Miles 57 990
The Astrophysical Journal; 11
American Astronomical Society, University of Chicago Hardcover R1,075 Discovery Miles 10 750
Machine Learning for Planetary Science
Joern Helbert, Mario D'Amore, … Paperback R3,590 Discovery Miles 35 900
Get Started Programming with Python…
Manuel Mcfeely Hardcover R821 R710 Discovery Miles 7 100
Advanced Researches in Optics: Volume I
Annie Kent Hardcover R3,143 Discovery Miles 31 430
Introduction to Statistical and Machine…
Carlos Andre Reis Pinheiro, Mike Patetta Hardcover R959 Discovery Miles 9 590
Principia - The Mathematical Principles…
Isaac Newton Paperback R1,357 Discovery Miles 13 570
Advances in Domain Adaptation Theory
Ievgen Redko, Emilie Morvant, … Hardcover R2,766 R2,497 Discovery Miles 24 970

 

Partners