Multi-agent systems : modeling and verification using Hybrid Automata

  1. Mohammed, Ammar
  2. Furbach, Ulrich

View
 Download nicht erlaubt
WeightNameValue
1000 Titel
  • Multi-agent systems
1000 Titelzusatz weitere
  • modeling and verification using Hybrid Automata
1000 Verantwortlich
  • Ammar Mohammed ; Ulrich Furbach. Universität Koblenz, Landau, Institut für Informatik
1000 Beteiligung
Universität Koblenz-Landau. Institut für Informatik (Sonstige) |
1000 Autor/in
  1. Mohammed, Ammar |
  2. Furbach, Ulrich |
  3. Universität Koblenz-Landau. Institut für Informatik |
1000 Katalog Id
  • HT016079273
1000 Erscheinungsort Koblenz
1000 Verlag Inst. für Informatik
1000 Erschienen in Arbeitsberichte aus dem Fachbereich Informatik , 2009,10
1000 Art der Datei
1000 Publikationstyp
  1. Monografie |
1000 Sprache der Publikation
1000 Sacherschließung
ddc 004 Informatik
lbz 820 Informatik, Kybernetik
rpb 884000 Information und Dokumentation
1000 URN
  • urn:nbn:de:hbz:929:02-edoweb:32348014 |
1000 Verbund-Id
  1. HT016079273 |
1000 Dateien
  1. Multi-agent systems
    Multi-agent systems
1000 Objektart monograph
1000 Beschrieben durch
1000 @id edoweb:3234801.rdf
1000 Erstellt am 2014-10-24T12:08:44.098+0200
1000 Erstellt von digitool
1000 beschreibt edoweb:3234801
1000 Import http://klio.hbz-nrw.de:1801/webclient/DeliveryManager?pid=3234801&custom_att_2=default_viewer
1000 Id Altsystem HT016079273
1000 Zuletzt bearbeitet 2024-04-06T17:25:16.002+0200
1000 Objekt bearb. Fri Oct 24 12:08:49 CEST 2014
1000 Vgl. edoweb:3234801
1000 Oai Id
  1. oai:api.edoweb-rlp.de:edoweb:3234801 |
1000 Identisch zu
1000 Sichtbarkeit Metadaten public
1000 Sichtbarkeit Daten restricted
1000 Beschrieben durch
1000 Download
1000 Bestand
1000 Lobid
1000 OCLC Nummer
  • 1074482287

View source