Electronic Books

Total Books: 61 - 80 /159

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 ...

Total Books: 61 - 80 /159