Electronic Books

Total Books: 361 - 380 /541

Describes in detail how the BTRM, combined with a focus on value creation and value delivery, will enable continuous change, ...

The matrix-based approach presented here is a solution to the real-time application of control in discrete event systems ...

Manufacturing systems and technology stand on a new frontier, facing up to the challenges posed by the ever-evolving requirements ...

Constitutes the proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, ...

This book constitutes the refereed proceedings of the 31st International Symposium on Mathematical Foundations of Computer ...

This book constitutes the refereed proceedings of the 32nd International Symposium on Mathematical Foundations of Computer ...

This book constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer ...

This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...

IEEE 1588, published in November 2002, is a technology new to the engineering community expanding the performance capabilities ...

Constitute the refereed proceedings of the First International Work-Conference on the Interplay between Natural and Artificial ...

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...

Mechatronic Systems introduces these developments by considering the dynamic modelling of components together with their ...

This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...

Constitutes the refereed extended postproceedings of the 5th International Workshop on Membrane Computing, held in Italy, ...

Metaheuristics: Progress as Real Problem Solvers is a peer-reviewed volume of eighteen current, cutting-edge papers by leading ...

This book as one of the fastest-growing areas of research in machine learning, metalearning studies principled methods to ...

The Classical Period: Nineteenth Century Sociology Auguste Comte (1798-1857) on Women in Positivist Society Harriett Martineau ...

We have come to know that our ability to survive and grow as a nation to a very large degree depends upon our sci- tific ...

he name “SPIN” refers both to a workshopon model checking and to a famous model checking tool. The SPIN workshop is an ...

Constitutes the proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS ...

Total Books: 361 - 380 /541