Informatik (15 755 Artikel)

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presen...

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised fu...

Eingebettete Systeme.- Rechenmaschinen.- Software-Entwicklung.- Digitale Schaltungstechnik.- Hardware-Software-Codesign.- Hybride Architekturen.- Werkzeuge zum Entwurf auf Systemebene.- UML-basiert...

Software is in many cases interacting with hardware, the peripheral devices, to interact with is physical environment. Those hardware-dependent software parts, in the context of an operating system...

Proceedings of the 2nd International Conference on Harmony Search Algorithm (ICHSA2015)

Computational Optimization and Cohesive Approaches

The present volume and volume I "Hector: New Ways in Education and Research" present the results of HECTOR, the four year cooperation project between the Univer sity of Karlsruhe and IBM Germany (r...

This book provides both a basic understanding of stream processing in general, and practical guidance for development and research with Apache Heron in particular. It delivers to developers of stre...

Heterogeneity, High Performance Computing, Self-Organization and the Cloud

This book offers researchers an understanding of the fundamental issues and a good starting point to work on this rapidly expanding field. It provides a comprehensive survey of current developments...

This book offers researchers an understanding of the fundamental issues and a good starting point to work on this rapidly expanding field. It provides a comprehensive survey of current developments...

Collection of Papers on Foundations and Practice

Toward a New Generation of Evolutionary Algorithms

This book is the first work that systematically describes the procedure of data mining and knowledge discovery on Bioinformatics databases by using the state-of-the-art hierarchical feature selecti...

Hierarchical Neural Networks for Image Interpretation