SBB StaBiKat - results/shortlist

Suchergebnis

sortiert nach

Unscharfe Suche

Kurzliste

______________

Treffer filtern

______________

Weitere Kataloge
und Datenbanken

Basisklassifikation

Historische Systematik
1501 - 1955

Lesesaal-
systematik

______________

Auskunft

Bibliothekskonto

Anschaffungs-
vorschlag

______________

Datenschutz

Barrierefreiheit

Impressum
(Imprint)


			1 - 2 von 2
	Ihre Aktion	Suchen (Schlagwörter GND (Phrase) (XSP)) verteilte datenverarbeitung eingrenzen (Basisklassifikation (XBKL)) 54.23


	1.	Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 ; proceedings Bochmann, Gregor von. - Online-Ausg.. - Berlin [u.a.] : Springer, 1993

	2.	Computer aided verification : fourth international workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992 ; proceedings Bochmann, Gregor von. - Berlin : Springer, 1993

1 - 2 von 2

Wort		Typ		Anzahl

verteilte datenverarbeitung		Schlagwörter GND (Phrase) (XSP)		584
54.23		Basisklassifikation (XBKL)		87

1 - 2 von 2