Showing
1 - 4
results of
4
for search '
Henzinger, Thomas A.
'
Skip to content
Toggle navigation
Čeština
Log Out
Institutional Login
All Fields
Title
Author
Subject heading
LCC call number
Old call number
ISBN/ISSN
Tag
System number
Find
Advanced Search
Home
Author
Henzinger, Thomas A.
Showing
1 - 4
results of
4
for search '
Henzinger, Thomas A.
'
, query time: 0.02s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings
Published:
1998
Located:
Loading...
Book
Loading...
Saved in:
Computer aided verification : 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Published:
1996
Located:
Loading...
Book
Loading...
Saved in:
Embedded software : first international workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001 : proceedings
Published:
2001
Located:
Loading...
Book
Loading...
Saved in:
Mathematical and Engineering Methods in Computer Science : 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers
Published:
2013
Located:
Loading...
Plný text
eBook
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
algoritmizace
architektura výpočetních systémů
distribuované algoritmy
hybridní počítače
informatika
podnikové informační systémy
počítačové sítě
software
softwarové inženýrství
verifikace programu
×
Loading...
