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 2906712 obálek a 877379 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings ... Computer Science and General Issues) | |||||
Rok: 2007 AnotaceThe book constitutes the refereed proceedings of the 8th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in Nice, France in January 2007, co-located with the Symposium on Principles of Programming Languages (POPL 2007). The 21 revised full papers presented together with 3 invited lectures and 3 invited tutorials were carefully reviewed and selected from a total of 85 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods. Dostupné zdroje
|