Formal Methods for Open Object-Based Distributed Systems
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...
اقرأ المزيد
Formal Modeling and Analysis of Timed Systems (vol. # 3829)
This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...
اقرأ المزيد
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 ...
اقرأ المزيد
Foundations of Augmented Cognition
These papers address the latest research and development efforts and highlight the human aspects of design and use of computing ...
اقرأ المزيد
From Computer Literacy to Informatics Fundamentals
Duetothepenetrationofinformationtechnologyintosocietyatlargeandinto schools in particular, the relationship between informatics ...
اقرأ المزيد
From Principles of Learning to Strategies for Instruction
The current volume strikes a nice balance between theory and practice and provides a straightforward model of instruction ...
اقرأ المزيد
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 ...
اقرأ المزيد
Gap Junctions in Development and Disease
Starting with a comprehensive review of the various mouse and human genes encoding the channel-forming protein connexin, ...
اقرأ المزيد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 ...
اقرأ المزيد
Glutamate Receptors in Peripheral Tissue
The book is divided into three sections— Part I is on general concepts and concentrates on the distribution and cell-specific ...
اقرأ المزيد
Glycerophospholipids in brain
This unique volume will be invaluable not only to those interested in biochemical properties of phospholipases A2, but also ...
اقرأ المزيد
Gradients in a Tropical Mountain Ecosystem of Ecuador
This volume addresses a multitude of ecologically relevant aspects: macro- and microclimate; physics, chemistry and biology ...
اقرأ المزيد
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 ...
اقرأ المزيد
