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 3153405 obálek a 950873 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings (Lecture Notes in Computer Science)
Rok: 2002
ISBN: 9783540438571
OKCZID: 110037451
Citace (dle ČSN ISO 690):
BOITEN, Eerke, ed. a MÖLLER, Bernhard, ed. Mathematics of program construction: 6th international conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002 : proceedings. Berlin: Springer, c2002. x, 262 s. Lecture notes in computer science, v. 2386.
Anotace
Proceedings of the 6th Intl Conference, MPC 2002, held July 8-10, 2002 in Dagstuhl Castle, Germany. Topics include programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics. Softcover.