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 3152121 obálek a 950676 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science)
Rok: 2002
ISBN: 9783540439134
OKCZID: 110092822
Citace (dle ČSN ISO 690):
HERMANNS, Holger, ed. a SEGALA, Roberto, ed. Process algebra and probabilistic methods: performance modeling and verification : second joint international workshop PAPM-PROBMIV 2002, Copenhagen, Debmark, Denmark, July 25-26, 2002. Berlin: Springer, c2002. x, 214 s. Lecture notes in computer science, v. 2399.
Anotace
Proceedings of the 10th Intl Conference on Conceptual Structures, held July 15-17, 2002 in Borovets, Bulgaria. Papers organized in topical sections on data and knowledge structures, semantics, interfaces and applications, and logical and mathematical foundations. Softcover.