1
0
0
(1 - 15 von 16
)
Advances in Computer Science and Engineering | E-kirja - Ellibswww.ellibs.com › book › advances-in-computer-sci...
www.ellibs.com
Hassan Hatefi-Ardakani, Amir Masoud Gharehbaghi, Shaahin Hessabi The Effect of Core Number and Core Diversity on Power and Performance in Multicore ...
Advances in Computer Science and Engineering | Ebook | Ellibs...
www.ellibs.com
Ellibs Ebookstore - Ebook: Advances in Computer Science and Engineering - Author: Hessabi, Shaahin - Price: 142,54€
Publications | MEALS
meals-project.eu
Filters: Author is Hassan Hatefi [Clear All Filters]. In Press. Y. Butkova, H. Hatefi, H. Hermanns, and J. Krčál, “Optimal Continuous Time Markov Decisions” ...
Finite Horizon Analysis of Markov Automata - Hassan Hatefi ...books.google.com › books › about › Finite_Horizo...
books.google.com
Hassan Hatefi Ardakani. Saarländische Universitäts- und Landesbibliothek, Reviews. Reviews aren't verified, but Google checks for and removes fake ...
Finite Horizon Analysis of Markov Automata - Hassan Hatefi Ardakani -...
books.google.com.ua
Title, Finite Horizon Analysis of Markov Automata. Author, Hassan Hatefi Ardakani. Contributor, Holger Hermanns. Publisher, Saarländische Universitäts- und ...
Dependable Software Systems Engineering - Google Books
books.google.no
Jerzy Filar and Koos Vrieze. Competitive Markov Decision Processes. Springer, Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, and ...
Diplomatic List - Google Books
books.google.no
Directory of foreign diplomatic officers in Washington.
Automated Technology for Verification and Analysis: 12th...
books.google.ca
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney,...
Advances in Computer Science and Engineering: 13th International ...
books.google.com
System-Level Assertion-Based Performance Verification for Embedded Systems Hassan Hatefi-Ardakani, Amir Masoud Gharehbaghi, and Shaahin Hessabi Department ...
Dependable Software Engineering: Theories, Tools, and Applications:...
books.google.ca
This book constitutes the refereed proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications,...
Dependable Software Systems Engineering
books.google.com
Jerzy Filar and Koos Vrieze. Competitive Markov Decision Processes. Springer, Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, ...
Quantitative Evaluation of Systems: 10th International Conference,...
books.google.ca
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos...
Stochastic Model Checking: International Autumn School, ROCKS 2012,...
books.google.ca
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication...
Verification, Model Checking, and Abstract Interpretation: 16th ...
books.google.com
Bettina Braitling, Luis Mar ́ıa Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, and Holger Hermanns Proving Guarantee and Recurrence Temporal ...
Fundamentals of Software Engineering: 5th International Conference,...
books.google.de
This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in...
Verwandte Suchanfragen zu Hassan Hatefi
Amir Masoud Ralf Wimmer Bettina Braitling | Bernd Becker Mark Timmer Dennis Guck | Joost-Pieter Katoen Jerzy Filar |
Personen Vorname "Hassan" (4096) Name "Hatefi" (12) |
sortiert nach Relevanz / Datum