This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Advanced Infocomm Technology, ICAIT 2012, held in Paris, France, July 2012. The 32 revi
For courses in computer science and programming Starting Out with Java: From Control Structures through Data Structures provides a smooth introduction to programming with Java that moves fl
Repurposing Legacy Data: Innovative Case Studies takes a look at how data scientists have re-purposed legacy data, whether their own, or legacy data that has been donated to the public domain.Most of
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
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
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the r
Topological UML Modeling: An Improved Approach for Domain Modeling and Software Development presents a specification for Topological UML® that combines the formalism of the Topological Functioning Mod
Complex Systems and Clouds provides insights into the intricate world of self-organizing systems. Large scale distributed computer systems have evolved into very complex systems and are at the point
The emergence of high performance computers and sophisticated software technology has led to significant advances in the development and application of operations research. In turn, the growing com
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
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
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, bridging the gap betwe
This book constitutes extended, revised and selected papers from the 7th Ith International Conference on Cloud Computing and Service Science, CLOSER 2017, held in Porto, Portugal, in April 2017. The 1
This book constitutes the refereed proceedings of the International Conference on Soft Computing in Data Science, SCDS 2015, held in Putrajaya, Malaysia, in September 2015.The 25 revised full papers p
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 Buda
This book constitutes the thoroughly refereed proceedings of the Second International Conference on Cloud Computing and Services Science, CLOSER 2012, held in Porto, Portugal, in April 2012. The 15 pa
This book constitutes the refereed proceedings of the Third International Conference on Health Information Science, HIS 2014, held in Shenzhen, China, in April 2014. The 29 full papers presented were
This book constitutes the refereed proceedings of the 7th International Conference on Geographic Information Science, GIScience 2012, held in Columbus, OH, USA in September 2012. The 26 full papers pr
This book constitutes the revised selected papers of the 37th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2011, held at Tepla Monastery, Czech Republic, in June 2011.The
This work presents papers from the International e-Conference on Computer Science and from a 2006 symposium on computer and network applications in agriculture, plus three papers from a symposium on i
The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore, India
The three volume set LNICST 84 - LNICST 86 constitute the refereed proceedings ofthe Second International Conference on Computer Science and InformationTechnology, CCSIT 2012, held in Bangalore, India
EVERYTHING YOU NEED TO HELP SCORE A PERFECT 5. Ace the AP Computer Science A Exam with this comprehensive study guide—including 2 full-length practice tests, thorough content reviews, targeted strateg
Wireless networks of moving objects have drawn significant attention recently. These types of networks consist of a number of autonomous or semi-autonomous wireless nodes/objects moving with diverse p
This book constitutes the refereed proceedings of the 6th International Workshop on Internet Charging and QoS Technologies, ICQT 2011, held in Paris, France, in October 2011 collocated with the 7th In
