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 /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Amyot, Daniel (Επιμελητής έκδοσης), Williams, Alan W. (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
Σειρά:	Lecture Notes in Computer Science, 3319
Θέματα:	Computer science. Computers. Computer Science. Theory of Computation. Computer Science, general.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

System Analysis and Modeling: Language Profiles 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers /
Έκδοση: (2006)

Membrane Computing 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /
Έκδοση: (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 /
Έκδοση: (2004)

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

Analysis and Correctness of Algebraic Graph and Model Transformations
ανά: Golas, Ulrike
Έκδοση: (2011)

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 /
Έκδοση: (2005)

Mathematical Modeling and Computational Science International Conference, MMCP 2011, Stará Lesná, Slovakia, July 4-8, 2011, Revised Selected Papers /
Έκδοση: (2012)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part I /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part II /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III /
Έκδοση: (2004)

Computational Science - ICCS 2004 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV /
Έκδοση: (2004)

Innovative Internet Community Systems 4th International Workshop, IICS 2004, Guadalajara, Mexico, June 21-23, 2004. Revised Papers /
Έκδοση: (2006)

Computing and Combinatorics 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings /
Έκδοση: (2004)

SDL 2007: Design for Dependable Systems 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /
Έκδοση: (2007)

Smart Graphics 4th International Symposium, SG 2004, Banff, Canada, May 23-25, 2004. Proceedings /
Έκδοση: (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 /
Έκδοση: (2004)

System Analysis: Theory and Applications
ανά: Zgurovsky, M. Z., κ.ά.
Έκδοση: (2007)

Sequences, Subsequences, and Consequences International Workshop, SSC 2007, Los Angeles, CA, USA, May 31 - June 2, 2007, Revised Invited Papers /
Έκδοση: (2007)

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 /
Έκδοση: (2005)

Mathematical Foundations of Computer Science 2004 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings /
Έκδοση: (2004)

Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings /
Έκδοση: (2004)

Scalable Information Systems 4th International ICST Conference, INFOSCALE 2009, Hong Kong, June 10-11, 2009, Revised Selected Papers /
Έκδοση: (2009)

Theory and Practice of Model Transformations First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings /
Έκδοση: (2008)

Max-Plus Linear Stochastic Systems and Perturbation Analysis
Έκδοση: (2007)

Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers /
Έκδοση: (2005)

Modeling Time in Computing
ανά: Furia, Carlo A., κ.ά.
Έκδοση: (2012)

Hybrid Systems: Computation and Control 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004. Proceedings /
Έκδοση: (2004)

Foundations of Information and Knowledge Systems Third International Symposium, FoIKS 2004 Wilheminenburg Castle, Austria, February 17-20, 2004 Proceedings /
Έκδοση: (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 /
Έκδοση: (2007)

Algorithms and Computation 15th International Symposium, ISAAC 2004, Hong Kong, China, December 20-22, 2004. Proceedings /
Έκδοση: (2005)

Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedings /
Έκδοση: (2007)

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 /
Έκδοση: (2004)

Modern Language Models and Computation Theory with Applications /
ανά: Meduna, Alexander, κ.ά.
Έκδοση: (2017)

Analysis and Design of Information Systems Third Edition /
ανά: Langer, Arthur M.
Έκδοση: (2008)

Theoretical Aspects of Computing - ICTAC 2004 First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers /
Έκδοση: (2005)

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 /
Έκδοση: (2008)

Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems /
ανά: Herde, Christian
Έκδοση: (2011)

Computational and Information Science First International Symposium, CIS 2004, Shanghai, China, December 16-18, 2004. Proceedings /
Έκδοση: (2005)

Knowledge Mining Proceedings of the NEMIS 2004 Final Conference /
Έκδοση: (2005)

Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers /
Έκδοση: (2011)

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

Cannot write session to /tmp/vufind_sessions/sess_pv220jg5i4os8d5kfvi3rhqhi5