|   Suchergebnis   |       |       |       |      ©
Deutsch Englisch

______________

Speichern

Treffer filtern

Neue Suche

______________

Weitere Kataloge
und Datenbanken

Basisklassifikation

Historische Systematik
1501 - 1955

Lesesaal-
systematik

______________

Auskunft

Bibliothekskonto

Fernleihe

Anschaffungs-
vorschlag

______________

Datenschutz

Barrierefreiheit

Impressum
(Imprint)
1 - 3 von 3
      
* Ihre Aktion  Suchen (Schlagwörter GND (Phrase) (XSP)) very large scale integration
 eingrenzen (Basisklassifikation (XBKL)) 54.20
Bücher 1.  Formal hardware verification : methods and systems in comparison
Kropf, Thomas *1961-*. - Berlin : Springer, 1997
Bücher 2.  Higher order logic and hardware verification
Melham, Thomas F.. - 1. publ. - Cambridge : Cambridge Univ. Press, 1993
Bücher 3.  Automatische Synthese eines optimierten Komplexgatters aus einem booleschen Ausdruck
Theißinger, Markus. - Sankt Augustin : GMD, 1992
1 - 3 von 3
      
Wort   Typ   Anzahl
54.20 Basisklassifikation (XBKL) 208
very large scale integration Schlagwörter GND (Phrase) (XSP) 448
 
 1 - 3 von 3