Search results for "Computer Science Academy"
Items we need to order for you
Mathematical Foundations of Computer Science
Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mostly of a set-theoretical nature (sets, functions and relations, partially ordered sets, induction, enumerability, and diagonalization) and illustrates the usefulness of mathematical ideas by presenting applications to computer science. Readers will find useful applications in algorithms, databases, semantics of programming languages, formal languages, theory of computation, and program verification. The material is treated in a straightforward, systematic, and rigorous manner. The volume is organized by mathematical area, making the material easily accessible to the upper-undergraduate students in mathematics as well as in computer science and each chapter contains a large number of exercises. The volume can be used as a textbook, but it will also be useful to researchers and professionals who want a thorough presentation of the mathematical tools they need in a single source. In addition, the book can be used effectively as supplementary reading material in computer science courses, particularly those courses which involve the semantics of programming languages, formal languages and automata, and logic programming.
R 1,579.74
Theoretical Computer Science
This book constitutes the refereed proceedings of the 43rd National Conference on Theoretical Computer Science, NCTCS 2025, held in Kunming, China, during August 3-5, 2025. The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 83 submissions. They were organized in topical sections as follows: Algorithm Design; Logic; Artificial Intelligence Theory and Algorithm; and Algorithm Application.
R 3,117.13
Improving Computer Science Education
Improving Computer Science Education examines suitable theoretical frameworks for conceptualizing teaching and learning computer science. This highly useful book provides numerous examples of practical, "real world" applications of major computer science information topics, such as:• Spreadsheets• Databases• ProgrammingEach chapter concludes with a section that summarzies recommendations for teacher professional development. Traditionally, computer science education has been skills-focused and disconnected from the reality students face after they leave the classroom. Improving Computer Science Education makes the subject matter useful and meaningful by connecting it explicitly to students' everyday lives.
R 2,265.45
R 4,707.00
High Performance Computing in Science and Engineering, Munich 2002
High-Performance Computers (HPC) have initiated a revolutionary develop ment in research and technology since many complex and challenging prob lems in this area can only be solved by HPC and a network in modeling, algo rithms and software. In 1998 the Deutsche Forschungsgemeinschaft (German Research Association) recommended to install an additional Federal High Performance Computer followed by the one in Stuttgart. In January 1999 the Wissenschaftsrat (German Science Council) decided that the Leibniz Rechenzentrum (Computing Center) of the Bavarian Academy of Sciences in Munich should run the second Federal High-Performance Computer in Ger many. The investment cost of this Hochstleistungsrechner in Bayern (HLRB) was borne by the Federal Government of Germany and the Free State of Bavaria whereas the operating cost was at the expense of the Bavarian Gov ernment only. The operation of the HLRB is organized in combination with the - Leibniz-Rechenzentrum (LRZ) of the Bavarian Academy of Sciences as the operating authority of the HLRB - Steering Committee of the HLRB - Competence Network for Technical/Scientific High-Performance Comp- ing in Bavaria (KONWIHR). In 2000 a Hitachi SR8000-Fl was installed. It was the first Teraflops Com puter in Germany and reached a peak performance of two Teraflops after an extension at the end of 2001. The goal of HLRB is to provide computer facil ities necessary to solve challenging scientific and technological problems that cannot be solved on big servers but require large (storage) high-performance (very fast) computers and efficient software.
R 2,015.00
Exploring Computer Science with Scheme
A presentation of the central and basic concepts, techniques, and tools of computer science, with the emphasis on presenting a problem-solving approach and on providing a survey of all of the most important topics covered in degree programmes. Scheme is used throughout as the programming language and the author stresses a functional programming approach to create simple functions so as to obtain the desired programming goal. Such simple functions are easily tested individually, which greatly helps in producing programs that work correctly first time. Throughout, the author aids to writing programs, and makes liberal use of boxes with "Mistakes to Avoid." Programming examples include: * abstracting a problem; * creating pseudo code as an intermediate solution; * top-down and bottom-up design; * building procedural and data abstractions; * writing progams in modules which are easily testable. Numerous exercises help readers test their understanding of the material and develop ideas in greater depth, making this an ideal first course for all students coming to computer science for the first time.
R 4,923.22
R 402.00
R 956.49
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 2,564.00
Computer Science – Theory and Applications
This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017. The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 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; algorithms for concurrent and distributed systems, networks; applications of logic to computer science, e.g. proof theory, model checking and verification; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing.
R 1,564.16
Pearson REVISE Edexcel GCSE (9-1) Computer Science Revision Guide: For 2024 and 2025 assessments and exams - incl. free online edition
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 Check your understanding with worked examples Develop your exam technique with exam-style practice questions and full answers Speed up your revision with helpful hints and tips Track your revision progress with at-a-glance check boxes Aim higher with target grades for every question and worked example. Also available: Pearson Revise Revision Workbook (ISBN 9781292360058) Practise every topic in this book with the accompanying PearsonEdexcel GCSE (9–1) Computer Science Revision Workbook. It gives you targetgrades for every question, guided practice and a 1-to-1 page match with this RevisionGuide.
R 331.00
Theoretical Computer Science
This book constitutes the refereed proceedings of the 40th National Conference on Theoretical Computer Science, NCTCS 2022, held in Changchun, China, during July 29–31, 2022.The 13 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: computational theory and model; approximation algorithms; artificial intelligence; and system and resource scheduling.
R 3,316.77
Fundamentals of Discrete Math for Computer Science
This clearly written textbook presents an accessible introduction to discrete mathematics for computer science students, offering the reader an enjoyable and stimulating path to improve their programming competence. The text empowers students to think critically, to be effective problem solvers, to integrate theory and practice, and to recognize the importance of abstraction. Its motivational and interactive style provokes a conversation with the reader through a questioning commentary, and supplies detailed walkthroughs of several algorithms.This updated and enhanced new edition also includes new material on directed graphs, and on drawing and coloring graphs, in addition to more than 100 new exercises (with solutions to selected exercises).Topics and features: assumes no prior mathematical knowledge, and discusses concepts in programming as and when they are needed; designed for both classroom use and self-study, presenting modular and self-contained chapters that follow ACM curriculum recommendations; describes mathematical processes in an algorithmic manner, often supported by a walkthrough demonstrating how the algorithm performs the desired task; includes an extensive set of exercises throughout the text, together with numerous examples, and shaded boxes highlighting key concepts; selects examples that demonstrate a practical use for the concept in question.Students embarking on the start of their studies of computer science will find this book to be an easy-to-understand and fun-to-read primer, ideal for use in a mathematics course taken concurrently with their first programming course.
R 1,997.35
Computer Science – Theory and Applications
This book constitutes the proceedings of the 14th International Computer Science Symposium in Russia, CSR 2019, held in Novosibirsk, Russia, in July 2019.The 31 full papers were carefully reviewed and selected from 71 submissions. The papers cover a wide range of topics such as algorithms and data structures; computational complexity; randomness in computing; approximation algorithms; combinatorial optimization; constraint satisfaction; computational geometry; formal languages and automata; codes and cryptography; combinatorics in computer science; applications of logic to computer science; proof complexity; fundamentals of machine learning; and theoretical aspects of big data.
R 2,189.76
Studies in Computer Science
Samuel D. Conte: Introduction; F. Haas. Computer Science: Past and Future: Worldnet; P.J. Denning. The Origins of Computing and Computer Science at Purdue University; S. Rosen, J.R. Rice. History of the Computer Sciences Department at Purdue University; J.R. Rice, S. Rosen. An Overview of the Carnegie Mellon University Master of Software Engineering Program; N.E. Gibbs. Lessons Learned in Building a Successful Undergraduate Information Systems Academic Program; T.I.M. Ho. Research Contributions: Polynomial Interpolation in Several Variables; C. de Boor. An Exterior Point Algorithm for Linear Programming Implemented on the SX2 Supercomputer; L.D. Pyle, S.H. Kim. Parallel Multilevel Methods; D.M. Young, Jr., B. Vona. Using Algebraic Geometry for Multivariate Hermite Interpolation; C.L. Bajaj. Toward Formalizing Control Systems Simulation Software; J.E. Hollingsworth. On the Sensitivity of Differential Equations; R.V.M. Zahar. 3 additional articles. Index.
R 2,793.65
Theoretical and Mathematical Foundations of Computer Science
This book constitutes the refereed post-proceedings of the Second International Conference on Theoretical and Mathematical Foundations of Computer Science, ICTMF 2011, held in Singapore in May 2011. The conference was held together with the Second International Conference on High Performance Networking, Computing, and Communication systems, ICHCC 2011, which proceedings are published in CCIS 163. The 84 revised selected papers presented were carefully reviewed and selected for inclusion in the book. The topics covered range from computational science, engineering and technology to digital signal processing, and computational biology to game theory, and other related topices.
R 4,326.16
Theoretical Computer Science
Juraj Hromkovic takes the reader on an elegant route through the theoretical fundamentals of computer science. The author shows that theoretical computer science is a fascinating discipline, full of spectacular contributions and miracles. The book also presents the development of the computer scientist's way of thinking as well as fundamental concepts such as approximation and randomization in algorithmics, and the basic ideas of cryptography and interconnection network design.
R 3,312.02
Probability and Statistics for Computer Science
This textbook is aimed at computer science undergraduates late in sophomore or early in junior year, supplying a comprehensive background in qualitative and quantitative data analysis, probability, random variables, and statistical methods, including machine learning.With careful treatment of topics that fill the curricular needs for the course, Probability and Statistics for Computer Science features:• A treatment of random variables and expectations dealing primarily with the discrete case.• A practical treatment of simulation, showing how many interesting probabilities and expectations can be extracted, with particular emphasis on Markov chains.• A clear but crisp account of simple point inference strategies (maximum likelihood; Bayesian inference) in simple contexts. This is extended to cover some confidence intervals, samples and populations for random sampling with replacement, and the simplest hypothesis testing.• A chapter dealing with classification, explaining why it’s useful; how to train SVM classifiers with stochastic gradient descent; and how to use implementations of more advanced methods such as random forests and nearest neighbors.• A chapter dealing with regression, explaining how to set up, use and understand linear regression and nearest neighbors regression in practical problems.• A chapter dealing with principal components analysis, developing intuition carefully, and including numerous practical examples. There is a brief description of multivariate scaling via principal coordinate analysis. • A chapter dealing with clustering via agglomerative methods and k-means, showing how to build vector quantized features for complex signals.Illustrated throughout, each main chapter includes many worked examples and other pedagogical elements such as boxed Procedures, Definitions, Useful Facts, and Remember This (short tips). Problems and Programming Exercises are at the end of each chapter, with a summary of what the reader should know. Instructor resources include a full set of model solutions for all problems, and an Instructor's Manual with accompanying presentation slides.
R 2,015.00
R 665.99
Theoretical Computer Science
This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2017, held in Wuhan, Hubei, China, in October 2017. The 25 full papers presented were carefully reviewed and selected from 84 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 2,186.53
SOFSEM 2023: Theory and Practice of Computer Science
This book constitutes the conference proceedings of the 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, held in Nový Smokovec, Slovakia, during January 15–18, 2023.The 22 full papers presented together with 2 best papers and 2 best students papers in this book were carefully reviewed and selected from 43 submissions.This workshop focuses on graphs problems and optimization; graph drawing and visualization; NP-hardness and fixed parameter tractability; communication and temporal graphs; complexity and learning; and robots and strings.
R 3,337.20
R 1,368.00
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 8,059.00
Computer Science – Theory and Applications
This book constitutes the proceedings of the 16th International Computer Science Symposium in Russia, CSR 2021, held in Sochi, Russia, in June/July 2021.The 28 full papers were carefully reviewed and selected from 68 submissions. The papers cover a broad range of topics, such as formal languages and automata theory, geometry and discrete structures; theory and algorithms for application domains and much more.
R 1,588.56
3D Data Science with Python
Our physical world is grounded in three dimensions. To create technology that can reason about and interact with it, our data must be 3D too. This practical guide offers data scientists, engineers, and researchers a hands-on approach to working with 3D data using Python. From 3D reconstruction to 3D deep learning techniques, you'll learn how to extract valuable insights from massive datasets, including point clouds, voxels, 3D CAD models, meshes, images, and more.Dr. Florent Poux helps you leverage the potential of cutting-edge algorithms and spatial AI models to develop production-ready systems with a focus on automation. You'll get the 3D data science knowledge and code to:Understand core concepts and representations of 3D dataLoad, manipulate, analyze, and visualize 3D data using powerful Python librariesApply advanced AI algorithms for 3D pattern recognition (supervised and unsupervised)Use 3D reconstruction techniques to generate 3D datasetsImplement automated 3D modeling and generative AI workflowsExplore practical applications in areas like computer vision/graphics, geospatial intelligence, scientific computing, robotics, and autonomous drivingBuild accurate digital environments that spatial AI solutions can leverageFlorent Poux is an esteemed authority in the field of 3D data science who teaches and conducts research for top European universities. He's also head professor at the 3D Geodata Academy and innovation director for French Tech 120 companies.
R 1,824.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,050.63
Cambridge International AS & A Level Computer Science Revision Guide
This series is for the Cambridge International AS & A Level Computer Science syllabus (9618) for examination from 2021. Developed by an experienced author and examiner team, this revision guide accompanies the coursebook and is written for the Cambridge International AS & A Level Computer Science syllabus (9618). It encourages students to practise their skills to help prepare them for the examination. The guide provides all the explanations to concepts that students have learnt throughout the course with a wealth of extra practice opportunities. Answers to questions are at the back of the book, so students are free to study in their own time.
R 1,081.00
Introduction to Computer Science
Introduction to Computer Science introduces students to the fundamentals of computer science by connecting the dots between applications they use every day and the underlying technologies that power them. Throughout, students learn valuable technical skills including how to write simple JavaScript programs, format a webpage with HTML and CSS code, reduce the size of a file, and more.Opening chapters of the text provide students with historical background, describe the numbering systems that computers operate with, and explain how computers store and convert data such as images and music. Later chapters explore the anatomy of computer hardware such as CPUs and memory, how computers communicate over networks, and the programming languages that allow us to solve problems using computation. The book concludes with chapters dedicated to security and privacy, the structure and function of operating systems, and the world of e-commerce.Accessible in approach, Introduction to Computer Science is designed to help non-computer science majors learn how technology and computers power the world around them. The text is well suited for introductory courses in computer science.
R 3,842.42
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,974.95
Computer Science, Technology And Application - Proceedings Of The 2016 International Conference On Computer Science, Technology And Application (Csta2016)
The 2016 International Conference on Computer Science, Technology and Application (CSTA2016) were held in Changsha, China on March 18-20, 2016. The main objective of the joint conference is to provide a platform for researchers, academics and industrial professionals to present their research findings in the fields of computer science and technology.The CSTA2016 received more than 150 submissions, but only 67 articles were selected to be included in this proceedings, which are organized into 6 chapters; covering Image and Signal Processing, Computer Network, Algorithm and Simulation, Data Mining and Cloud Computing, Computer Systems and Application, Mathematics and Management.
R 10,456.20
Proceeding of International Conference on Computational Science and Applications
This book consists of high-quality papers presented at the International Conference on Computational Science and Applications (ICCSA 2021), held at Maharashtra Institute of Technology World Peace University, Pune, India, from 10 – 11 December 2021. It covers the latest innovations and developments in information and communication technology, discussing topics such as algorithms, data structures and applications; wireless and mobile networks; computer networks and communications; natural language processing and information theory; cryptography and information security.
R 10,990.00
Carnegie-Mellon Curriculum for Undergraduate Computer Science
This curriculum and its description were developed during the period 1981 - 1984
R 1,542.57
Coalgebraic Methods in Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2018, colocated with ETAPS 2018, held in Thessaloniki, Greece, in April 2018.The 10 revised full papers were carefully reviewed and selected from 17 submissions. Also included are the extended abstracts of two keynotes/invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
R 2,165.36
Computational Science and High Performance Computing IV
This volume contains 27 contributions to the Forth Russian-German Advanced Research Workshop on Computational Science and High Performance Computing presented in October 2009 in Freiburg, Germany. The workshop was organized jointly by the High Performance Computing Center Stuttgart (HLRS), the Institute of Computational Technologies of the Siberian Branch of the Russian Academy of Sciences (ICT SB RAS) and the Section of Applied Mathematics of the University of Freiburg (IAM Freiburg) The contributions range from computer science, mathematics and high performance computing to applications in mechanical and aerospace engineering. They show a wealth of theoretical work and simulation experience with a potential of bringing together theoretical mathematical modelling and usage of high performance computing systems presenting the state of the art of computational technologies.
R 6,877.96
R 611.00
