Showing
1 - 3
results of
3
for search '
Kropf, Thomas
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Kropf, Thomas
Showing
1 - 3
results of
3
for search '
Kropf, Thomas
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Formal Hardware Verification Methods and Systems in Comparison /
Published 1997
Other Authors:
“…
Kropf
,
Thomas
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
2
Formal hardware verification : methods and systems in comparison /
Published 1997
Other Authors:
“…
Kropf
,
Thomas
, 1961-…”
Call Number:
Loading…
Located:
Loading…
Book
Loading…
3
Correct Hardware Design and Verification Methods 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings /
Published 1999
Other Authors:
“…
Kropf
,
Thomas
…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
Computer Engineering
Computer Hardware
Computer engineering
Computer hardware
Computer logic
Logics and Meanings of Programs
Architecture, Computer
Complexity
Computational complexity
Computer System Implementation
Mathematical Logic and Formal Languages
Mathematical logic
Software Engineering
Software engineering
Ολοκλήρωση πολύ μεγάλης κλίμακας
Ολοκληρωμένα κυκλώματα
Σχέδιο και κατασκευή
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών