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 3150311 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Functional and logic programming :5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings
Rok: 2001
ISBN: 9783540417392
OKCZID: 110052519
Citace (dle ČSN ISO 690):
KUCHEN, Herbert, ed. a UEDA, Kazunori, ed. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings. Berlin: Springer, 2001. x, 389 s. Lecture notes in computer science, 2024.
Anotace
Proceedings of the Fifth International Symposium, FLOPS 2001, on Functional and Logic Programming, held in Tokyo, Japan, in March 2001. Main topics of interest include functional programming, logic programming, functional logic programming, types, and program analysis and transformation. Softcover.