UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

Simulation and statistical model-checking of logic-based multi-agent system models

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
 


Simulation and statistical model-checking of logic-based multi-agent system models

Autor: Kroiß, Christian
Ort, Verlag, Jahr: München, , 2016
Umfang: ix, 257 Seiten

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Achtung: Wegen Reparaturarbeiten sind einzelne Bestandssegmente derzeit nicht zugänglich und vorrübergehend nicht ausleihbar.
Autor:Kroiß, Christian
Titel:Simulation and statistical model-checking of logic-based multi-agent system models
Von:eingereicht von Christian Kroiß
Ort:München
Jahr:2016
Umfang:ix, 257 Seiten
Illustrationsangabe:Diagramme
Hochschulschrift :Dissertation, Ludwig-Maximilians-Universität München, 2016