Computer Performance Evaluation: Modelling Techniques and Tools Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings /

Computer Performance Evaluation: Modelling Techniques and Tools Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Field, Tony (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Harrison, Peter G. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bradley, Jeremy (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Harder, Uli (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Έκδοση:	1st ed. 2002.
Σειρά:	Lecture Notes in Computer Science, 2324
Θέματα:	Computer engineering. Computers. Computer system failures. Software engineering. Computer simulation. Computer Engineering. Theory of Computation. System Performance and Evaluation. Software Engineering. Simulation and Modeling.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Computer Performance Evaluation. Modelling Techniques and Tools 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings /
Έκδοση: (2000)

Performance Evaluation of Complex Systems: Techniques and Tools Performance 2002. Tutorial Lectures /
Έκδοση: (2002)

Computer Performance Evaluation Modelling Techniques and Tools 9th International Conference, St. Malo, France, June 3-6, 1997 Proceedings /
Έκδοση: (1997)

Structured Object-Oriented Formal Language and Method 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers /
Έκδοση: (2019)

Computer Performance Evaluation. Modelling Techniques and Tools 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings /
Έκδοση: (2003)

Reliability Aspect of Cloud Computing Environment
ανά: Kumar, Vikas, κ.ά.
Έκδοση: (2018)

Tools and Algorithms for the Construction and Analysis of Systems Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings /
Έκδοση: (1997)

Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings /
Έκδοση: (2018)

Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
Έκδοση: (2018)

NASA Formal Methods 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings /
Έκδοση: (2018)

Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings /
Έκδοση: (2019)

New Trends in Model and Data Engineering MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings /
Έκδοση: (2018)

Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures /
Έκδοση: (2001)

UML 2002 - The Unified Modeling Language: Model Engineering, Concepts, and Tools 5th International Conference, Dresden, Germany, September 30 October 4, 2002. Proceedings /
Έκδοση: (2002)

On-line Error Detection and Fast Recover Techniques for Dependable Embedded Processors
ανά: Pflanz, Matthias, κ.ά.
Έκδοση: (2002)

Software Challenges to Exascale Computing Second Workshop, SCEC 2018, Delhi, India, December 13-14, 2018, Proceedings /
Έκδοση: (2019)

Formal Methods and Software Engineering 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings /
Έκδοση: (2019)

Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
Έκδοση: (2002)

Software Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings /
Έκδοση: (2019)

NETWORKING 2000. Broadband Communications, High Performance Networking, and Performance of Communication Networks IFIP-TC6/European Commission International Conference Paris, France, May 14-19, 2000 Proceedings /
Έκδοση: (2000)

Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings /
Έκδοση: (1999)

Advanced Information Systems Engineering 9th International Conference, CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings /
Έκδοση: (1997)

Theory and Applications of Satisfiability Testing - SAT 2019 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings /
Έκδοση: (2019)

Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
Έκδοση: (2018)

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9-10, 2018, Proceedings /
Έκδοση: (2018)

System Configuration Management ECOOP'98 SCM-8 Symposium, Brussels, Belgium, July 20-21, 1998, Proceedings /
Έκδοση: (1998)

Computer Performance Evaluation Modelling Techniques and Tools /
Έκδοση: (1998)

Dependable Computing - EDDC-3 Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings /
Έκδοση: (1999)

Advanced Environments, Tools, and Applications for Cluster Computing NATO Advanced Research Workshop, IWCC 2001, Mangalia, Romania, September 1-6, 2001. Revised Papers /
Έκδοση: (2002)

Dependable Computing First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings /
Έκδοση: (2003)

Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings /
Έκδοση: (2002)

Model Checking Software 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings /
Έκδοση: (2019)

Symposium on Real-Time and Hybrid Systems Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday /
Έκδοση: (2018)

Tools and Algorithms for the Construction and Analysis of Systems 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Έκδοση: (1998)

Web Engineering and Peer-to-Peer Computing NETWORKING 2002 Workshops, Pisa, Italy, May 19-24, 2002, Revised Papers /
Έκδοση: (2002)

Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers /
Έκδοση: (2018)

Performance Tools and Applications to Networked Systems Revised Tutorial Lectures /
Έκδοση: (2004)

Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings /
Έκδοση: (2018)

Integrated Formal Methods 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings /
Έκδοση: (2019)

Euro-Par 2000 Parallel Processing 6th International Euro-Par Conference Munich, Germany, August 29 - September 1, 2000 Proceedings /
Έκδοση: (2000)

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