Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Acta Informatica
Erschienen in: Acta Informatica 3-5/2020

Open Access 06.05.2020 | Private Contribution

Out for coffee: with Rob

Erschienen in: Acta Informatica | Ausgabe 3-5/2020

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
download
DOWNLOAD
print
DRUCKEN
insite
SUCHEN
loading …
Vorheriger Artikel My time with Rob
Nächster Artikel Congruence from the operator’s point of view
download
DOWNLOAD
print
DRUCKEN
Metadaten
Titel
Out for coffee: with Rob
Publikationsdatum
06.05.2020
Erschienen in
Acta Informatica / Ausgabe 3-5/2020
Print ISSN: 0001-5903
Elektronische ISSN: 1432-0525
DOI
https://doi.org/10.1007/s00236-020-00378-3

Weitere Artikel der Ausgabe 3-5/2020

Acta Informatica 3-5/2020 Zur Ausgabe

Original Article

Characteristic invariants in Hennessy–Milner logic

Editorial

Preface

Private Contribution

My time with Rob

Original Article

On the probabilistic bisimulation spectrum with silent moves

Original Article

A linear-time branching-time perspective on interface automata

Private Contribution

Synchronous and asynchronous communication(s) between three parties

Premium Partner

    Bildnachweise