✦ LIBER ✦

[Lecture Notes in Computer Science] Methods and Tools for Computer Integrated Manufacturing Volume 168 || Systems for computer aided process planning including quality control

✍ Scribed by Rembold, U.; Dillmann, R.

Book ID: 121680333
Publisher: Springer-Verlag
Year: 1984
Weight: 713 KB
Category: Article
ISBN-13: 9783540129264
DOI: 10.1007/bfb0014776

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Systems Theory - EUROCAST’99 Volume 1798 || An Identification Algorithmic Toolkit for Intelligent Control Systems

✍ Kopacek, Peter; Moreno-Díaz, Roberto; Pichler, Franz 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 419 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 6894 || Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems

✍ Flammini, Francesco; Bologna, Sandro; Vittorini, Valeria 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 465 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1427 || Kronos: A model-checking tool for real-time systems

✍ Hu, Alan J.; Vardi, Moshe Y. 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 298 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Aided Verification Volume 2404 || The d/dt Tool for Verification of Hybrid Systems

✍ Brinksma, Ed; Larsen, Kim Guldstrand 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 114 KB

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for

[Lecture Notes in Computer Science] Holo

[Lecture Notes in Computer Science] Holonic and Multi-Agent Systems for Manufacturing Volume 4659 || Adaptive Planning for Supply Chain Networks

✍ Mařík, Vladimír; Vyatkin, Valeriy; Colombo, Armando W. 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 751 KB

[Lecture Notes in Computer Science] Mult

[Lecture Notes in Computer Science] Multi-Agent Systems and Applications II Volume 2322 || Industrial MAS for Planning and Control

✍ Mařík, Vladimír; Štěpánková, Olga; Krautwurmová, Hana; Luck, Michael 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 262 KB