System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /

System Analysis and Modeling 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Amyot, Daniel (Editor), Williams, Alan W. (Editor)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Series:	Lecture Notes in Computer Science, 3319
Subjects:	Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general.
Online Access:	Full Text via HEAL-Link

Similar Items

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /
Published: (2006)

Membrane Computing 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /
Published: (2005)

Computer Systems: Architectures, Modeling, and Simulation Third and Fourth International Workshops, SAMOS 2004, Samos, Greece, July 21-23, 2004 and July 19-21, 2004. Proceedings /
Published: (2004)

Graph-Theoretic Concepts in Computer Science 30th International Workshop, WG 2004, Bad Honnef, Germany, June 21-23, 2004. Revised Papers /
Published: (2005)

Artificial Intelligence and Simulation 13th International Conference on AI, Simulation, Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers /
Published: (2005)

Analysis and Correctness of Algebraic Graph and Model Transformations
by: Golas, Ulrike
Published: (2011)

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers /
Published: (2012)

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /
Published: (2007)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I /
Published: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II /
Published: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III /
Published: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV /
Published: (2004)

Innovative Internet Community Systems 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers /
Published: (2006)

Computing and Combinatorics 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings /
Published: (2004)

Smart Graphics 4th International Symposium, SG 2004, Banff, Canada, May 23-25, 2004. Proceedings /
Published: (2004)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004, and 8th International Workshop on Randomization and Computation, RANDOM 2004, Cambridge, MA, USA, August 22-24, 2004. Proceedings /
Published: (2004)

System Analysis: Theory and Applications
by: Zgurovsky, M. Z., et al.
Published: (2007)

Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
Published: (2004)

Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers /
Published: (2009)

Sequences, Subsequences, and Consequences International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers /
Published: (2007)

Mathematical Foundations of Computer Science 2004 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings /
Published: (2004)

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers /
Published: (2005)

Computer-Aided Design of User Interfaces IV Proceedings of the Fifth International Conference on Computer-Aided Design of User Interfaces CADUI’2004 Sponsored by ACM and jointly organised with the Eight ACM International Conference on Intelligent User Interfaces IUI’2004 13–16 January 2004, Funchal, Isle of Madeira /
Published: (2005)

Max-Plus Linear Stochastic Systems and Perturbation Analysis
Published: (2007)

Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /
Published: (2008)

Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /
Published: (2004)

Modeling Time in Computing
by: Furia, Carlo A., et al.
Published: (2012)

Foundations of Information and Knowledge Systems Third International Symposium, FoIKS 2004 Wilheminenburg Castle, Austria, February 17-20, 2004 Proceedings /
Published: (2004)

Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint 4th International Workshop on Attention in Cognitive Systems, WAPCV 2007 Hyderabad, India, January 8, 2007 Revised Selected Papers /
Published: (2007)

Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004. Proceedings /
Published: (2005)

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
Published: (2007)

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /
Published: (2005)

Analysis and Design of Information Systems Third Edition /
by: Langer, Arthur M.
Published: (2008)

Exploring New Frontiers of Theoretical Informatics IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 Toulouse, France /
Published: (2004)

Modern Language Models and Computation Theory with Applications /
by: Meduna, Alexander, et al.
Published: (2017)

Massively Multi-Agent Technology AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers /
Published: (2008)

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings /
Published: (2005)

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems /
by: Herde, Christian
Published: (2011)

System Analysis and Modeling: About Models 6th International Workshop, SAM 2010, Oslo, Norway, October 4-5, 2010, Revised Selected Papers /
Published: (2011)

Knowledge Mining Proceedings of the NEMIS 2004 Final Conference /
Published: (2005)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών