Computer Performance Evaluation. Modelling Techniques and Tools 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings /

Computer Performance Evaluation. Modelling Techniques and Tools 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Haverkort, Boudewijn R. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bohnenkamp, Henrik C. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Smith, Connie U. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:	1st ed. 2000.
Σειρά:	Lecture Notes in Computer Science, 1786
Θέματα:	Computers. Computer system failures. Software engineering. Computer simulation. 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 Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings /
Έκδοση: (2002)

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

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

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

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)

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)

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

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

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)

Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, Proceedings /
Έκδοση: (2018)

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

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

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 Technology: Methods and Tools 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings /
Έκδοση: (2019)

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

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

Lectures on Runtime Verification Introductory and Advanced Topics /
Έκδοση: (2018)

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

Software Architecture 13th European Conference, ECSA 2019, Paris, France, September 9-13, 2019, Proceedings /
Έκδοση: (2019)

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

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)

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

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

Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
Έκδοση: (2019)

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings /
Έκδοση: (2018)

Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings /
Έκδοση: (2018)

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings /
Έκδοση: (2018)

New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers /
Έκδοση: (2018)

Computer and Information Sciences 32nd International Symposium, ISCIS 2018, Held at the 24th IFIP World Computer Congress, WCC 2018, Poznan, Poland, September 20-21, 2018, Proceedings /
Έκδοση: (2018)

Performance Engineering State of the Art and Current Trends /
Έκδοση: (2001)

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

Open Source Systems 15th IFIP WG 2.13 International Conference, OSS 2019, Montreal, QC, Canada, May 26-27, 2019, Proceedings /
Έκδοση: (2019)

Applying Formal Methods: Testing, Performance, and M/E-Commerce FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 /
Έκδοση: (2004)

Evaluation of Novel Approaches to Software Engineering 13th International Conference, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revised Selected Papers /
Έκδοση: (2019)

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

Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings /
Έκδοση: (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)

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

Cannot write session to /tmp/vufind_sessions/sess_hvc0i9oci770dr868vibraftf0