Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3148669 obálek a 950390 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Infinity'08 :10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008
Rok: 2008
ISBN: 9788021436978
NKP-CNB: cnb001812719
OCLC Number: (OCoLC)271610094
OCLC Number: (ocolc)271610094
OKCZID: 110266728
Citace (dle ČSN ISO 690):
HABERMEHL, Peter, ed. a VOJNAR, Tomáš, ed. Infinity'08: 10th International Workshop on Verification of Infinite-State Systems : a satellite workshop of Concur'08 : [preliminary proceedings] : Toronto, Canada, August 23, 2008. Brno: Faculty of Information Technology, Brno University of Technology, 2008. 68 s. FIT BUT Technical Report Series, FIT-TR-2008-006.
Anotace
Buďte první a doplňte chybějící anotaci.
