Search results for "Computer Science Academy"
Items we need to order for you
R 824.00
Advances in Core Computer Science-Based Technologies
This book introduces readers to some of the most significant advances in core computer science-based technologies. At the dawn of the 4th Industrial Revolution, the field of computer science-based technologies is growing continuously and rapidly, and is developing both in itself and in terms of its applications in many other disciplines. Written by leading experts and consisting of 18 chapters, the book is divided into seven parts: (1) Computer Science-based Technologies in Education, (2) Computer Science-based Technologies in Risk Assessment and Readiness, (3) Computer Science-based Technologies in IoT, Blockchains and Electronic Money, (4) Computer Science-based Technologies in Mobile Computing, (5) Computer Science-based Technologies in Scheduling and Transportation, (6) Computer Science-based Technologies in Medicine and Biology, and (7) Theoretical Advances in Computer Science with Significant Potential Applications in Technology. Featuring an extensive list of bibliographic references at the end of each chapter to help readers probe further into the application areas of interest to them, this book is intended for professors, researchers, scientists, engineers and students in computer science-related disciplines. It is also useful for those from other disciplines wanting to become well versed in some of the latest computer science-based technologies.
R 4,055.98
R 4,159.00
Encyclopedia of Computer Science and Technology
Algorithms for Designing Multimedia Storage Servers to Models and Architectures
R 13,968.69
Computational Science and Its Applications – ICCSA 2020
The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020. Due to COVID-19 pandemic the conference was organized in an online event.Computational Science is the main pillar of most of the present research, industrial and commercial applications, and plays a unique role in exploiting ICT innovative technologies.The 466 full papers and 32 short papers presented were carefully reviewed and selected from 1450 submissions. Apart from the general track, ICCSA 2020 also include 52 workshops, in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as software engineering, security, machine learning and artificial intelligence, blockchain technologies, and of applications in many fields.
R 4,398.74
Mathematical Foundations of Computer Science 2008
This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008. The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
R 4,144.86
Philosophy of Computer Science
A unique resource exploring the nature of computers and computing, and their relationships to the world. Philosophy of Computer Science is a university-level textbook designed to guide readers through an array of topics at the intersection of philosophy and computer science. Accessible to students from either discipline, or complete beginners to both, the text brings readers up to speed on a conversation about these issues, so that they can read the literature for themselves, form their own reasoned opinions, and become part of the conversation by contributing their own views. Written by a highly qualified author in the field, the book looks at some of the central questions in the philosophy of computer science, including: What is philosophy? (for readers who might be unfamiliar with it)What is computer science and its relationship to science and to engineering?What are computers, computing, algorithms, and programs?(Includes a line-by-line reading of portions of Turing’s classic 1936 paper that introduced Turing Machines, as well as discussion of the Church-Turing Computability Thesis and hypercomputation challenges to it)How do computers and computation relate to the physical world?What is artificial intelligence, and should we build AIs?Should we trust decisions made by computers?A companion website contains annotated suggestions for further reading and an instructor’s manual. Philosophy of Computer Science is a must-have for philosophy students, computer scientists, and general readers who want to think philosophically about computer science.
R 1,382.00
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,710.15
R 373.00
Foundations of Software Science and Computation Structures
This book constitutes the proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2015, held in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.The 28 full papers presented in this volume were carefully reviewed and selected from 93 submissions. They are organized in topical sections named: semantics of programming languages; categorical models and logics; concurrent, probabilistic and timed systems; automata, games, verification; logical aspects of computational complexity; and type theory, proof theory and implicit computational complexity. The book also contains one full paper invited talk.
R 2,203.43
GCSE Computer Science OCR Revision Guide
This fantastic CGP Revision Guide covers everything students will need for the Grade 9-1 OCR GCSE Computer Science course, from Software Systems to Pseudocode! Each topic is clearly explained in plain English, with plenty of helpful examples and tips - and we've included all the details needed for the top grades. For even more Computer Science exam preparation, a matching CGP Exam Practice Workbook is also available (9781789085570).
R 268.00
Advances in Computer Science and Education
CSE2011 is an integrated conference concentration its focus on computer science and education. In the proceeding, you can learn much more knowledge about computer science and education of researchers from all around the world. The main role of the proceeding is to be used as an exchange pillar for researchers who are working in the mentioned fields. In order to meet the high quality of Springer, AISC series, the organization committee has made their efforts to do the following things. Firstly, poor quality paper has been refused after reviewing course by anonymous referee experts. Secondly, periodically review meetings have been held around the reviewers about five times for exchanging reviewing suggestions. Finally, the conference organizers had several preliminary sessions before the conference. Through efforts of different people and departments, the conference will be successful and fruitful.
R 8,503.11
Studies in Computer Science
This book is the proceedings ofa conference held November 1-3, 1989, to honor Samuel D. Conte for his many contributions to computer sci ences at Purdue University and to the profession as a whole. The com puter sciences program reflected the breadth of Conte's interests and ac complishments; there were tributes to Conte, perspectives on computer science itself, and research papers. The first part of these proceedings chronicles the career and contri butions; much of it is based on Conte's remarks made at the conference banquet. The second part of the proceedings starts with one vision of the future of computer sciences given in Peter Denning's keynote address. Historical accounts of building successful educational programs in com puter sciences follow. The third part consists of seven research contribu tions, primarily from past or present colleagues. These include Conte's numerical analysis, computational geometry, and discussions of software engineering. The conference was organized by the Purdue University Department of Computer Sciences and the Software Engineering Research Center at Purdue. Both of these organizations were founded by Conte, so is fitting for them to recognize their founder's achievements in such a con crete way.
R 1,549.76
Logical Foundations of Computer Science
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. The 27 revised full paperswere carefully reviewed and selected from 46 submissions. The scopeof the Symposium is broad and includes constructive mathematics and typetheory; homotopy type theory; logic, automata, and automatic structures;computability and randomness; logical foundations of programming; logicalaspects of computational complexity; parameterized complexity; logicprogramming and constraints; automated deduction and interactive theoremproving; logical methods in protocol and program verification; logical methodsin program specification and extraction; domain theory logics; logicalfoundations of database theory; equational logic and term rewriting; lambda andcombinatory 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 gametheory and social software; logic of hybrid systems; distributed system logics;mathematical fuzzy logic; system design logics; and other logics in computerscience.
R 2,192.98
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 6,228.00
Computer and Information Science 2015
This edited book presents scientific results of the 14th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015) which was held on June 28 – July 1, 2015 in Las Vegas, USA. 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.
R 5,521.53
Foundations of Computing and Machine Learning
This volume is a celebration of Leslie Valiant's scientific and intellectual achievements. It contains eight of Valiant's most impactful research works, along with accompanying contributions providing modern perspectives on these landmark papers in the context of contemporary research in complexity theory, parallel computing, computational learning theory, and machine learning. It also contains a biography of Leslie Valiant, an interview with him, and his Turing Award lecture. In 2010, Valiant received the ACM's Turing Award for "transformative contributions to the theory of computation, including the theory of probably approximately correct (PAC) learning, the complexity of enumeration and of algebraic computation, and the theory of parallel and distributed computing." His research contributions have also been recognized with the International Mathematical Union's Nevanlinna Prize in 1986, the Knuth Prize in 1997, and many other awards. Leslie Valiant has made deep contributions to an unusually broad range of areas within theoretical computer science. Perhaps his most celebrated contribution has been his paper "A Theory of the Learnable," which gave birth to the field of computational learning theory and provided much of the intellectual foundation for the highly successful development of modern machine learning. His pioneering research in computational complexity inaugurated the study of the complexity of counting problems, defining the fundamental "counting complexity" class #P and showing that a wide range of natural counting problems are complete for this class. Valiant defined algebraic analogues of the complexity classes P and NP and established the first completeness results for these classes; this groundbreaking work opened new vistas for the field of algebraic complexity theory that continue to be explored to this day. Valiant also made seminal contributions to the field of parallel computing through his development of the highly impactful Bulk Synchronous Parallel (BSP) model as a "bridging" model between parallel software and parallel hardware, and he gave an unexpected randomized message-routing algorithm for parallel computers, which has been highly influential.
R 3,092.00
SOFSEM 2014: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 40th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2014, held in Nový Smokovec, Slovakia, in January 2014. The 40 revised full papers presented in this volume were carefully reviewed and selected from 104 submissions. The book also contains 6 invited talks. The contributions covers topics as: Foundations of Computer Science, Software and Web Engineering, as well as Data, Information and Knowledge Engineering and Cryptography, Security and Verification.
R 2,214.73
SOFSEM 2015: Theory and Practice of Computer Science
This book constitutes the proceedings of the 41st International Conference on Current Trends in Theory and Practice of Computer Science held in Pec pod Sněžkou, Czech Republic, during January 24-29, 2015.The book features 8 invited talks and 42 regular papers which were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and cryptography, security, and verification.
R 2,227.67
Logic And Language Models For Computer Science (Fourth Edition)
This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques.This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.
R 4,344.79
R 405.00
Theoretical Computer Science
The 9th Italian Conference on Theoretical Computer Science (ICTCS 2005)was held at the Certosa di Pontignano, Siena, Italy, on October 12-14 2005. The Certosa di Pontignano is the conference center of the University of Siena; it is located 8 km away from the town and it is in the Chianti region. The Certosa is a place full of history (founded in the 15th century, it was set on ?re a century later and reconstructed) and of valuable artworks, like frescoes of the Scuola Senese. Previous conferences took place in Pisa (1972), Mantova (1974 and 1989), L'Aquila(1992),Ravello(1995),Prato(1998),Turin(2001)andBertinoro(2003). Theconferenceaimsatbringingtogethercomputerscientists,especiallyyoung researchers, to foster cooperation, exchange of ideas and results. Great e?orts have been made to attract researchers from all over the world. The main t- ics of the conference cover all the ?elds of theoretical computer science and include analysis and design of algorithms, computability, computational c- plexity, cryptography, formal languages and automata, foundations of progr- ming languages and program analysis, foundations of arti?cial intelligence and knowledge representation, foundations of web programming, natural computing paradigms (quantum computing, bioinformatics), parallel and distributed c- putation, program speci?cation and veri?cation, term rewriting, theory of c- currency, theory of data bases, theory of logical design and layout, type theory, security, and symbolic and algebraic computation.
R 1,577.39
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,575.77
Dictionary of Computer Science, Engineering and Technology
A complete lexicon of technical information, the Dictionary of Computer Science, Engineering, and Technology provides workable definitions, practical information, and enhances general computer science and engineering literacy. It spans various disciplines and industry sectors such as: telecommunications, information theory, and software and hardware systems. If you work with, or write about computers, this dictionary is the single most important resource you can put on your shelf.The dictionary addresses all aspects of computing and computer technology from multiple perspectives, including the academic, applied, and professional vantage points. Including more than 8,000 terms, it covers all major topics from artificial intelligence to programming languages, from software engineering to operating systems, and from database management to privacy issues. The definitions provided are detailed rather than concise. Written by an international team of over 80 contributors, this is the most comprehensive and easy-to-read reference of its kind. If you need to know the definition of anything related to computers you will find it in the Dictionary of Computer Science, Engineering, and Technology.
R 11,239.83
R 1,397.00
Computational Science and Computational Intelligence
This CCIS book constitutes selected papers accepted in the Research Track on Big Data and Data Science and the Research Track on Social Network Analysis, Social Media and Mining held as part of the 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 Big Data and Data Science, CSCI-RTBD, received 72 submissions of which 18 papers were accepted. For the Research Track on Social Network Analysis, Social Media and Mining, CSCI-RTNA, 7 papers were accepted from 41 submissions. They were organized in topical sections on Big Data and Data Science - applications and algorithms; Social Network Analysis, Social Media, and Mining; and Ongoing Research Projects and Posters.
R 3,322.63
Computer and Information Science
This edited book presents scientific results of the 13th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2014) which was held on June 4-6, 2014 in Taiyuan, 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. This publication captures 14 of the conference’s most promising papers, and we impatiently await the important contributions that we know these authors will bring to the field of computer and information science.
R 3,024.83
Smart STEM-Driven Computer Science Education
At the centre of the methodology used in this book is STEM learning variability space that includes STEM pedagogical variability, learners’ social variability, technological variability, CS content variability and interaction variability. To design smart components, firstly, the STEM learning variability space is defined for each component separately, and then model-driven approaches are applied. The theoretical basis includes feature-based modelling and model transformations at the top specification level and heterogeneous meta-programming techniques at the implementation level.Practice includes multiple case studies oriented for solving the task prototypes, taken from the real world, by educational robots. These case studies illustrate the process of gaining interdisciplinary knowledge pieces identified as S-knowledge, T-knowledge, E-knowledge, M-knowledge or integrated STEM knowledge and evaluate smart components from the pedagogical and technological perspectives based on data gathered from one real teaching setting. Smart STEM-Driven Computer Science Education: Theory, Methodology and Robot-based Practices outlines the overall capabilities of the proposed approach and also points out the drawbacks from the viewpoint of different actors, i.e. researchers, designers, teachers and learners.
R 3,052.32
Formal Methods in Computer Science
Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification. The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.Features* Introduces a comprehensive, yet manageable set of formal techniques for computer science students* Stresses real-world application value of each formal technique* Offers a good set of exercises which help students better understand the presented techniques* Also offers a prepared source code for downloading and non-commercial use
R 5,055.36
R 1,993.70
R 1,043.31
R 355.00
Study and Research Guide in Computer Science
Computer science departments at universities in the U.S.A.are world renowned. This handy reference guide givesdetailed profiles of 40 of the best known among them. Theprofiles are organized in a uniform layout to present basicinformation, faculty, curriculum, courses for graduatestudents, affiilated institutions, facilities, researchareas, funding, selected projects, and collaborations. Twofull alphabetical listings of professors are included, onegiving their universities and the other their researchareas. The guide will be indispensible for anyone - studentor faculty, not only in the U.S.A. - interested in researchand education in computer science in the U.S.A.
R 1,254.00
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.
R 1,593.56
Academic Life
In this book, the author presents his observations and thoughts related to academic life in Poland and in Western countries. For over 50 years, he was its participant, going from a student at Adam Mickiewicz University to a full professor. In this book, he refers to those problems that have appeared in academic life in recent decades. However, not only to them, because they were related in various ways to those that have existed since the establishment of the first academies. In each case, he treated it as a voice in discussions on the tasks of the academic community and the possibilities of their implementation in specific social realities.
R 2,000.00
Coalgebraic Methods in Computer Science
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
R 4,640.65
Foundations of Software Technology and Theoretical Computer Science
This volume contains the proceedings of the EleventhConference on Foundations of Software Technology andTheoretical Computer Science held in New Dehli, IndiaDecember 17-19, 1991. Three invited papers and 25contributed papers selected from 78 submissions by authorsfrom many different countries reflect the current researchconcerns of the theoreticalcomputer science community. Thetopics covered include:-Algorithms (sequential, parallel and geometric)-Automata theory-Functional programming-Learning-Logic of programs-Semantics-Structural complexity theory-Type theory.
R 1,578.84
Computer Science Protecting Human Society Against Epidemics
This book constitutes the refereed post-conference proceedings of the First IFIP TC 5 International Conference on Computer Science Protecting Human Society Against Epidemics, ANTICOVID 2021, held virtually in June 2021.The 7 full and 4 short papers presented were carefully reviewed and selected from 20 submissions. The papers are concerned with a very large spectrum of problems, ranging from linguistics for automatic translation of medical terms, to a proposition for a worldwide system of fast reaction to emerging pandemic.
R 2,741.74
Advances in Computer Science, Environment, Ecoinformatics, and Education
This 5-volume set (CCIS 214-CCIS 218) constitutes the refereed proceedings of the International Conference on Computer Science, Environment, Ecoinformatics, and Education, CSEE 2011, held in Wuhan, China, in July 2011.The 525 revised full papers presented in the five volumes were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on information security, intelligent information, neural networks, digital library, algorithms, automation, artificial intelligence, bioinformatics, computer networks, computational system, computer vision, computer modelling and simulation, control, databases, data mining, e-learning, e-commerce, e-business, image processing, information systems, knowledge management and knowledge discovering, mulitimedia and its apllication, management and information system, moblie computing, natural computing and computational intelligence, open and innovative education, pattern recognition, parallel and computing, robotics, wireless network, web application, other topics connecting with computer, environment and ecoinformatics, modeling and simulation, environment restoration, environment and energy, information and its influence on environment, computer and ecoinformatics, biotechnology and biofuel, as well as biosensors and bioreactor.
R 3,096.84
Advances in Computer Science for Engineering and Education III
This book comprises high-quality refereed research papers presented at the Third International Conference on Computer Science, Engineering and Education Applications (ICCSEEA2020), held in Kyiv, Ukraine, on 21–22 January 2020, organized jointly by 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 8,059.00
