Showing
1 - 2
results of
2
for search '
Johnson, Steven D.
'
Skip to content
VuFind
Language
English
Ελληνικά
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Johnson, Steven D.
Showing
1 - 2
results of
2
for search '
Johnson, Steven D.
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
Synthesis of Digital Designs from Recursion Equations
by
Johnson
,
Steven
D
.
Published 1984
Call Number:
Loading…
Located:
Loading…
Book
Loading…
2
Formal Methods in Computer-Aided Design Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings /
Published 2000
Other Authors:
“…
Johnson
,
Steven
D
.…”
Call Number:
Loading…
Located:
Loading…
Full Text via HEAL-Link
Electronic
eBook
Search Tools:
RSS Feed
–
Email Search
Related Subjects
ACM DOCTORAL DISSERTATION
Artificial Intelligence
Artificial intelligence
Complexity
Computational complexity
Computer Hardware
Computer hardware
Computer logic
Computer-Aided Engineering (CAD, CAE) and Design
Computer-aided engineering
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Mathematical logic
Ηλεκτρονικά κυκλώματα
Σχέδιο και κατασκευή
Βιβλιοθήκη & Κέντρο Πληροφόρησης
|
Πανεπιστήμιο Πατρών