If you know basic high-school math, you can quickly learn and apply the core concepts of computer science with this concise, hands-on book. Led by a team of experts, you’ll quickly understand the diff
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, Ch
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the
This Festschrift volume contains the proceedings of the conference Mathematical Methods in Computer Science, MMICS 2008, which was held during December 17-19, 2008, in Karlsruhe, Germany, in memory of
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 Novy Smokovec, Slovakia, in Janua
Providing an in-depth introduction to fundamental classical and non-classical logics, this textbook offers a comprehensive survey of logics for computer scientists. Logics for Computer Science&nb
At the intersection of astronautics, computer science, and social science, this book introduces the challenges and insights associated with computer simulation of human society in outer space, and of
Frontiers in Education: Computer Science and Computer Engineering is a compendium of articles and papers that were presented at FECS '14, an international conference that serves researchers, scholars,
Judith Gersting's Mathematical Structures for Computer Science has long been acclaimed for its clear presentation of essential concepts and its exceptional range of applications relevant to computer s
This two-volume set (CCIS 158 and CCIS 159) constitutes the refereed proceedings of the International Workshop on Computer Science for Environmental Engineering and EcoInformatics, CSEEE 2011, held in
This two-volume set (CCIS 158 and CCIS 159) constitutes the refereed proceedings of the International Workshop on Computer Science for Environmental Engineering and EcoInformatics, CSEEE 2011, held in
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, Ch
This two-volume set (CCIS 152 and CCIS 153) constitutes the refereed proceedings of the International Conference on Computer Science and Information Engineering, CSIE 2011, held in Zhengzhou, China, i
This volume constitutes the first of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India,
Information Systems Synthesis: Bridging Computing Science and Information Technology presents several new graph-theoretical methods that relate system design to core computer science concepts, and ena
This book is a solid foundation of the most important formalisms used for specification and verification of reactive systems. In particular, the text presents all important results on m-calculus, w-au
The final installment in this three-volume set is based on this maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer
This book presents computer programming as a key method for solving mathematical problems. There are two versions of the book, one for MATLAB and one for Python. The book was inspired by the Springer
In The Art and Science of Java, Stanford professor and well-known leader in Computer Science Education Eric Roberts emphasizes the reader-friendly exposition that led to the success of The Art and
This homework helper explains to kids and parents computer science principles, from hardware to computer coding and what the future may hold. This study aid takes children from age 10 all the way up t
Proof is the primary vehicle for knowledge generation in mathematics. In computer science, proof has found an additional use: verifying that a particular system (or component, or algorithm) has certai
Computer scientists with a philosophical bent and philosophers with a computer bent explore the overlap between the two realms. The overall themes are the philosophy of information, the philosophy of
Blends basic computer science concepts and C language programming. The study of the language is presented as it applies to many different areas of computer science. This is the same book as Nagin whic
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 prese
Held in Guilin of China from August 13–14, 2016, the 2016 International Conference on Computer Science and Artificial Intelligence (CSAI2016) provides an excellent international platform for all invit
Get ready for your AP Computer Science exam with this straightforward, easy-to-follow study guideThe new addition to McGraw-Hill’s popular test prep series —5 Steps to a 5: AP Computer Science 2017 pr
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in January 2016. The 27 revis
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015.The
The 2014 Asia-Pacific Conference on Computer Science and Applications was held in Shanghai, December 27-28, 2014. These CSAC-2014 proceedings include 105 selected papers, which focus not only on the r
The theme of CSA is focused on the various aspects of computer science and its applications for advances in computer science and its applications and provides an opportunity for academic and industry
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA in January 2013. The volume presents 29
The International conference series on Computer Science, Engineering & Applications (ICCSEA) aims to bring together researchers and practitioners from academia and industry to focus on understandi
