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.
Web services and formal methods :third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
Rok: c2006
ISBN: 9783540388623
OKCZID: 110046514
Citace (dle ČSN ISO 690):
BRAVETTI, Mario, ed., NÚŇEZ, Manuel, ed. a ZAVATTARO, Gianluigi, ed. Web services and formal methods: third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings. Berlin: Springer, c2006. x, 287 s. Lecture notes in computer science, 4184.
Anotace
This book constitutes the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in Vienna, Austria in September 2006 in conjunction with the Fourth International Conference on Business Process Management, BPM 2006. The 15 revised full papers presented together with 3 invited lectures were carefully reviewed and selected from 40 submissions. The main topics of include: protocols and standards for WS (SOAP, WSDL, UDDI, etc.); languages and description methodologies for Coreography/Orchestration/Workflow (BPML, XLANG and BizTalk, WSFL, WS-BPEL, etc.); coordination techniques for WS (transactions, agreement, coordination services, etc.); semantics-based dynamic WS discovery services (based on Semantic Web/Ontology techniques or other semantic theories); security, performance evaluation and quality of service of WS; semi-structured data and XML related technologies.