Electronic Books

Total Books: 1221 - 1240 /3497

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open ...

This volume contains the proceedings of FMOODS2005, the 7th IFIPWG6. 1 International Conference on Formal Methods for Open ...

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, ...

This book constitutes the refereed proceedings of the First International Workshop on Formal Methods in Systems Biology, ...

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...

Networks of firms have been in the focus of management research for several years. Recently, special attention has been paid ...

This collection of formulas has been written by applied scientists and industrial engineers for design professionals and ...

This book is a compilation of case studies that provide useful knowledge and lessons that derive from on-the-ground activities ...

Foundations and Applications of Sensor Management presents the emerging theory of sensor management with applications to ...

Various forms of decentralization are recently pursued in the world, including developing countries. However, there has not ...

Foundations of 3D Graphics Programming is an innovative shortcut to graphics theory and programming using JOGL, a new vehicle ...

The8thWorkshopontheFoundationsofGeneticAlgorithms,FOGA-8,washeld at the University of Aizu in Aizu-Wakamatsu City, Japan, ...

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

The fve main conferences received 571 submissions, 147 of which were accepted, giving an overall acceptance rate of less ...

Meant to serve an "entertaining textbook," this book belongs to a rare genre. It is written for all students and practitioners ...

In this book the author studies Fourier transforms using Deligne-Lusztig induction and the Lie algebra version of Lusztig’s ...

Number theory, spectral geometry, and fractal geometry are interlinked in this in-depth study of the vibrations of fractal ...

Total Books: 1221 - 1240 /3497