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 3160823 obálek a 952034 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science)
Rok: 2001
ISBN: 9783540423454
OKCZID: 110054366
Citace (dle ČSN ISO 690):
BERRY, Gérard, ed., COMON, Hubert, ed. a FINKEL, Alain, ed. Computer aided verification: 13th international conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings. Berlin: Springer, 2001. xiii, 520 s. Lecture notes in computer science, 2102.
Anotace
Proceedings of the 13th International Conference, CAV 2001, held in Paris, France, July 18-22,2001. Offers topical sections on model checking and theorem proving automata techniques, verification core technology, and timed automata. Softcover.