Title: Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers / Edition 1, Author: Kim G. Larsen
Title: Discrete Event Modeling and Simulation Technologies: A Tapestry of Systems and AI-Based Theories and Methodologies / Edition 1, Author: Hessam S. Sarjoughian
Title: Conceptual Modeling: Current Issues and Future Directions / Edition 1, Author: Peter P. Chen
Title: Biologic System Evaluation with Ultrasound / Edition 1, Author: James F. Greenleaf
Title: Artificial Intelligence and Simulation: 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / Edition 1, Author: Tag G. Kim

Pagination Links