Simulation and verification of dynamic systems : 06161 abstracts collection ; Dagstuhl seminar

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Klassifikation
Informatik

Ereignis
Veröffentlichung
(wo)
[Wadern]
(wer)
[Internat. Begegnungs- und Forschungszentrum für Informatik]
(wann)
[2006]
Beteiligte Personen und Organisationen
Nicol, David M.
Priami, Corrado
Riis-Nielson, Hanne
Uhrmacher, Adelinde

URN
urn:nbn:de:0030-drops-7102
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:57 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Nicol, David M.
  • Priami, Corrado
  • Riis-Nielson, Hanne
  • Uhrmacher, Adelinde
  • [Internat. Begegnungs- und Forschungszentrum für Informatik]

Entstanden

  • [2006]

Ähnliche Objekte (12)

Runtime verification : 07011 abstracts collection ; Dagstuhl seminar

Runtime verification : 07011 abstracts collection ; Dagstuhl seminar

Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar

Formal protocol verification applied : 07421 abstracts collection ; Dagstuhl seminar

Cryptography : 07381 abstracts collection ; Dagstuhl seminar

Cryptography : 07381 abstracts collection ; Dagstuhl seminar

Symmetric cryptography : 07021 abstracts collection ; Dagstuhl seminar

Symmetric cryptography : 07021 abstracts collection ; Dagstuhl seminar

Event processing : 07191 abstracts collection ; Dagstuhl seminar

Event processing : 07191 abstracts collection ; Dagstuhl seminar

Data structures : 04091 abstracts collection ; Dagstuhl seminar

Data structures : 04091 abstracts collection ; Dagstuhl seminar

Fair division : 07261 abstracts collection ; Dagstuhl seminar

Fair division : 07261 abstracts collection ; Dagstuhl seminar

Robot navigation : Dagstuhl seminar ; 06421 abstracts collection

Robot navigation : Dagstuhl seminar ; 06421 abstracts collection

Graph drawing : 05191 abstracts collection ; Dagstuhl seminar

Graph drawing : 05191 abstracts collection ; Dagstuhl seminar

Computational proteomics : 05471 abstracts collection ; Dagstuhl seminar

Computational proteomics : 05471 abstracts collection ; Dagstuhl seminar

Sublinear algorithms : 05291 abstracts collection ; Dagstuhl seminar

Sublinear algorithms : 05291 abstracts collection ; Dagstuhl seminar

Data structures : 06091 abstracts collection ; Dagstuhl seminar

Data structures : 06091 abstracts collection ; Dagstuhl seminar

Verbundene Objekte