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

Ausgabe 6-7/2004

Inhalt (4 Artikel)

A new natural structural congruence in the pi-calculus with replication

Joost Engelfriet, Tjalling Gelsema

Past is for free: on the complexity of verifying linear temporal properties with past

Nicolas Markey

Reducing non-determinism in right nulled GLR parsers

Elizabeth Scott, Adrian Johnstone

Trajectory-based codes

Michael Domaratzki

Mär 04
Ausgabe: 5/2004
Jul 04
Ausgabe: 8/2004

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr