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 3299922 obálek a 1000629 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Workshop on Formal Models : proceedings of the conference : [April 25-26, 2006, Přerov, Czech Republic] / edited Dusan Kolar and Alexander Meduna
Rok: 2006
ISBN: 9788086840208
NKP-CNB: cnb001651497
OCLC Number: (OCoLC)85710530
OKCZID: 110257369
Vydání: 1. vyd.
Citace (dle ČSN ISO 690):
Workshop on Formal Models: proceedings of the conference : [April 25-26, 2006, Přerov, Czech Republic] / edited Dusan Kolar and Alexander Meduna. 1. vyd. Editor Dušan KOLÁŘ, editor Alexander MEDUNA. Ostrava: MARQ, 2006, 96 s. Acta MOSIS, no. 106. I
Anotace
Koncepty teorie a aplikace formálních modelů
