Suchergebnisse

Katalog

Ermittle Trefferzahl…

Suchmaske

Suchtipp für den Bereich Katalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Wörter aus dem Titel:

Kompletter Titel:

Autor/in (Name, Vorname):

Erscheinungsjahr:

Schlagwörter:

Körperschaft:

Verlag:

ISBN:

ISSN:

Signatur / Notation:

Lade Trefferliste…

Aufsätze & mehr
3 Treffer

Suchmaske

Suchtipp für den Bereich Aufsätze & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Wörter aus dem Titel:

Autor/in (Name, Vorname):

Erscheinungsjahr:

Schlagwörter:

ISBN:

ISSN:

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Notation".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Entferne Filter: Thema: model check
Entferne Filter: Inhaltsanbieter: Springer Nature eBooks

Erscheinungszeitraum

Frühestes Erscheinungsjahr

Spätestes Erscheinungsjahr

Mehr Treffer

Weniger Treffer

Art der Quelle

eBooks 3 Treffer

Thema

input symbol 2 Treffer
pushdown automaton 2 Treffer
boolean program 1 Treffer
equivalence class 1 Treffer
inclusion problem 1 Treffer
4 weitere Werte:

Publikation

automata, languages and programming : 32nd international colloquium, icalp 2005, lisbon, portugal, july 11-15, 2005. proceedings 1 Treffer
developments in language theory : 11th international conference, dlt 2007, turku, finland, july 3-6, 2007. proceedings 1 Treffer
language and automata theory and applications : 6th international conference, lata 2012, a coruna, spain, march 5-9, 2012. proceedings 1 Treffer

Inhaltsanbieter

Springer Nature eBooks 3 Treffer

3 Treffer

Sortierung:

Detailansicht für Treffer 1 öffnen

2-Visibly Pushdown Automata

Carotenuto, Dario ; Murano, Aniello ; et al.

2007

Online E-Book

Wie komme ich dran?
Detailansicht für Treffer 2 öffnen

Congruences for Visibly Pushdown Languages

Alur, Rajeev ; Kumar, Viraj ; et al.

2005

Online E-Book

Wie komme ich dran?
Detailansicht für Treffer 3 öffnen

On Model Checking for Visibly Pushdown Automata

Van Nguyen, Tang ; Ohsaki, Hitoshi ; et al.

2012

Online E-Book

Wie komme ich dran?

Elektronische Zeitschriften

Suchmaske

Wörter aus dem Titel:

Schlagwörter:

Verlag:

ISSN:

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Notation".

Elektronische Zeitschriften (Datenbankauswahl)

Dialog-Fenster zur Auswahl der Datenbanken aus dieser Gruppe, die gleichzeitig zusammen durchsucht werden sollen. Sie können diesen Dialog jederzeit per Escapetaste schließen und verlassen. Die ausgewählten oder abgewählten Datenbanken werden automatisch übernommen.

Elektronische Zeitschriftenbibliothek (EZB) Datenbankbeschreibung anzeigen

Lade Trefferliste…

Suchergebnisse

Katalog Ermittle Trefferzahl…

Aufsätze & mehr 3 3 Treffer

Suchmaske

Suchergebnisse einschränken oder erweitern

Elektronische Zeitschriften

Katalog

Ermittle Trefferzahl…

Aufsätze & mehr
3 Treffer