The ever-expanding field of extremal graph theory encompasses an array of problem-solving methods, including applications to economics, computer science, and optimization theory. This volume presents
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program
"Control of nonlinear systems is a multidisciplinary field involving electrical engineering, computer science, and control engineering. This book develops a systematic methodology to understand a quan
Contributors from computer science, mechanical engineering, information science, psychology, and other disciplines explain techniques for modeling three-dimensional objects for human vision; earlier t
Specialists in computer science, electrical engineering, informatics, and similar disciplines report recent innovations in multimodal mobile communications for members of the research and academic com
Fifty-nine international academics, researchers, and computer science and engineering professionals contribute 15 chapters addressing the issues of which modeling languages are good for embedded syste
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 easy-to-follow textbook/reference presents a concise introduction to mathematical analysis from an algorithmic point of view, with a particular focus on applications of analysis and aspects of ma
This book focuses on ubiquitous indoor localization services, specifically addressing the issue of floor plans. It combines computer vision algorithms and mobile techniques to reconstruct complete and
These Transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the Semantic Web, social networks
This book constitutes the refereed proceedings of the 8th International Conference, VISIGRAPP 2013 consisting of the Joint Conferences on Computer Vision (VISAPP), the International Conference on Comp
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
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program
This invaluable textbook/reference provides an easy-to-read guide to the fundamentals of formal methods, highlighting the rich applications of formal methods across a diverse range of areas of computi
Computer scientists provide a bridge between cloud computing and big data analytics in terms of systems, processing, and applications. Their topics include cloud-based platforms and infrastructures
The book serves as a first introduction to computer programming of scientific applications, using the high-level Python language. The exposition is example and problem-oriented, where the applications
"Graph-based approaches have been employed extensively in several disciplines such as biology, computer science, chemistry, and so forth. In the 1990s, exploration of the topology of complex networks
This book constitutes the refereed proceedings of the 4th International Conference on Combinatorial Optimization and Applications, COCOA 2010, held in Kailua-Kona, HI, USA, in December 2010.The 49 rev
Thin Metallic multilayer films have become an important part in today's computer technology. The giant magnetoresistance (GMR) effect, which plays a central role here, was discovered in the late 1980s
Author Hu (computer science, U. of North Dakota) examines the current status of handheld computing and application development, and covers topics such as advanced wireless markup language and J2ME pro
Tabu Search (TS) and, more recently, Scatter Search (SS) have proved highly effective in solving a wide range of optimization problems, and have had a variety of applications in industry, science, and
Situation theory is the result of an interdisciplinary effort to create a full-fledged theory of information. Created by scholars and scientists from cognitive science, computer science and AI, lingui
In this volume the author gives an introduction to the theory of group representations and their applications in image science. The main feature of the presentation is a systematic treatment of the in
This book constitutes the refereed proceedings of the 8th International Conference on Theory and Applications of Models of Computation, TAMC 2011, held in Tokyo, Japan, in May 2011. The 51 revised ful
This two volume set LNCS 6587 and LNCS 6588 constitutes the refereed proceedings of the 16th International Conference on Database Systems for Advanced Applications, DASFAA 2011, held in Saarbrucken, G
This book constitutes the workshop proceedings of the 16th International Conference on Database Systems for Advanced Applications, DASFAA 2011, held in Hong Kong, China, in April 2011. The volume cont
This two volume set LNCS 6587 and LNCS 6588 constitutes the refereed proceedings of the 16th International Conference on Database Systems for Advanced Applications, DASFAA 2011, held in Saarbrucken, G
This book constitutes the refereed proceedings of the 20th International Conference on Database and Expert Systems Applications, DEXA 2009, held in Linz, Austria, in August/September 2009.The 35 revis
This book constitutes the workshop proceedings of the 14th International Conference on Database Systems for Advanced Applications, DASFAA 2009, held in Brisbane, Australia, in April 2009.The volume co
This book constitutes the refereed proceedings of the 14th International Conference on Database Systems for Advanced Applications, DASFAA 2009, held in Brisbane, Australia, in April 2009.The 39 revise
International contributors to this work are professors in technology, industrial and organizational psychology, computer science, construction management, business management, facility management, acc
Combinatorial Optimization is a multidisciplinary field, lying at the interface of three major scientific domains: applied mathematics, theoretical computer science, and management studies. Its focus
Sixty-five international academics and researchers contribute 24 chapters providing theoretical and practical scenarios, concepts, methodologies, standards, definitions, and applications used to desig
