Judges and Adjudication in Constitutional Democracies: A View from Legal Realism
offers contributions to a philosophical and realistic approach to the place of adjudication in contemporary constitutional ...
Continue reading
Knowledge Discovery in Inductive Databases
This book constitutes the thoroughly refereed joint postproceedings of the 5th International Workshop on Knowledge Discovery ...
Continue reading
Knowledge Discovery in Inductive Databases (vol. # 3933)
The4thInternationalWorkshoponKnowledgeDiscoveryinInductiveDatabases (KDID 2005) was held in Porto, Portugal, on October 3, ...
Continue reading
Knowledge Science, Engineering and Management
This book constitutes the refereed proceedings of the Second International Conference on Knowledge Science, Engineering and ...
Continue reading
Large-Scale Scientific Computing : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
The 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...
Continue reading
Learning Classifier Systems
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning ...
Continue reading
Learning Classifier Systems : 10th International Workshop, IWLCS 2006, Seattle, MA, USA, July 8, 2006 and 11th International Workshop, IWLCS 2007, London, UK, July 8, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed joint post-conference proceedings of two consecutive International Workshops ...
Continue reading
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Continue reading
Logic Based Program Synthesis and Transformation (vol. # 3573)
In this work, we devise an analysis that searches for semantically equivalent code fragments within a given logic program. ...
Continue reading
Logic Based Program Synthesis and Transformation (vol. # 3901)
This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program ...
Continue reading
Logic Programming (vol. # 3668)
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), ...
Continue reading
Logic Programming (vol. # 4079)
This book constitutes the refereed proceedings of the 22nd International Conference on Logic Programming, ICLP 2006, held ...
Continue reading
Logic Programming : 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings
The 35 revised full papers together with 2 invited talks, 2 invited tutorials, 11 papers of the co-located first Workshop ...
Continue reading
Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 9th International Conference on Logic Programming and Nonmonotonic ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Continue reading
Logic, Language, and Computation
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the second ...
Continue reading
Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
Mechanical Behavior of Materials : Fundamentals, Analysis, and Calculations / Zainul Huda
Provides a holistic understanding of mechanical behavior of materials, and enables critical thinking through mathematical ...
Continue reading
Mechanical System Dynamics
This textbook gives a clear and thorough presentation of the fundamental principles of mechanical systems and their dynamics. ...
Continue reading
Mechanics and Strength of Materials
This treatise contains topics on Solid Mechanics, the Theory of Slender Members and an Introduction to the Theory of Structures, ...
Continue reading
