This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model Checking Software, SPIN 2008, held in Los Angeles, CA, USA, in August 2008.
This book constitutes the refereed proceedings of the 9th International Conference on Rewriting Techniques and Applications, RTA-98, held in Tsukuba, Japan, in March/April 1998.
Although the solution of Partial Differential Equations by numerical methods is the standard practice in industries, analytical methods are still important for the critical assessment of results derived from advanced computer simulations and the improvement of the underlying numerical techniques.
This completely revised edition of the classical book on Statistical Mechanics covers the basic concepts of equilibrium and non-equilibrium statistical physics.
Die Plaggenwirtschaft war eine über 1000 Jahre praktizierte Form der Landwirtschaft, die den gesamten nordwestdeutschen Raum in einzigartiger Weise geprägt hat.
Two basic problems of representation theory are to classify irreducible representations and decompose representations occuring naturally in some other context.
Planning Support Systems: Technologies that are Driving Planning Michael Batty Centre for Advanced Spatial Analysis (CASA), University College London, 1-19 Torrington Place, London WC 1 E 6BT, United Kingdom I had always thought the term 'Planning Support Systems', abbreviated to PSS, had been coined by the father of land use modelling, Britton Harris, in his article 'Beyond Geographic Information Systems: computers and the planning professional' published in the Journal of the American Planning Association in 1989 (Harris 1989).
Die Plaggenwirtschaft war eine über 1000 Jahre praktizierte Form der Landwirtschaft, die den gesamten nordwestdeutschen Raum in einzigartiger Weise geprägt hat.
This is the second volume in a subseries of the Lecture Notes in Mathematics called Levy Matters, which is published at irregular intervals over the years.
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital Mathematics Libraries, DML 2012, 11th International Conference on Mathematical Knowledge Management, MKM 2012, Systems and Projects, held in Bremen, Germany as CICM 2012, the Conferences on Intelligent Computer Mathematics.
This book constitutes the refereed post-conference proceedings of the 15th International Workshop on Groupware: Design, Implementation, and Use, held in Peso da Regua, Douro, Portugal, during September 13-17, 2009.
This book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science.
When we contemplate phenomena as diverse as electrochemical deposition or the spatial patterns of urban development, it is natural to assume that they havenothing incommon.
This book constitutes the refereed proceedings of the 4th International Conference on Audio-and Video-Based Biometric Person Authentication, AVBPA 2003, held in Guilford, UK in June 2003.
Our aim is to introduce, explain, and discuss the fundamental problems, ideas, concepts, results, and methods of the theory of dynamical systems and to show how they can be used in speci?
The 1990s have seen some remarkable changes in geographical information (GI) provision and computer technology that have impacted on many of the activities that constitute planning in all its different forms.
A clarion call to business leaders to recast their conception of leadership and strategy execution to meet the demands of the modern world Have a problem with your organization's strategy in an era of accelerating, exponential change?
This comprehensive book covers a wide range of topics, providing valuable insights and evidence-based information on insole-based approaches for managing diabetic foot complications.
This volume provides readers with an overview of lentiviral vector applications and includes detailed laboratory protocols relevant to neuroscience research.
This volume provides readers with an overview of lentiviral vector applications and includes detailed laboratory protocols relevant to neuroscience research.
Engineering Materials, Structures, Systems and Methods for a More Sustainable Future comprises 275 papers that were presented at SEMC 2025, the Ninth International Conference on Structural Engineering, Mechanics and Computation.
This volume explores the latest technologies for RNA analysis, covering fundamental techniques and innovative approaches that expand our understanding of RNA biology.
Clustering is an important unsupervised classification technique where data points are grouped such that points that are similar in some sense belong to the same cluster.
The four-volume set LNCS 7333-7336 constitutes the refereed proceedings of the 12th International Conference on Computational Science and Its Applications, ICCSA 2012, held in Salvador de Bahia, Brazil, in June 2012.
In my original proposal to Springer for a book on Quantal Density Functional Theory, I had envisaged one that was as complete in its presentation as possible, describing the basic theory as well as the approximation methods and a host of applications.
Privacy in statistical databases is a discipline whose purpose is to provide solutions to the tension between the increasing social, political and economical demand of accurate information, and the legal and ethical obligation to protect the privacy of the various parties involved.
