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 ...
Lee mas
Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS ...
Lee mas
Frontiers of Combining Systems
Constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lee mas
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), ...
Lee mas
Fundamentals of Algebraic Graph Transformation
Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation ...
Lee masGeotechnics 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. ...
Lee masGeotechnics of Roads: Fundamentals / Bernardo Caicedo
Presents stresses and strains in road structures, water and heat migration within and between layers of road materials, and ...
Lee mas
Global Optimization and Constraint Satisfaction
Theformulationofmanypracticalproblemsnaturallyinvolvesconstraintsonthe variables entering the mathematical model of a real-life ...
Lee mas
Graph Drawing
The 33 revised full papers and 5 revised short papers presented together with 2 invited talks, 1 system demo, 2 poster papers ...
Lee mas
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 ...
Lee mas
Graph-Based Representations in Pattern Recognition
Constitutes the refereed proceedings of the 6th IAPR-TC-15 International Workshop on Graph-Based Representations in Pattern ...
Lee masHandbook 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 ...
Lee mas
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 ...
Lee mas
Hybrid Metaheuristics
This book constitutes the refereed proceedings of the 4th International Workshop on Hybrid Metaheuristics, HM 2007, held ...
Lee mas
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 ...
Lee mas
Integrated Formal Methods
This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, ...
Lee mas
Integrated Formal Methods
It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
Intelligent Information Processing II
This book is based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to ...
Lee mas
