Search results for "Computer Science Academy"
Items we need to order for you
R 1,160.37
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2022, held in Deerfield Beach, FL, USA, in January 2022. The 23 revised full papers were carefully reviewed and selected from 35 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science.
R 3,332.94
SOFSEM 2008: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 34th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2008, held in Slovakia, in 2008. The 57 revised full papers, presented together with 10 invited contributions, were carefully reviewed and selected from 162 submissions. The contributions are segmented into four topical sections on foundations of computer science; computing by nature; networks, security, and cryptography; and Web technologies.
R 3,121.08
Oxford Resources for IB DP Computer Science: Course Book
Developed in cooperation with the IB and matched to the first teaching 2025 subject guide, the comprehensive Course Book offers support for key concepts, theories and skills.
R 1,912.00
Computer Science and Education
This three-volume set constitues selected papers presented during the 17th International Conference on Computer Science and Education, ICCSE 2022, held in Ningbo, China, in August 2022.The 168 full papers and 43 short papers presented were thoroughly reviewed and selected from the 510 submissions. They focus on a wide range of computer science topics, especially AI, data science, and engineering, and technology-based education, by addressing frontier technical and business issues essential to the applications of data science in both higher education and advancing e-Society.
R 4,712.50
AQA A level Computer Science
Exam Board: AQALevel: AS/A-levelSubject: Computer ScienceFirst Teaching: September 2015First Exam: June 2016This title has been approved by AQA for use with the AS and A-level AQA Computer Science specifications. AQA A-level Computer Science gives students the chance to think creatively and progress through the AQA AS and A-level Computer Science specifications. Detailed coverage of the specifications will enrich understanding of the fundamental principles of computing, whilst a range of activities help to develop the programming skills and computational thinking skills at A-level and beyond. - Enables students to build a thorough understanding of the fundamental principles in the AQA AS and A-Level Computer Science specifications, with detailed coverage of programming, algorithms, data structures and representation, systems, databases and networks, uses and consequences.- Helps to tackle the various demands of the course confidently, with advice and support for programming and theoretical assessments and the problem-solving or investigative project at A-level.- Develops the programming and computational thinking skills for A-level and beyond - frequent coding and question practice will help students apply their knowledge of the principles of computer science, and design, program and evaluate problem-solving computer systems. Bob Reeves is an experienced teacher with examining experience, and well-respected author of resources for Computing and ICT across the curriculum.
R 2,328.00
Computer Science – Theory and Applications
This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016. The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; computational models and concepts; algorithms for concurrent and distributed systems, networks; proof theory and applications of logic to computer science; model checking; automated reasoning; and deductive methods.
R 1,580.33
R 458.00
Computer Science 2
The articles in this proceedings were presented at the 13th International Conference of the Chilean Computer Science Society held in La Serena, Chile on October 14-16, 1993. A record number of 90 submissions were received this year in response to the call for papers. They came from 19 countries in four continents. The 44 articles presented here were selected by the program committee whose members were Ricardo Baeza-Yates (Chair, Univ. de Chile) Leopoldo Bertossi (U niv. Catolica de Chile) Jorge Boria (Schlumberger, USA & UNICEN, Argentina) Edgardo Broner (Univ. Simon Bolivar, Venezuela) Pere Brunet (Polytechnic of Catalunya, Spain) Jose Blakeley (Texas Instruments, USA) Eduardo Krell (Fundacion Chile) Tomas Lang (Univ. of California at Irvine, USA) Rosana Lanzelotte (PUC-Rio, Brazil) Stefano Levialdi (Univ. di Roma, Italy) Jorge Lobo (Univ. of Illinois at Chicago, USA) Jose Palazzo (UFRGS, Brazil) Christian Queinnec (Poly technique & INRIA, France) Gregory Rawlins (Indiana University, USA) Carlos Scheel (Tecnologico de Monterrey, Mexico) Robbert Van Renesse (Cornell Univ., USA) The criteria for selection was based primarily on quality; we also considered relevance, clarity and the potential benefit to the community. The contents of these proceedings are organized on six main areas (number of papers in parentheses) : Algorithms and Data Structures (10); Databases and Information Systems (6); Distributed Systems and Computer Architecture (6); Logic and Knowledge (8); Petri Nets (4); and Software Engineering and Programming Languages (10). They also include one invited paper.
R 6,105.86
Computer Science Education
Drawing together the most up-to-date research from experts all across the world, the second edition of Computer Science Education offers the most up-to-date coverage available on this developing subject, ideal for building confidence of new pre-service and in-service educators teaching a new discipline. It provides an international overview of key concepts, pedagogical approaches and assessment practices. Highlights of the second edition include:- New sections on machine learning and data-driven (epistemic) programming- A new focus on equity and inclusion in computer science education- Chapters updated throughout, including a revised chapter on relating ethical and societal aspects to knowledge-rich aspects of computer science education- A new set of chapters on the learning of programming, including design, pedagogy and misconceptions- A chapter on the way we use language in the computer science classroom. The book is structured to support the reader with chapter outlines, synopses and key points. Explanations of key concepts, real-life examples and reflective points keep the theory grounded in classroom practice. The book is accompanied by a companion website, including online summaries for each chapter, 3-minute video summaries by each author and an archived chapter on taxonomies and competencies from the first edition.
R 1,117.00
Computational Science and Computational Intelligence
This CCIS book constitutes selected papers accepted in the Research Track on Cyber Warfare, Cyber Defense and Cyber Security and the Research Track on Mobile Computing, Wireless Networks and Security held as part of the 11th International Conference on Computational Science and Computational Intelligence, CSCI 2024, which took place in Las Vegas, NV, USA, during December 11-13, 2024. The Research Track on Cyber Warfare, Cyber Defense and Cyber Security, CSCI-RTCW, received 98 submissions of which 18 papers were accepted. For the Research Track on Mobile Computing, Wireless Networks and Security, CSCI-RTMC, 7 papers were accepted from 31 submissions. They were organized in topical sections on Cyber Warfare, Cyber Defense and Cyber Security; and Mobile Computing, Wireless Networks and Security.
R 3,324.87
Computational Science and High Performance Computing
ThisvolumeispublishedastheproceedingsoftheRussian-GermanAdvanced Research workshop on Computational Science and High Performance C- puting in Novosibirsk Academgorodok in September 2003. The contributions of these proceedings were provided and edited by the authors, chosen after a careful selection and reviewing. The workshop was organized by the Institute of Computational Techno- gies SB RAS (Novosibirsk, Russia) and the High Performance Computing Center Stuttgart (Stuttgart, Germany). The objective was the discussion of the latest results in computational science and to develop a close coope- tion between Russian and German specialists in the above-mentioned ?eld. The main directions of the workshop are associated with the problems of computational hydrodynamics, application of mathematical methods to the development of new generation of materials, environment protection pr- lems, development of algorithms, software and hardware support for hi- performance computation, and designing modern facilities for visualization of computational modelling results. The importance of the workshop topics was con?rmed by the partici- tion of representatives of major research organizations engaged in the so- tion of the most complex problems of mathematical modelling, development of new algorithms, programs and key elements of new information techno- gies. Among the Russian participants were researchers of the Institutes of the Siberian Branch of the Russian Academy of Sciences: Institute of Com- tational Technologies, Institute of Computational Mathematics and Mat- matical Geophysics, Institute of Computational Modelling, Russian Federal Nuclear Center, All-Russian Research Institute of Experimental Physics, - merovo State University.
R 6,019.96
Theoretical Computer Science
This book constitutes the refereed proceedings of the 41st National Conference on Theoretical Computer Science, NCTCS 2023, held in Guangzhou, China, during July 21–23, 2023.The 16 full papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: theoretical computer science, algorithm complexity, artificial intelligence, algorithm design, machine learning theory, computational model, formal methods, network security, software and application security.
R 3,315.30
Cognitive Informatics, Computer Modelling, and Cognitive Science
Cognitive Informatics, Computer Modelling, and Cognitive Science: Theory, Case Studies, and Applications presents the theoretical background and history of cognitive science to help readers understand its foundations, philosophical and psychological aspects, and applications in a wide range of engineering and computer science case studies. Cognitive science, a cognitive model of the brain, knowledge representation, and information processing in the human brain are discussed, as is the theory of consciousness, neuroscience, intelligence, decision-making, mind and behavior analysis, and the various ways cognitive computing is used for information manipulation, processing and decision-making. Mathematical and computational models, structures and processes of the human brain are also covered, along with advances in machine learning, artificial intelligence, cognitive knowledge base, deep learning, cognitive image processing and suitable data analytics.
R 4,414.00
Foundations of Computer Science
This book constitutes an anthology of refereed papers arranged to acknowledge the work of Wilfried Brauer on the occasion of his sixtieth birthday. The volume presents 49 revised refereed papers organized in topical sections on computer science and its potential, social implications of computer science, formal languages and automata, structures and complexity theory, Petri nets, systems analysis and distributed systems, software engineering and verification, cognition and artificial intelligence, knowledge representation and reasoning, machine learning, neural networks and robotics, language and information systems.
R 3,075.97
Mathematical Foundations of Computer Science 1993
This volume contains the proceedings of the 18thInternational Symposium on Mathematical Foundations ofComputer Science, MFCS '93, held in Gdansk, Poland,August-September 1993.The MFCS symposia, organized annually in Poland and theformer Czechoslovakia since 1972, have a long andwell-established tradition. Over the years they have servedas a meeting ground for specialists from all branches oftheoretical computer science, in particular- algorithms and complexity, automata theory and theory oflanguages,- concurrent, distributed and real-time systems,- the theory of functional, logic and object-orientedprogramming,- lambda calculus and type theory,- semantics and logics of programs,and others. The volume contains 12 invitedlectures and 56contributed papers selected from 133 submissions.
R 1,638.51
Computer Science - Theory and Applications
This book features the refereed proceedings of the 2nd International Symposium on Computer Science in Russia held in September 2007. The 35 papers cover theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory; and applications of logic to computer science. Many applications are presented.
R 1,578.72
Computer Science Why
CS Why is a book that presents a straightforward, curiosity-based approach to filling in the blanks around common, introductory material taught in Computer Science classes. If you have ever wondered "why is that?" about a programming phenomenon, historical tidbit, or common terminology, this book may have an answer that explains it.Questions include:Why do computers have trouble with floating point numbers?Why is it called Bluetooth? Why does it use that symbol?Why is it called bootstrapping?Why don't modifications to function parameters persist once the function returns?Why do we use the QWERTY keyboard?... and many more.Perfect for both students and IT professionals, this book provides the clear “why” to answer so many unstated CS questions. Take any example in the book, from base 2 to timezones, and you will have an answer that cements your insight on the “why” of the topic, reinforcing your rote memorization with deeper understanding and insight.
R 9,293.37
SOFSEM 2017: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 43rd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2017, held in Limerick, Ireland, in January 2017. The 34 papers presented in this volume were carefully reviewed and selected from 41 submissions. They were organized in topical sections named: foundations in computer science; semantics, specification and compositionality; theory of mobile and distributed systems; verification and automated system analysis; petri nets, games and relaxed data structures; graph theory and scheduling algorithms; quantum and matrix algorithms; planar and molecular graphs; coloring and vertex covers; algorithms for strings and formal languages; data, information and knowledge engineering; and software engineering: methods, tools, applications.
R 2,213.28
Mathematical Foundations of Computer Science 2015
This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015. The 82 revised full papers presented together with 5 invited talks were carefully selected from 201 submissions. The papers feature high-quality research in all branches of theoretical computer science. They have been organized in the following topical main sections: logic, semantics, automata, and theory of programming (volume 1) and algorithms, complexity, and games (volume 2).
R 2,204.17
OCR GCSE (9-1) J277 Computer Science
The aim of this book is to provide a comprehensive and accessible text for students, covering Papers 1 and 2 in the latest OCR GCSE J277 Computer Science specification. It will be invaluable both as a course text and in revision for students nearing the end of the course. It is divided into eight sections, each broken down into manageable chapters of roughly one lesson. Sections 6 and 7 of the textbook cover algorithms and programming fundamentals with a theoretical approach to provide students with experience of writing, tracing and debugging pseudocode solutions without the aid of a computer. These sections would complement practical programming experience.Each of the eight sections cover one of the major topics in this course, and each subtopic contains sample examination questions from past papers, which can be set as homework.
R 994.00
GCSE Computer Science OCR Revision Question Cards
To really put your GCSE Computer Science knowledge to the test, try these superb CGP Revision Question Cards! There are 64 cards in the pack, covering every Grade 9-1 OCR topic. Each one starts off with quick questions to warm you up, followed by harder questions to get your brain into top gear. Questions cover computer systems, data representation, networks, issues, algorithms and programming. Amazing! Flip the card over and you'll find full answers to each question, carefully written to help you understand everything you need to know. Plus, there's a revision tip on each card! You'll find matching study notes for the whole course in CGP's OCR GCSE Computer Science Revision Guide (9781789085563).
R 410.00
Logic And Language Models For Computer Science (Third Edition)
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.
R 3,383.57
Computational Science – ICCS 2025 Workshops
The 6-volume set constitutes the workshop 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,141.53
Computer Science - Theory and Applications
This book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, held in Moscow, Russia, June 7-12, 2008. The 33 revised papers presented together with 5 invited papers and one opening lecture were carefully reviewed and selected from 103 submissions. All major areas in computer science are addressed. The theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal languages, automata and their applications to computer science; computational models and concepts; proof theory and applications of logic to computer science. The application part comprises programming and languages; computer architecture and hardware design; symbolic computing and numerical applications; application software; artificial intelligence and robotics.
R 1,577.39
R 1,236.00
Emerging Trends in Computer Science and Its Application
The conference brought together a diverse group of scholars, researchers, and industry professionals to engage in meaningful discussions and share insights on cutting-edge trends in artificial intelligence, machine learning, data science, and their multifaceted applications. This collaboration and knowledge exchange fostered an environment of innovation, making the conference a successful and impactful event for all participants. It aimed to highlight these significant advancements and serve as a valuable resource for researchers, academicians, and practitioners who wish to stay informed about the recent innovations and methodologies shaping the landscape of computational intelligence. By showcasing a wide range of research topics and practical implementations, it not only addressed the current challenges but also inspired new ideas and approaches for future research.
R 3,117.49
Computer Science -- Theory and Applications
This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing Year 2012, the topics dealt with cover substantial parts of theoretical computer science and its applications.
R 1,564.46
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 2,528.00
R 2,668.00
High Performance Computing in Science and Engineering, Garching 2004
This volume of High Performance Computing in Science and Engineering is fully dedicated to the final report of KONWIHR, the Bavarian Competence Network for Technical and Scientific High Performance Computing. It includes the transactions of the final KONWIHR workshop, that was held at Technische Universität München, October 14-15, 2004, as well as additional reports of KONWIHR research groups. KONWIHR was established by the Bavarian State Government in order to support the broad application of high performance computing in science and technology throughout the country. KONWIHR is a supporting action to the installation of the German supercomputer Hitachi SR 8000 in the Leibniz Computing Center of the Bavarian Academy of Sciences. The report covers projects from basic research in computer science to develop tools for high performance computing as well as applications from biology, chemistry, electrical engineering, geology, mathematics, physics, computational fluid dynamics, materials science and computer science.
R 3,709.28
R 2,320.00
Advances in Computer Science for Engineering and Education IV
This book comprises high-quality refereed research papers presented at the Fourth International Conference on Computer Science, Engineering and Education Applications (ICCSEEA2021), held in Kyiv, Ukraine, on January 23–24, 2021, organized jointly 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. The topics discussed in the book include state-of-the-art papers in computer science, artificial intelligence, engineering techniques, genetic coding systems, deep learning with its medical applications, and knowledge representation with its applications in education. It is an excellent source of references for researchers, graduate students, engineers, management practitioners, and undergraduate students interested in computer science and their applications in engineering and education.
R 6,239.07
Mathematical Foundations of Computer Science 2013
This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.
R 1,648.21
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,342.77
