Showing
1 - 1
results of
1
for search '
TACAS (konference) (19. : 2013 : Řím, Itálie)
'
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
TACAS (konference) (19. : 2013 : Řím, Itálie)
Showing
1 - 1
results of
1
for search '
TACAS (konference) (19. : 2013 : Řím, Itálie)
'
, query time: 0.03s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Tools and algorithms for the construction and analysis of systems : 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice...
Published:
2013
Located:
Loading...
Plný text
eBook
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
algoritmizace
informatika
počítače
programovací jazyky
softwarové inženýrství
×
Loading...
