Search results for "Computer Science with C"
Items we need to order for you
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
R 519.00
R 4,301.00
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
Guide to Distributed Algorithms
The study of distributed algorithms provides the needed background in many real-life applications, such as: distributed real-time systems, wireless sensor networks, mobile ad hoc networks and distributed databases.The main goal of Guide to Distributed Algorithms is to provide a detailed study of the design and analysis methods of distributed algorithms and to supply the implementations of most of the presented algorithms in Python language, which is the unique feature of the book not found in any other contemporary books on distributed computing.Topics and features:Presents comprehensive design methods for distributed algorithmsProvides detailed analysis for the algorithms presentedUses graph templates to demonstrate the working of algorithmsProvides working Python code for most of the algorithms presentedThis unique textbook/study manual can serve as a comprehensive manual of distributed algorithms for Computer Science and non-CS majors as well as practitioners of distributed algorithms in research projects.
R 2,564.00
Foundations of Software Technology and Theoretical Computer Science
This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, - natural language processing, complexity theory and logic. The 26 submitted papers are organized into sections on logic, automata and formal languages, theory of programming, parallel algorithms, geometric algorithms, concurrency, distributed computing, and semantics.
R 1,594.28
Introduction to Theory of Computation
This textbook aims to provide a comprehensive introduction to the theory of computation for upper-level undergraduate students and first-year graduate students in computer science and related disciplines. It covers a wide range of foundational topics essential for understanding the principles and applications of computation.The book begins with regular languages, exploring finite automata, nondeterministic finite automata, regular expressions, and the equivalence among these apparatuses. It explores state minimization and the Myhill-Nerode Theorem, offering techniques such as pumping lemmas to identify non-regular languages and using the Myhill-Nerode Theorem for non-regularity proofs. Additionally, the closure properties of regular languages are examined.Context-free languages are another focal point, where the text discusses context-free grammars, Chomsky normal form grammars, pushdown automata, and their equivalences. The book includes pumping lemmas and closure properties using CNF grammars and PDA analysis, as well as identifying non-context-free languages and understanding leftmost derivations.Turing machine models are thoroughly covered, with various models and simulations explained. The book outlines configurations, the Church-Turing Thesis, and differentiates between recursive and recursively enumerable languages.Decidability and undecidability are critical topics in the text, addressing decidable problems, diagonalization, the halting problem, and Rice’s Theorem. It also provides a characterization of decidability, discusses the Post Correspondence Problem, and examines the lower levels of the arithmetical hierarchy.The textbook also delves into computational complexity classes, defining time and space complexity classes, and presenting efficient simulations and hierarchy theorems, including the Hennie-Stearns Theorem. It includes examples of problems in P and NP, providing a clear understanding of these classifications.NP-completeness is explored in detail, covering SAT and 3SAT, canonical complete problems, and various NP-complete problems. The book extends to space complexity classes, discussing PSPACE complete problems, NL-complete problems, and proving that NL=coNL.Finally, the text ventures beyond NP-completeness, discussing Ladner’s construction of non-NPC sets, randomized complexity classes, and concepts such as BPP and the polynomial hierarchy. It also examines polynomial size circuits, providing a comprehensive view of the landscape of computational complexity.
R 3,297.00
Introduction to Bioinformatics and Clinical Scientific Computing
This textbook provides an introduction to computer science theory, informatics best practice, and the standards and legislation that apply to computing in a healthcare environment. It delivers an accessible discussion of databases (construction, interrogation and maintenance); networking (design and low-level application); programming (best practice rather than the specifics of any one language – design, maintenance, safety). It can be used to accompany the NHS Modernising Scientific Careers syllabus. It is also targeted towards those creating software rather than those using it, particularly computer scientists working in healthcare, specifically those in or close to the Physical Sciences, including radiotherapy, nuclear medicine, and equipment management and those working with genomics and health informatics. Features Combines all topics into one comprehensive introduction. Explores practical applications of theory to healthcare. Can be used to accompany the NHS Modernising Scientific Careers syllabus.
R 2,817.87
Foundations of Software Science and Computational Structures
The present volume contains the proceedings of the international conference Foundations of Software Science and Computation Structures(FOSSACS)2003, held in Warsaw, Poland, April 7-9, 2003. FOSSACS is an event of the Joint European Conferences on Theory and Practice of Software (ETAPS). The pre- ous ?ve FOSSACS conferences took place in Lisbon (1998), Amsterdam (1999), Berlin (2000), Genoa (2001), and Grenoble (2002). FOSSACS presents original papers on foundational researchwith a clear s- ni?cancetosoftwarescience.TheProgramCommitteeinvitedpapersontheories and methodsto supportthe analysis,integration,synthesis,transformation,and veri?cation of programs and software systems. We identi?ed the following t- ics, in particular: algebraic models; automata and language theory; behavioural equivalences; categorical models; computation processes over discrete and c- tinuous data; computation structures; logics of programs; modal, spatial, and temporallogics;modelsof concurrent,reactive,distributed, and mobile systems; processalgebrasandcalculi;semanticsofprogramminglanguages;softwaresp- i?cation and re?nement; transition systems; and type systems and type theory.We received 96 submissions, of which 2 were withdrawn. This proceedings consists of 27 papers. The ?rst-A Game Semantics for Generic Polymorphism-accompanies the invited lecture by Samson Abramsky, University of Oxford. The remaining 26 were selected for publication by the Program Committee during a week-long electronic discussion. I sincerely thank all the authors of papers submitted to FOSSACS 2003; the number and the quality of papers were exceptionally high this year. Moreover, I would like to thank all the members of the ProgramCommittee for the excellent job they did during a rather demanding selection process, and to thank all our subreferees for their invaluable contributions to this process.
R 1,582.10
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
Language and the Rise of the Algorithm
A wide-ranging history of the algorithm.Bringing together the histories of mathematics, computer science, and linguistic thought, Language and the Rise of the Algorithm reveals how recent developments in artificial intelligence are reopening an issue that troubled mathematicians well before the computer age: How do you draw the line between computational rules and the complexities of making systems comprehensible to people? By attending to this question, we come to see that the modern idea of the algorithm is implicated in a long history of attempts to maintain a disciplinary boundary separating technical knowledge from the languages people speak day to day. Here, Jeffrey M. Binder offers a compelling tour of four visions of universal computation that addressed this issue in very different ways: G. W. Leibniz’s calculus ratiocinator; a universal algebra scheme Nicolas de Condorcet designed during the French Revolution; George Boole’s nineteenth-century logic system; and the early programming language ALGOL, short for algorithmic language. These episodes show that symbolic computation has repeatedly become entangled in debates about the nature of communication. Machine learning, in its increasing dependence on words, erodes the line between technical and everyday language, revealing the urgent stakes underlying this boundary. The idea of the algorithm is a levee holding back the social complexity of language, and it is about to break. This book is about the flood that inspired its construction.
R 1,161.00
Making and Meanings of a Computing Reference Work
This manuscript is about an artifact, the Encyclopedia of Computer Science (ECS). From the time that computer science was mature enough to have its own reference book until printed reference books began to be eclipsed by online products--that is, roughly the final quarter of the 20th century--ECS was the premiere reference work for this field. A second purpose of this book is to introduce with this important case study a theoretical examination of how one can study the history of a professional field through a deep examination of its reference tools (encyclopedias, dictionaries, atlases, yearbooks, etc.). To better understand ECS, an examination was conducted on the extensive literature about the history of encyclopedias and then used it to ask probing questions about ECS.
R 1,941.49
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
Advances and Applications in Computer Science, Electronics and Industrial Engineering
This book presents the proceedings of the Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2020), held in Ambato in October 2020, with participants from 15 countries and guest speakers from Chile, Colombia, France, Japan, Spain, Portugal, and USA. It discusses topics such as the use of metaheuristic for non-deterministic problem solutions, software architectures for supporting e-government initiatives, and the use of electronics in e-learning and industrial environments. It also includes contributions illustrating how new approaches on these converging research areas are impacting the development of human societies around the world into Society 5.0. As such, it is a valuable resource for scholars and practitioners alike.
R 6,228.00
Foundations of Software Science and Computation Structures
ETAPS 2002 is the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of existing and new conferences. This year it comprises ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), thirteen satellite workshops (ACL2, AGT, CMCS, COCV, DCC, INT, LDTA, SC, SFEDL, SLAP, SPIN, TPTS and VISS), eight invited lectures (not including those that are speci?c to the satellite events), and several tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well within its scope. Di?erent blends of theory and practice are represented, with an inclination towards theory with a practical motivation on one hand and soundly-based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and the emphasis on software is not intended to be exclusive.
R 2,015.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
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
R 779.00
Applied Computer Sciences in Engineering
This book constitutes the 13th Workshop on Engineering Applications, WEA 2026, held in Pereira, Colombia, during October 21–23, 2026.The total of 59 papers included in the proceedings was carefully reviewed and selected from 167 submissions. They were organized in topical sections as follows: Artificial Intelligence; Optimization; Simulation Systems.
R 4,728.78
Computer and Information Science 2021—Summer
This edited book presents scientific results of the 20th IEEE/ACIS International Summer Semi-Virtual Conference on Computer and Information Science (ICIS 2021) held on June 23–25, 2021 in Shanghai, 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 5,106.73
Logic and Its Applications
This book constitutes the refereed proceedings of the 11th Indian Conference on Logic and Its Applications, ICLA 2025, held in Kolkata, India, during February 3–5, 2025. Four out the five invited talks are included in this book. Out of the 26 submissions, the program committee carefully selected 14 papers to be included in the proceedings. The topics included are Mathematics, Computer Science, Philosophy, Linguistics and Cognitive Science. A special feature of ICLA is the inclusion of studies in systems of logic in the Indian tradition, as well as historical research on logic.
R 2,551.86
Mathematics for Digital Science 1
Over the past century, advancements in computer science have consistently resulted from extensive mathematical work. Even today, innovations in the digital domain continue to be grounded in a strong mathematical foundation. To succeed in this profession, both today's students and tomorrow’s computer engineers need a solid mathematical background. The goal of this book series is to offer a solid foundation of the knowledge essential to working in the digital sector. Across three volumes, it explores fundamental principles, digital information, data analysis, and optimization. Whether the reader is pursuing initial training or looking to deepen their expertise, the Mathematics for Digital Science series revisits familiar concepts, helping them refresh and expand their knowledge while also introducing equally essential, newer topics.
R 5,373.00
Computational Science and Its Applications - ICCSA 2003
Computational Science is becoming a vital part of many scienti?c investi- tions, impacting researchers and practitioners in areas ranging from aerospace andautomotiveto chemistry,electronics,geosciences,?nance,mathematics,and physics. Due to the sheer size of many challenges in computational science, the use of supercomputing, parallel processing, and sophisticated algorithms is - evitable. This volume contains the proceedings of The 2003 International Conference on Computational Science and Its Applications (ICCSA 2003), held in M- treal, Canada in May 2003. The papers presented here re?ect the aim of the programcommittee to bring together researchersand scientists from mathem- ics and computer science, the basic computing disciplines, and researchers from various application areas who are pioneering advanced application of compu- tional methods to sciences such as physics, chemistry, life sciences, engineering, arts, and the humanities, along with software developers and vendors, to d- cuss problems and solutions in the area, identify new issues, and shape future directions for research, as well as help industrial users apply various advanced computational techniques.Our outstanding invited speakers outlined the theme for the Conference, consideringsophisticatednumericalcomputationalmethods,emergingcompu- tional solutions, and problems and applications pushing the bounds of advanced computing techniques and hardware. This Conference was held as the ?rst in its series, with an emphasis on C- putational Science and the application of computational science. Interest from researchers and practitioners in this interdisciplinary area has been overwhe- ing, and we are looking forward to future events in this Conference series.
R 4,030.00
Transactions on Computational Science VII
The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings and solutions and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods.The 7th issue of the Transactions on Computational Science journal is devoted to core computational science techniques, such as grid computing, advanced numerical methods, and stochastic systems. It has been divided into two parts. The five papers in Part I focus on computations of stochastic systems and the four papers in Part II focus on computational methods for complex systems.
R 2,015.00
Computational Science/Intelligence & Applied Informatics
This book presents the outcomes of the 5th ACIS International Conference on Computational Science/Intelligence & Applied Informatics (CSII 2018), which was held on July 10–12, 2018 in Yonago, Japan. The aim of the conference was to bring together researchers and scientists, businesspeople and entrepreneurs, teachers, engineers, computer users, and students to discuss the various fields of computer science, to share their experiences, and to exchange new ideas and information in a meaningful way. All aspects (theory, applications and tools) of computer and information science, the practical challenges encountered along the way, and the solutions adopted to solve them are all explored here. The conference organizers selected the best papers from among those accepted for presentation. The papers were chosen on the basis of review scores submitted by members of the program committee and subsequently underwent further rigorous review. Following this second round of review, 13 of the conference’s most promising papers were selected for this Springer (SCI) book. We eagerly await the important contributions that we know these authors will make to the field of computer and information science.
R 3,672.80
Mathematical Foundations of Computer Science 2014
This two volume set LNCS 8634 and LNCS 8635 constitutes the refereed conference proceedings of the 39th International Symposium on Mathematical Foundations of Computer Science, MFCS 2014, held in Budapest, Hungary, in August 2014. The 95 revised full papers presented together with 6 invited talks were carefully selected from 270 submissions. The focus of the conference was on following topics: Logic, Semantics, Automata, Theory of Programming, Algorithms, Complexity, Parallel and Distributed Computing, Quantum Computing, Automata, Grammars and Formal Languages, Combinatorics on Words, Trees and Games.
R 2,220.34
Research in Computer Science
This book constitutes the refereed proceedings of the 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, in Bejaïa, Algeria, in November 23-26, 2024.The 25 full papers included in this book were carefully reviewed and selected from 90 submissions. The conference covers a range of subjects, including optimization and heuristics, cluster analysis, reactive systems, information security, natural language and speech processing, computer Vision and image processing, machine learning and deep learning.
R 6,586.05
Advances in Computer Science and Engineering
This book includes the proceedings of the second International Conference on Advances in Computer Science and Engineering (CES 2012), which was held during January 13-14, 2012 in Sanya, China. The papers in these proceedings of CES 2012 focus on the researchers’ advanced works in their fields of Computer Science and Engineering mainly organized in four topics, (1) Software Engineering, (2) Intelligent Computing, (3) Computer Networks, and (4) Artificial Intelligence Software.
R 12,755.44
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
SOFSEM 2025: Theory and Practice of Computer Science
This book constitutes the proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, held in Bratislava, Slovak Republic, during January 20-23, 2025. The 48 full papers presented in this book were carefully reviewed and selected from 109 submissions. They include original research from all areas of foundations of computer science and artificial intelligence focusing on AI-based algorithms and techniques, nature-inspired computing, machine learning theory, multi-agent algorithms and games, neural network theory, parallel and distributed computing, quantum computing, computability, decidability, classical and non-classical models of computation, computational complexity, computational learning, cryptographic techniques and security, data compression, data and pattern mining methods, discrete combinatorial optimization, automata, languages, machine models, rewriting systems, efficient data structures, graph structure and algorithms, logics of computation, robotics, and other relevant theory topics in computing and AI.
R 2,951.58
Recent Advances in Computer Science and Information Engineering
CSIE 2011 is an international scientific Congress for distinguished scholars engaged in scientific, engineering and technological research, dedicated to build a platform for exploring and discussing the future of Computer Science and Information Engineering with existing and potential application scenarios. The congress has been held twice, in Los Angeles, USA for the first and in Changchun, China for the second time, each of which attracted a large number of researchers from all over the world. The congress turns out to develop a spirit of cooperation that leads to new friendship for addressing a wide variety of ongoing problems in this vibrant area of technology and fostering more collaboration over the world. The congress, CSIE 2011, received 2483 full paper and abstract submissions from 27 countries and regions over the world. Through a rigorous peer review process, all submissions were refereed based on their quality of content, level of innovation, significance, originality and legibility. 688 papers have been accepted for the international congress proceedings ultimately.
R 8,553.77
R 1,289.45
Culture and Computing
This book constitutes the refereed proceedings of the 13th International Conference on Culture and Computing, held as part of the 27th International Conference, HCI International 2025, which took place in Gothenburg, Sweden, during June 22–27, 2025.The total of 1430 papers and 355 posters included in the HCII 2025 proceedings was carefully reviewed and selected from 7972 submissions.Two volumes of the HCII 2025 proceedings are dedicated to this year’s edition of the C&C conference:Part I focuses on topics related to Interactive Cultural Experiences and Traditional Craft Preservation, AI-empowered Art and Computational Creativity, and Virtual, Augmented, and Mixed Reality for Cultural Heritage.Part II focuses on topics related to Interactive Media, Embodied Cognition, and Digital Communication in Cultural Experiences; Health and Well-Being; and Bie-Modernism and Cultural Computing.
R 3,150.21
R 1,160.37
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
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
From Semantics to Computer Science
Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn's achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The authors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.
R 5,259.00
R 1,636.66
Computer Science and Education in Computer Science
This book constitutes the refereed post-conference proceedings of the 18th EAI International Conference on Computer Science and Education in Computer Science, CSECS 2022, held in June 2022 in Sofia, Bulgaria. Due to COVID-19 pandemic the conference was held On-Site and virtually.The 15 full papers and 9 short papers were carefully reviewed and selected from 53 submissions. The papers present are grouped into 2 tracks, i.e., computer science implementations and education in computer science. CSECS conference presents research in software engineering and information systems design, cryptography, the theoretical foundation of the algorithms, and implementation of machine learning and big data technologies. Another important topic of the conference is the education in computer science which includes the introduction and evaluation of computing programs, curricula, and online courses, to syllabus, laboratories, teaching, and pedagogy aspects. The technical and education topics evolved multiple existing and emerging technologies, solutions, and services for design and training providing a heterogeneous approach towards delivering Software 4.0 and Education 4.0 to a broad range of citizens and societies.
R 3,893.50
Frontiers of Algorithmics
This book constitutes the refereed proceedings of the 18th International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2024), consisting of the 18th International Conference on Frontier of Algorithmic Wisdom (FAW) and the 5th International Joint Conference on Theoretical Computer Science (IJTCS), held in Hong Kong, SAR, China, during July 29-31, 2024. FAW started as the Frontiers of Algorithmic Workshop in 2007 at Lanzhou, China, and was held annually from 2007 to 2021 and published archival proceedings. IJTCS, the International joint theoretical Computer Science Conference, started in 2020, aimed to bring in presentations covering active topics in selected tracks in theoretical computer science.To accommodate the diversified new research directions in theoretical computer science, FAW and IJTCS joined their forces together to organize an event for information exchange of new findings and work of enduring value in the field.The 20 full papers and 3 short papers included in this book were carefully reviewed and selected from 43 submissions. They focused tracks on algorithms, blockchain theory, computational economics and algorithmic game theory.
R 2,944.98
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
Culture and Computing
The 14th International Conference on Culture and Computing, C&C 2026, held as part of the 28th International Conference on Human-Computer Interaction, HCI International 2026 (HCII 2026), took place in Montreal, QC, Canada, during July 2026.A total of 7435 individuals from academia, research institutes, industry, and government agencies from 94 countries submitted contributions to HCII 2026. Following peer review, 1463 papers and 360 posters (as short research papers) are included in the volumes of the HCII 2026 proceedings published just before the start of the conference. Two volumes (LNCS 16725 and LNCS 16726 ) of the HCII 2026 proceedings are dedicated to this year’s edition of the C&C conference: · Culture and Computing (Part I): Games and Playful Cultural Engagement; Interactive Narratives, Storytelling, and Co-Creation; Interactive Art, Media and Aesthetic Experiences· Culture and Computing (Part II): Immersive Technologies for Cultural Experiences; Bie-Modernist Cultural Computing; Artificial Intelligence and Computational Culture
R 4,313.79
SOFSEM 2020: Theory and Practice of Computer Science
This book constitutes the refereed proceedings of the 46th International Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2020, held in Limassol, Cyprus, in January 2020. The 40 full papers presented together with 17 short papers and 3 invited papers were carefully reviewed and selected from 125 submissions. They presented new research results in the theory and practice of computer science in the each sub-area of SOFSEM 2020: foundations of computer science, foundations of data science and engineering, foundations of software engineering, and foundations of algorithmic computational biology.
R 2,244.70
R 1,176.52
Second Age of Computer Science
By the end of the 1960s, a new discipline named computer science had come into being. A new scientific paradigm—the 'computational paradigm'—was in place, suggesting that computer science had reached a certain level of maturity. Yet as a science it was still precociously young. New forces, some technological, some socio-economic, some cognitive impinged upon it, the outcome of which was that new kinds of computational problems arose over the next two decades.Indeed, by the beginning of the 1990's the structure of the computational paradigm looked markedly different in many important respects from how it was at the end of the 1960s. Author Subrata Dasgupta named the two decades from 1970 to 1990 as the second age of computer science to distinguish it from thepreceding genesis of the science and the age of the Internet/World Wide Web that followed.This book describes the evolution of computer science in this second age in the form of seven overlapping, intermingling, parallel histories that unfold concurrently in the course of the two decades. Certain themes characteristic of this second age thread through this narrative: the desire for a genuine science of computing; the realization that computing is as much a human experience as it is a technological one; the search for a unified theory of intelligence spanning machines and mind; thedesire to liberate the computational mind from the shackles of sequentiality; and, most ambitiously, a quest to subvert the very core of the computational paradigm itself. We see how the computer scientists of the second age address these desires and challenges, in what manner they succeed or fail andhow, along the way, the shape of computational paradigm was altered.And to complete this history, the author asks and seeks to answer the question of how computer science shows evidence of progress over the course of its second age.
R 2,137.20
