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 3159119 obálek a 951465 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings (Lecture Notes in Computer Science)
Rok: 2002
ISBN: 9783540000297
OKCZID: 110071094
Citace (dle ČSN ISO 690):
GEORGE, Chris, ed. a MIAO, Huaikou, ed. Formal methods and software engineering: 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings. Berlin: Springer, 2002. XI, 626 s. Lecture notes in computer science, 2495.
Anotace
Proceedings of the 4th International Conference on Formal Engineering Methods, ICFEM 2002, held October 21-25, 2002 in Shanghai, China. Softcover.
Zdroj anotace: OKCZ - ANOTACE Z WEBU