Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...
اقرأ المزيد
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
اقرأ المزيد
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
اقرأ المزيد
Functional and Logic Programming : 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
This volume contains the proceedings of the 9th International Symposium on Functional and Logic Programming (FLOPS 2008), ...
اقرأ المزيد
Fundamentals of Algebraic Graph Transformation
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
اقرأ المزيدGeotechnics of Roads: Advanced Analysis and Modeling / Bernardo Caicedo
Develops 23 extended examples that cover most of the theoretical aspects presented in the book Geotechnics of Roads: Fundamentals. ...
اقرأ المزيدGeotechnics of Roads: Fundamentals / Bernardo Caicedo
Presents stresses and strains in road structures, water and heat migration within and between layers of road materials, and ...
اقرأ المزيد
Global Optimization and Constraint Satisfaction
Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life ...
اقرأ المزيد
Graph Drawing
The 33 revised full papers and 5 revised short papers presented together with 2 invited talks, 1 system demo, 2 poster papers ...
اقرأ المزيد
Graph Drawing : 15th International Symposium, GD 2007, Sydney, Australia, September 24-26, 2007. Revised Papers
The 16th International Symposium on Graph Drawing (GD 2008) was held in Hersonissos, near Heraklion, Crete, Greece, September ...
اقرأ المزيد
Graph-Based Representations in Pattern Recognition
Constitutes the refereed proceedings of the 6th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern ...
اقرأ المزيدHandbook of Modern Sensors. Physics, Designs, and Applications / Jacob Fraden
Presents a comprehensive and up-to-date account of the theory (physical principles), design, and practical implementations ...
اقرأ المزيد
High Confidence Software Reuse in Large Systems : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Software Reuse, ICSR 2008, held in ...
اقرأ المزيد
Hybrid Metaheuristics
This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held ...
اقرأ المزيد
Hybrid Metaheuristics : An Emerging Approach to Optimization
The book is intended both to provide an overview of hybrid metaheuristics to novices of the field, and to provide researchers ...
اقرأ المزيد
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
اقرأ المزيد
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
اقرأ المزيد
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (vol. # 3524)
The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
اقرأ المزيد
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings
The 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
اقرأ المزيد
Intelligent Information Processing II
This book is based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to ...
اقرأ المزيد
