Computer Science

By the time students have done some programming in one or two languages and have learnt the common ways of representing information in a computer, they will want to embark upon further study of theoretical or applied topics in computer science. Most will encounter problems that require for their solution one or more of the techniques described in this book: for example problems depending upon the formation and solution of different equations; the task of making lists of possible alternatives and of answering questions about them; or the search for discrete optima. Written by the same authors as the highly successful Information Representation and Manipulation in a Computer, this book describes algorithms of mathematical methods and illustrates their application with examples. The mathematical background needed is elementary algebra and calculus. Numerous exercises are provided, with hints to their solutions.

The two-volume set LNCS 9722 and LNCS 9723 constitutes the refereed proceedings of the 21st Australasian Conference on Information Security and Privacy, ACISP 2016, held in Melbourne, VIC, Australia,

This book constitutes the refereed proceedings of the 13th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2016, held as part of the 18th International Conference on

The 3-volume set LNCS 9731, 9732, and 9733 constitutes the refereed proceedings of the 18th International Conference on Human-Computer Interaction, HCII 2016, held in Toronto, ON, Canada, in July 2016

The two-volume proceedings LNCS 9665 + 9666 constitutes the thoroughly refereed proceedings of the 35th Annual International Conference on the Theory and Applications of Cryptographic Techniques,

This book constitutes the refereed proceedings of the 11th Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2016, held in Auckland, New Zealand, in April 2016 in conjunction with

The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, hel

The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, hel

The three-volume set LNCS 9349, 9350, and 9351 constitutes the refereed proceedings of the 18th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2015, hel

This LNCS volume contains the papers presented at the 5th International Workshop on Logic, Rationality and Interaction/ (LORI-V), held in October 2015 in Taipei, Taiwan. The topics covered in thi

This book constitutes the refereed proceedings of the 10th International Workshop on Augmented Environments for Computer-Assisted Interventions, held in conjunction with MICCAI 2015, in Munich, German

This book constitutes the proceedings of the 10th International Conference on Information Processing in Cells and Tissues, IPCAT 2015, held in San Diego, CA, USA, in September 2015. The 19 papers pres

This book constitutes the proceedings of the 17th International Workshop on Computer Algebra in Scientific Computing, CASC 2015, held in Aachen, Germany, in September 2015.The 35 full papers presented

This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference

This book constitutes the refereed proceedings of the 5th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2014, held in Munich, Germany, in September 2014, in

The two volumes LNCS 8805 and 8806 constitute the thoroughly refereed post-conference proceedings of 18 workshops held at the 20th International Conference on Parallel Computing, Euro-Par 2014, in Por

This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. T

This book constitutes the refereed proceedings of the 9th International Conference on Persuasive Technology, PERSUASIVE 2014, held in Padua, Italy, in May 2014. The 27 revised full papers and 12 revis

The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2

The 3-volume set LNCS 8510, 8511 and 8512 constitutes the refereed proceedings of the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2

This book constitutes the refereed proceedings of the 6th International Conference on Hybrid Learning, ICHL 2013, held in Toronto, ON, Canada, in August 2013. The 35 papers presented in this volume we

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Information Security and Cryptology, ICISC 2012, held in Seoul, Korea, in November 201

This book constitutes the thoroughly refereed post-conference proceedings of the 20th International Symposium on Graph Drawing, GD 2012, held in Redmond, WA, USA, in September 2012. The 42 revised ful

Business modelling is a vast arena of research and practice, which is gaining increasing important in the rapid development of e-commerce, globalization, and in particular, the movement toward glob

This book constitutes the refereed proceedings of the 12 th International Symposium on Privacy Enhancing Technologies, PET 2012, held in Vigo, Spain, in July 2012. The 16 full papers presented were ca

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 2012, held in Athens, Greece, in April 2012. The 37

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012, held in Helsinki, Finland, in July 2012. The 33 revised full papers presented t

This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation i

This book constitutes the proceedings of the 10th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2012, held in Tel Aviv, Israel, in March 2012. The 20 revised full

This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Learning and Intelligent Optimization, LION 5, held in Rome, Italy, in January 2011.The

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Data Engineering and Management, ICDEM 2010, held in Tiruchirappalli, India, in July

This book constitutes the thoroughly refereed post-worksop proceedings of the 7th International Workshop Radio Frequency Identification: Security and Privacy Issues. RFIDSec 2011, held in Amherst, Mas

This book constitutes the thoroughly referred post-workshop proceedings of the 22nd International Workshop on Combinatorial Algorithms, IWOCA 2011, held in Victoria, BC, Canada, in July 2011. The 30 r

Software engineering, is widely recognized as one of today's mostexciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LA

This book constitutes the refereed proceedings of the 6th Chinese Conference on Biometric Recognition, CCBR 2011, held in Beijing, China in December 2011. The 35 revised full papers were carefully rev

This book constitutes the thoroughly refereed post proceedings of two international workshops on special aspects of digital libraries, namely the First International Workshop on Natural Language Proce

This book constitutes the refereed proceedings of the International Conference on Theory and Practice of Digital Libraries, TPDL 2011 - formerly known as ECDL (European Conference on Research and Adva

This book constitutes the refereed proceedings of the 34th Annual German Conference on Artificial Intelligence, KI 2011, held in Berlin, Germany, in October 2011.The 32 revised full papers presented

This book constitutes the refereed proceedings of the 5th Provable Security Conference held in in Xi'an, China, in October 2011. The 22 full papers presented together with 4 short papers and 2 invited

The three-volume set LNCS 6891, 6892 and 6893 constitutes the refereed proceedings of the 14th International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2011, held