Search results for "Computer Science Academy"
Items we need to order for you
GCSE Computer Science AQA Revision Guide
This brilliant CGP Revision Guide is the perfect companion to the Grade 9-1 AQA GCSE Computer Science course. Every topic has study notes in plain English, plus diagrams and plenty of helpful examples (including coding throughout the programming topic). There are also revision questions, along with plenty of exam tips explaining how to reach the top grades. For even more Computer Science exam preparation, don't miss our Computer Science Exam Practice Workbook (9781789086119) or Revision Quesiton Cards (9781789086126)!
R 268.00
My Revision Notes: AQA A-level Computer Science
Set your students on track to achieve the best grade possible with My Revision Notes: AQA A-level Computer Science.Our clear and concise approach to revision will help students learn, practise and apply their skills and understanding. Coverage of key content is combined with practical study tips and effective revision strategies to create a guide that can be relied on to build both knowledge and confidence.With My Revision Notes: AQA A-level Computer Science, students can: Consolidate knowledge with clear, focused and relevant content coverage, based on what examiners are looking for Develop understanding with self-testing - our regular 'Now test yourself,' tasks and answers will help commit knowledge to memory Improve technique through exam-style practice questions, expert tips and examples of typical mistakes to avoid Identify key connections between topics and subjects with our 'Learning links' focus Plan and manage a successful revision programme with our topic-by-topic planner, new exam breakdown feature, user-friendly definitions throughout and questions and answers online/p
R 1,042.00
R 1,130.00
Mathematical Foundations of Computer Science 1988
This volume contains 11 invited lectures and 42 communications presented at the 13th Conference on Mathematical Foundations of Computer Science, MFCS '88, held at Carlsbad, Czechoslovakia, August 29 - September 2, 1988. Most of the papers present material from the following four fields: - complexity theory, in particular structural complexity, - concurrency and parellelism, - formal language theory, - semantics. Other areas treated in the proceedings include functional programming, inductive syntactical synthesis, unification algorithms, relational databases and incremental attribute evaluation.
R 3,082.42
Theoretical Computer Science
This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.
R 1,535.35
R 1,303.00
Computer Science in Sport
Computers are a fundamentally important tool in sport science research, sports performance analysis and, increasingly, in coaching and education programmes in sport. This book defines the field of ‘sport informatics’, explaining how computer science can be used to solve sport-related problems, in both research and applied aspects.Beginning with a clear explanation of the functional principles of hardware and software, the book examines the key functional areas in which computer science is employed in sport, including: knowledge discovery and database development data acquisition, including devices for measuring performance data motion tracking and analysis systems modelling and simulation match analysis systems e-learning and multimedia in sports educationBridging the gap between theory and practice, this book is important reading for any student, researcher or practitioner working in sport science, sport performance analysis, research methods in sport, applied computer science or informatics.
R 9,941.73
Intro to Python for Computer Science and Data Science
For introductory-level Python programming and/or data-science courses. A groundbreaking, flexible approach to computer science and data science The Deitels’ Introduction to Python for Computer Science and Data Science: Learning to Program with AI, Big Data and the Cloud offers a unique approach to teaching introductory Python programming, appropriate for both computer-science and data-science audiences. Providing the most current coverage of topics and applications, the book is paired with extensive traditional supplements as well as Jupyter Notebooks supplements. Real-world datasets and artificial-intelligence technologies allow students to work on projects making a difference in business, industry, government and academia. Hundreds of examples, exercises, projects (EEPs), and implementation case studies give students an engaging, challenging and entertaining introduction to Python programming and hands-on data science. The book's modular architecture enables instructors to conveniently adapt the text to a wide range of computer-science and data-science courses offered to audiences drawn from many majors. Computer-science instructors can integrate as much or as little data-science and artificial-intelligence topics as they'd like, and data-science instructors can integrate as much or as little Python as they'd like. The book aligns with the latest ACM/IEEE CS-and-related computing curriculum initiatives and with the Data Science Undergraduate Curriculum Proposal sponsored by the National Science Foundation.
R 5,413.00
Logic and Computer Science
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
R 1,131.08
Encyclopedia of Computer Science and Technology
This 41st volume covers Application of Bayesan Belief Networks to Highway Construction to Virtual Reality Software and Technology.
R 13,957.35
R 1,824.00
SOFSEM 2026: Theory and Practice of Computer Science
This book constitutes the proceedings of the 51st International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2026, held in Krakow, Poland, during February 2026.The 49 full papers included in this book were carefully reviewed and selected from 133 submissions. They deal with the theory and practice of computer science focusing on the latest results and developments of fundamental research in computer science.
R 4,345.53
Computational Science – ICCS 2025 Workshops
The 6-volume set constitutes the worshop proceedings of the 25th International Conference on Computational Science, ICCS 2025, which took place in Singapore, Singapore, during July 7-9, 2025. The 137 full papers and 32 short papers presented in these proceedings were carefully reviewed and selected from 322 submissions. The papers are organized in the following topical sections: Volume I: Advances in high-performance computational earth sciences: numerical methods, frameworks & applications; artificial intelligence approaches for network analysis; artificial intelligence and high-performance computing for advanced simulations; and biomedical and bioinformatics challenges for computer science. Volume II: Computational health; computational modeling and artificial intelligence for social systems; and computational optimization, modelling and simulation. Volume III: Computational science and AI for addressing complex and dynamic societal challenges equitably; computer graphics, image processing and artificial intelligence; computing and data science for materials discovery and design; and large language models and intelligent decision-making within the digital economy. Volume IV: Machine learning and data assimilation for dynamical systems; and multi-criteria decision-making: methods, applications, and innovations. Volume V: (Credible) Multiscale modelling and simulation; numerical algorithms and computer arithmetic for computational science; quantum computing; retrieval-augmented generation; and simulations of flow and transport: modeling, algorithms and computation. Volume VI: Smart systems: bringing together computer vision, sensor networks and artificial intelligence; solving problems with uncertainty; and teaching computational science.
R 3,527.14
Intelligent Support for Computer Science Education
Intelligent Support for Computer Science Education presents the authors’ research journey into the effectiveness of human tutoring, with the goal of developing educational technology that can be used to improve introductory Computer Science education at the undergraduate level. Nowadays, Computer Science education is central to the concerns of society, as attested by the penetration of information technology in all aspects of our lives; consequently, in the last few years interest in Computer Science at all levels of schooling, especially at the college level, has been flourishing. However, introductory concepts in Computer Science such as data structures and recursion are difficult for novices to grasp.Key Features:Includes a comprehensive and succinct overview of the Computer Science education landscape at all levels of education.Provides in-depth analysis of one-on-one human tutoring dialogues in introductory Computer Science at college level.Describes a scalable, plug-in based Intelligent Tutoring System architecture, portable to different topics and pedagogical strategies.Presents systematic, controlled evaluation of different versions of the system in ecologically valid settings (18 actual classes and their laboratory sessions).Provides a time-series analysis of student behavior when interacting with the system.This book will be of special interest to the Computer Science education community, specifically instructors of introductory courses at the college level, and Advanced Placement (AP) courses at the high school level. Additionally, all the authors’ work is relevant to the Educational Technology community, especially to those working in Intelligent Tutoring Systems, their interfaces, and Educational Data Mining, in particular as applied to human-human pedagogical interactions and to user interaction with educational software.
R 6,673.56
Concise Guide to Computing Foundations
This book will help future scientists to become more intelligent users of computing technology in their practice of science. The content is suitable for introductory courses on the foundations of computing and the specific application of computers in different areas of science. The text presents a set of modules for use in existing science courses in order to integrate individual aspects of computational thinking, as well as a set of modules introducing the computer science concepts needed to understand the computing involved. These modules guide science students in their independent learning. The book covers computing applications in such diverse areas as bioinformatics, chemical kinetics, hydrogeological modeling, and mechanics of materials, geographic information systems, flow analysis, the solving of equations, curve fitting, optimization, and scientific data acquisition. The computing topics covered include simulations, errors, data representation, algorithms, XMS, compression, databases, performance, and complexity.
R 1,832.00
R 4,273.00
Adventures in Computer Science
The main focus of this textbook is the basic unit of information and the way in which our understanding of this has evolved over time. In particular the author covers concepts related to information, classical computing, logic, reversible computing, quantum mechanics, quantum computing, thermodynamics and some artificial intelligence and biology, all approached from the viewpoint of computer sciences. The book begins by asking the following nontrivial question: what is a bit? The author then discusses logic, logic gates, reversible computing and reversible architectures, and the concept of disorder. He then tries to establish the relationship between three essential questions that justify quantum approaches in computer sciences: the energy required to perform a real-life computation, the size of current processors, and the reversibility of quantum operations. Based on these concepts, the author establishes the conditions that justify the use of quantum techniques for certain kinds of computational tasks, and he uses formal descriptions and formal argumentations to introduce key quantum mechanical concepts and approaches. The rest of the book is formally different, focusing on practical issues, including a discussion of remarkable quantum algorithms in a treatment based on quantum circuit theory.The book is valuable for graduate students in computer science, and students of other disciplines who are engaged with physical models of information and computing.
R 3,303.83
Computational Science and Its Applications – ICCSA 2023 Workshops
This nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023.The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops:Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).
R 3,962.00
Computational Science and Its Applications – ICCSA 2025
The three-volumes LNCS 15648, 15649, 15650 set constitutes the refereed proceedings of the 25th International Conference on Computational Science and Its Applications - ICCSA 2025, held in Istanbul, Turkey, during June 30-July 3, 2025. The 71 full papers, 6 short papers, and 1 PHD showcase paper were carefully reviewed and selected from 269 submissions. The papers have been organized in topical sections as follows: Part I: Computational Methods, Algorithms and Scientific Applications; High Performance Computing and Networks; Geometric Modeling, Graphics and Visualization; Advanced and Emerging Applications; Information Systems and Technologies; Urban and Regional Planning. Part II: Information Systems and Technologies; Part III: Information Systems and Technologies; Urban and Regional Planning; PHD Showcase Paper; Short papers.
R 3,151.95
Computational Science and Its Applications – ICCSA 2023 Workshops
This nine-volume set LNCS 14104 – 14112 constitutes the refereed workshop proceedings of the 23rd International Conference on Computational Science and Its Applications, ICCSA 2023, held at Athens, Greece, during July 3–6, 2023.The 350 full papers and 29 short papers and 2 PHD showcase papers included in this volume were carefully reviewed and selected from a total of 876 submissions. These nine-volumes includes the proceedings of the following workshops:Advances in Artificial Intelligence Learning Technologies: Blended Learning, STEM, Computational Thinking and Coding (AAILT 2023); Advanced Processes of Mathematics and Computing Models in Complex Computational Systems (ACMC 2023); Artificial Intelligence supported Medical data examination (AIM 2023); Advanced and Innovative web Apps (AIWA 2023); Assessing Urban Sustainability (ASUS 2023); Advanced Data Science Techniques with applications in Industry and Environmental Sustainability (ATELIERS 2023); Advances in Web Based Learning (AWBL 2023); Blockchain and Distributed Ledgers: Technologies and Applications (BDLTA 2023); Bio and Neuro inspired Computing and Applications (BIONCA 2023); Choices and Actions for Human Scale Cities: Decision Support Systems (CAHSC-DSS 2023); and Computational and Applied Mathematics (CAM 2023).
R 4,728.67
Proceeding of International Conference on Computational Science and Applications
The book consists of high-quality papers presented at the International Conference on Computational Science and Applications (ICCSA 2019), held at Maharashtra Institute of Technology World Peace University, Pune, India, from 7 to 9 August 2019. It covers the latest innovations and developments in information and communication technology, discussing topics such as soft computing and intelligent systems, web of sensor networks, drone operating systems, web of sensor networks, wearable smart sensors, automated guided vehicles and many more.
R 7,042.17
Edexcel GCSE (9-1) Computer Science Student Book
The Pearson Edexcel GCSE (9-1) Computer Science Student Book provides detailed coverage of the 2016 specification, enabling you to approach your exams and assessment with confidence. This Student Book offers: a comprehensive understanding of computer science and computational thinking, helping you to access the course content and make progress with your learning. an awareness of the applications of computer science for problem solving in the real world definitions of key words, enabling you to recognise and use appropriate terms and vocabulary regular activities to support progression and encourage further thinking and investigation preparation for the exam section to support revision. Our Student Book will also be available as a Kindle edition.
R 1,444.00
R 2,247.00
Computational Science and Its Applications – ICCSA 2026 Workshops
This nine-volume set LNCS 16758-16766 constitutes the papers of several workshops which were held in conjunction with the 26th International Conference on Computational Science and its Applications, ICCSA 2026, held in Braga, Portugal, during June 30 - July 3, 2026.The 328 full papers, 23 short papers and 3 PhD showcase papers included in these volumes were carefully reviewed and selected from 1184 submissions.The conference consisted of 57 workshops, focusing on topical issues of utmost importance to science, technology and society: from new computational approaches for earth science, to mathematical methods for image processing, new statistical and optimisation methods, several Artificial Intelligence approaches, sustainability issues, smart cities and related technologies.
R 2,240.59
Complete Computer Science for Cambridge IGCSE® & O Level Revision Guide
With a practical approach and a strong emphasis on problem solving and computational thinking skills, this revision guide includes all the essential tools to build exam confidence. Closely matched to the Student Book (Second Edition), it is packed with key ideas and practice questions. Written by highly experienced authors and examiners, Complete Computer Science helps to deliver the strongest exam results.
R 1,001.00
Pearson REVISE Edexcel GCSE Computer Science Revision Workbook - 2023 and 2024 exams
The revision series for Pearson Edexcel GCSE (9–1)from Pearson. This book will help you to: Organise your revision with the one-topic-per-page format Prepare for your GCSE exams with exam-style practice questions on every topic Simplify your revision by writing straight into the book, just as you would in an exam Track your progress with at-a-glance check boxes Improve your exam technique with practice exam papers Build confidence with hints and tips Focus your revision with target grades for every question. Also available: Pearson Revise Revision Guide (ISBN 9781292374000) Revise every topic in this book with the accompanyingPearson Edexcel GCSE (9–1) Computer Science Revision Guide. It gives you clear,concise explanations of every topic, worked examples showing you how to answerexam-style questions and a 1-to-1 page match with this Revision Workbook.
R 331.00
Cambridge IGCSE™ and O Level Computer Science Programming Book for Microsoft® Visual Basic with Digital Access (2 Years)
This series supports learners through the Cambridge IGCSE™ and O Level Computer Science syllabuses (0478/0984/2210). Develop skills and confidence with our programming book for Microsoft® Visual Basic. Created to support students undertaking the Cambridge IGCSE™ and O Level Computer Science syllabuses, this resource provides tailored support when programming with Microsoft® Visual Basic. A three-tiered approach to programming tasks across the book provides scaffolded support for students of all levels of understanding. Answers are accessible in the 'Solutions' chapter in the digital part of the resource, enabling students to practise their programming skills in class or at home.
R 1,054.00
Computer and Information Science
Thepurposeofthe 7thIEEE/ACISInternationalConferenceonComputerandInfor- tion Science (ICIS2008)and the 2nd IEEE/ACISInternationalWorkshop on e-Activity (IWEA 2008) to be held on May 14-16, 2008 in Portland, Oregon, U.S.A. is to bring together scientists, engineers, computer users, and students to share their experiences and exchange new ideas and research results about all aspects (theory, applications and tools) of computer and information science; and to discuss the practical challenges - countered along the way and the solutions adopted to solve them. In January, 2008 one of editors of this book approached in house editor Dr. Thomas Ditzingeraboutpreparingavolumecontainingextendedandimprovedversionsofsome of the papers selected for presentation at the conference and workshop. Upon receiving Dr. Ditzinger's approval, conference organizers selected 23 outstanding papers from ICIS/IWEA 2008, all of which you will nd in this volume of Springer's Studies in Computational Intelligence. In chapter 1, Fabio Perez Marzullo et al. describe a model driven architecture (MDA) approachfor assessing database performance.The authorspresent a pro ling technique that offers a way to assess performance and identify aws, while performing software construction activities.In chapter 2, authorsHuy Nguyen Anh Pham and EvangelosTriantaphyllouoffera new approachfortesting classi cation algorithms,and present thisapproachthroughrean- ysis of the Pima Indian diabetes dataset, one of the most well-known datasets used for this purpose. The new method put forth by the authors is dubbed the Homogeneity- Based Algorithm(HBA), and it aims to optimally control the over ttingand overgen- alization behaviors that have proved problematic for previous classi cation algorithms on this dataset.
R 3,037.01
ClearRevise OCR Computer Science J277
Illustrated revision and practise for Computer Science.Over 500 marks worth of examination style questions.Answers provided for all questions within the book.Illustrated topics to improve memory and recall.Specification references for every topic.Examination tips and techniques.Absolute clarity is the aim with a new generation of revision guide for the 2020s. This guide has been expertly compiled and edited by successful former teachers of Computer Science, highly experienced examiners and a good dollop of scientific research into what makes revision most effective.Past examinations questions are essential to good preparation, improving understanding and confidence. This guide has combined revision with tips and more practice questions than you could shake a stick at. All the essential ingredients for getting a grade you can be really proud of.Each specification topic has been referenced and distilled into the key points to make in an examination for top marks. Questions on all topics assessing knowledge, application and analysis are all specifically and carefully devised throughout this book.
R 379.00
Computer and Information Science 2021 - Fall
This edited book presents scientific results of the 21th IEEE/ACIS International Fall Virtual Conference on Computer and Information Science (ICIS 2021-Fall) held on October 13-15, 2021, in Xi’an China. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications, and tools) of computer and information science and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the program committee and underwent further rigorous rounds of review. From this second round of review, 13 of the conference’s most promising papers are then published in this Springer (SCI) book and not the conference proceedings. We impatiently await the important contributions that we know these authors will bring to the field of computer and information science.
R 4,896.78
Encyclopedia of Computer Science and Technology
"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions."
R 4,707.92
Foundations of Software Technology and Theoretical Computer Science
This volume contains the proceedings of the 8th Conference on Foundations of Software Technology and Theoretical Computer Science held in Pune, India, on December 21-23, 1988. This internationally well-established Indian conference series provides a forum for actively investigating the interface between theory and practice of Software Science. It also gives an annual occasion for interaction between active research communities in India and abroad. Besides attractive invited papers the volume contains carefully reviewed submitted papers on the following topics: Automata and Formal Languages, Graph Algorithms and Geometric Algorithms, Distributed Computing, Parallel Algorithms, Database Theory, Logic Programming, Programming Methodology, Theory of Algorithms, Semantics and Complexity.
R 1,594.28
Computer and Information Science 2010
The 9th ACIS/IEEE International Conference on Computer Science and Information Science, held in Kaminoyama, Japan on August 18-20 is aimed at bringing together researchers and scientists, businessmen and entrepreneurs, teachers and students to discuss the numerous fields of computer science, and to share ideas and information in a meaningful way. This publication captures 18 of the conference’s most promising papers, and we impatiently await the important contributions that we know these authors will bring to the ?eld. In chapter 1, Taewan Gu et al. propose a method of software reliability estimation based on IEEE Std. 1633 which is adaptive in the face of frequent changes to software requirements, and show why the adaptive approach is necessary when software requirements are changed frequently through a case study. In chapter 2, Keisuke Matsuno et al. investigate the capacity of incremental learning in chaotic neural networks, varying both the refractory parameter and the learning parameter with network size. This approach is investigated through simulations, which ?nd that capacity can be increased in greater than direct proportion to size. In chapter 3, Hongwei Zeng and Huaikou Miao extend the classical labeled transition system models to make both abstraction and compositional reasoning applicable to deadlock detection for parallel composition of components, and propose a compositional abstraction re?nement approach.
R 4,798.04
R 432.83
R 489.00
Advances in Computer Science for Engineering and Education
This book contains high-quality refereed research papers presented at the Fifth International Conference on Computer Science, Engineering, and Education Applications (ICCSEEA2022), which took place in Kyiv, Ukraine, on February 21–22, 2022, and was organized by the National Technical University of Ukraine "Igor Sikorsky Kyiv Polytechnic Institute," National Aviation University, and the International Research Association of Modern Education and Computer Science. State-of-the-art studies in computer science, artificial intelligence, engineering methodologies, genetic coding systems, deep learning with medical applications, and knowledge representation with educational applications are among the topics covered in the book. For academics, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and its applications in engineering and education, this book is a valuable resource.
R 7,326.00
R 1,158.59
Computational Science and Its Applications – ICCSA 2025
The three-volumes LNCS 15648, 15649, 15650 set constitutes the refereed proceedings of the 25th International Conference on Computational Science and Its Applications - ICCSA 2025, held in Istanbul, Turkey, during June 30-July 3, 2025. The 71 full papers, 6 short papers, and 1 PHD showcase paper were carefully reviewed and selected from 269 submissions. The papers have been organized in topical sections as follows: Part I: Computational Methods, Algorithms and Scientific Applications; High Performance Computing and Networks; Geometric Modeling, Graphics and Visualization; Advanced and Emerging Applications; Information Systems and Technologies; Urban and Regional Planning. Part II: Information Systems and Technologies; Part III: Information Systems and Technologies; Urban and Regional Planning; PHD Showcase Paper; Short papers.
R 3,147.25
Encyclopedia of Computer Science and Technology
"This comprehensive reference work provides immediate, fingertip access to state-of-the-art technology in nearly 700 self-contained articles written by over 900 international authorities. Each article in the Encyclopedia features current developments and trends in computers, software, vendors, and applications...extensive bibliographies of leading figures in the field, such as Samuel Alexander, John von Neumann, and Norbert Wiener...and in-depth analysis of future directions."
R 13,964.70
Mathematical Foundations of Computer Science 1998
This book constitutes the refereed proceedings of the 23rd International Symposium on the Mathematical Foundations of Computer Science, MFCS'98, held in Brno, Czech Republic, in August 1998.The 71 revised full papers presented were carefully reviewed and selected from a total of 168 submissions. Also included are 11 full invited surveys by prominent leaders in the area. The papers are organized in topical sections on problem complexity; logic, semantics, and automata; rewriting; automata and transducers; typing; concurrency, semantics, and logic; circuit complexity; programming; structural complexity; formal languages; graphs; Turing complexity and logic; binary decision diagrams, etc..
R 4,450.70
R 4,417.00
