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 3160459 obálek a 951889 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Logic Based Program Synthesis & Transformation
Rok: 2001
ISBN: 9783540421276
OKCZID: 110104036
Citace (dle ČSN ISO 690):
LAU, Kung-Kiu, ed. Logic based program synthesis and transformation: 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers. Berlin: Springer, 2001. viii, 181 s. Lecture notes in computer science, 2042.
Anotace
Presents papers from the 10th Intl Workshop, LOPSTR 2000, held in London, UK, July 24-28, 2000. Synthesis, transformation, analysis, specialization, and abstract interpretation are discussed. Softcover.