Showing
1 - 4
results of
4
for search '
Damm, Werner
'
Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
Dear users, the library is open in restricted mode from December 18, 2020 until further notice. More information
here
.
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Home
Author
Damm, Werner
Showing
1 - 4
results of
4
for search '
Damm, Werner
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Die IO- und OI-Hierarchien als Interpretation von Schemata mit Rekursion auf höheren Typen
by
Damm
,
Werner
Published:
1980
Located:
Loading...
Book
Loading...
Saved in:
Computer Aided Verification : 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings
Published:
2007
Located:
Loading...
Get full text
eBook
Saved in:
Formal techniques in real-time and fault-tolerant systems : 7th international symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : procee...
Published:
2002
Located:
Loading...
Book
Loading...
Saved in:
Computer aided verification : 19th international conference, CAV 2007, Berlin, Germany, July 3-7, 2007 : proceedings
Published:
2007
Located:
Loading...
Get full text
Book
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
softwarové inženýrství
kvalita programu
informatika
matematická logika
operační systémy pro řízení v reálném čase
počítače
umělá inteligence
verifikace programu
×
Loading...