netis system  (470 Angebote unter 17 291 307 Artikeln)

Current issues and approaches in the reliability and safety analysis of dynamic process systems are the subject of this book. The authors of the chapters are experts from nuclear, chemical, mechani...

Current issues and approaches in the reliability and safety analysis of dynamic process systems are the subject of this book. The authors of the chapters are experts from nuclear, chemical, mechani...

The papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applicatio...

This volume contains the proceedings of two recent conferences in the ?eld of electronic publishing and digital documents: - DDEP 2000, the 8th International Conference on Digital Documents and Ele...

It is widely recognized that the complexity of parallel and distributed systems is such that proper tools must be employed during their design stage in order to achieve the quantitative goals for w...

SAMOS III - Reconfigurable Computing.- The Molen Programming Paradigm.- Loading ??-Code: Design Considerations.- RAMPASS: Reconfigurable and Advanced Multi-processing Architecture for Future Silico...

Design of intelligent robots is one of the most important endeavors in robotics research today. The key to intelligent robot design lies in sensory systems for robotic control and manipulation. In ...

Argumentation and Dialogue.- A General Framework for Argumentation-Based Negotiation.- On the Benefits of Exploiting Hierarchical Goals in Bilateral Automated Negotiation.- Co-argumentation Artifac...

Invited Papers.- Cells as Computation.- Formal Modeling of C. elegans Development: A Scenario-Based Approach.- Regular Papers.- Causal ?-Calculus for Biochemical Modelling.- Graphs for Core Molecul...

Das System zur Erzeugung personalisierter Vorlesungsmitschnitte zeigt die Funktionalität zur personalisierten Verknüpfung der verschiedenen Medientypen. Diese Medientypen sind das Videobild und der...

Mit diesem Artikel können alle genormten Kombieinsätze nach DIN 49075 integriert werden. Zum Beispiel TAE, Modular Jack, Daten‐ und Kommunikationssysteme der Firmen PANDUIT (PAN‐NET), Ackermann WAE...

It was a collaborative platform for academic experts, researchers and corporate professionals for interacting their research in various domain of engineering like robotics, data acquisition, human-...

Invited Papers.- Data Warehouse Scenarios for Model Management.- Reflections on Computer Science and Information Systems Research.- From Entities and Relationships to Social Actors and Dependencies...

Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results.- Integration of Software Specification Techniques for Applications in Enginee...

Mit diesem Artikel können alle genormten Kombieinsätze nach DIN49075 integriert werden. Zum Beispiel TAE, Modular Jack, Daten‐ und Kommunikationssysteme der Firmen PANDUIT(PAN‐NET), AckermannWAE, W...