solr
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

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, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings

Katalog der UB Augsburg (1/1)

Speichern in:
Anzeige:
 

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, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings

Autor/Mitarbeiter: Bouajjani, Ahmed   , Silva, Alexandra  
Verlagsort, Verlag, Jahr: Cham, Springer, [2017]
Umfang: 1 Online-Ressource (XIV, 242 Seiten)
ISBN: 9783319602257
Inhaltstyp/Datenträger: Konferenzschrift Konferenzschrift
 
Reihe/Zeitschrift : Lecture notes in computer science  :  Alle Einzelbände
  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • zum Dokument
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor/Mitarbeiter: Bouajjani, Ahmed
Autor/Mitarbeiter: Silva, Alexandra
Titel: Formal Techniques for Distributed Objects, Components, and Systems
Titelzusatz: 37th IFIP WG 6.1 International conference, FORTE 2017, held as part of the 12th International federated conference on distributed computing techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017 : proceedings
Erläuterung: Verlag
von: Ahmed Bouajjani, Alexandra Silva (Eds.)
Institution: FORTE (2017, Neuenburg, Schweiz)
Verlagsort: Cham
Verlag: Springer
Jahr: [2017]
Umfang: 1 Online-Ressource (XIV, 242 Seiten)
Enthält: Illustrationen, Diagramme
Reihe: Lecture notes in computer science
Band: 10321
Volltext E-Book: https://doi.org/10.1007/978-3-319-60225-7
Andere Ausgabe: Erscheint auch als
...: Druck-Ausgabe
mit der ISBN: 978-3-319-60224-0
ISBN: 9783319602257
Inhaltstyp/Datenträger: Konferenzschrift Konferenzschrift
_Zeit / Datum: 2016
_Veranstaltungsort: Heraklion
Hauptsprache: Englisch
Land: |||a|| |o||||||||
Volltext : https://doi.org/10.1007/978-3-319-60225-7
B3Kat-ID: BV044397032