Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /

Código QR

Computer Performance Engineering : 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Reinecke, Philipp. (Editor ), Di Marco, Antinisca. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Programming and Software Engineering ; 10497
Materias:	Computer system failures. Mathematical statistics. Computer logic. Software engineering. Computer simulation. Artificial intelligence. System Performance and Evaluation. Probability and Statistics in Computer Science. Logics and Meanings of Programs. Software Engineering. Simulation and Modeling. Artificial Intelligence.

Ejemplares similares

Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
Publicado: (2017)

Quantitative Evaluation of Systems : 14th International Conference, QEST 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado: (2017)

Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Publicado: (2017)

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26-29, 2017, Proceedings /
Publicado: (2017)

Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings /
Publicado: (2017)

Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
Publicado: (2017)

Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado: (2017)

High Performance Computing for Computational Science - VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers /
Publicado: (2017)

Combinatorial Testing in Cloud Computing /
por: Tsai, Wei-Tek., et al.
Publicado: (2017)

Information Technologies and Mathematical Modelling. Queueing Theory and Applications 16th International Conference, ITMM 2017, Named After A.F. Terpugov, Kazan, Russia, September 29 - October 3, 2017, Proceedings /
Publicado: (2017)

Formal Methods: Foundations and Applications : 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings /
Publicado: (2017)

Formal Techniques for Distributed Objects, Components, and Systems : 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /
Publicado: (2017)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings /
Publicado: (2017)

Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado: (2017)

Unconventional Computation and Natural Computation : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings /
Publicado: (2017)

Logic Programming and Nonmonotonic Reasoning : 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings /
Publicado: (2017)

Recent Trends in Algebraic Development Techniques : 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers /
Publicado: (2017)

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado: (2017)

Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
Publicado: (2017)

Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
por: Ölveczky, Peter Csaba.
Publicado: (2017)

Distributed Computer and Communication Networks : 20th International Conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, Proceedings /
Publicado: (2017)

Models in Hardware Testing : Lecture Notes of the Forum in Honor of Christian Landrault /
Publicado: (2010)

Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers /
Publicado: (2017)

Hardware and Software: Verification and Testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings /
Publicado: (2017)

Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /
Publicado: (2017)

Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado: (2017)

Transactions on Computational Collective Intelligence XXVII /
Publicado: (2017)

Cellular Automata and Discrete Complex Systems : 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017, Proceedings /
Publicado: (2017)

Formal Techniques for Safety-Critical Systems : 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers /
Publicado: (2017)

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Publicado: (2017)

Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
Publicado: (2017)

Learning and Intelligent Optimization 11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers /
Publicado: (2017)

Generalized Jeffrey Conditionalization : A Frequentist Semantics of Partial Conditionalization /
por: Draheim, Dirk.
Publicado: (2017)

Computer Networks : 24th International Conference, CN 2017, Lądek Zdrój, Poland, June 20-23, 2017, Proceedings /
Publicado: (2017)

Tests and Proofs : 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings /
Publicado: (2017)

Computational Science and High Performance Computing III : The 3rd Russian-German Advanced Research Workshop, Novosibirsk, Russia, 23 - 27 July 2007 /
Publicado: (2008)

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
Publicado: (2017)

Towards Integrative Machine Learning and Knowledge Extraction : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers /
Publicado: (2017)

Towards Advanced Data Analysis by Combining Soft Computing and Statistics /
Publicado: (2013)

Computational Methods in Systems Biology : 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings /
Publicado: (2017)