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.
Lectures on formal methods and perfomance analysis : first EEF/Euro summer school on trends in computer science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures
Rok: 2001
ISBN: 9783540424796
OKCZID: 110035503
Citace (dle ČSN ISO 690):
BRINKSMA, Ed, ed., KATOEN, Joost-Pieter, ed. a HERMANNS, Holger, ed. Lectures on formal methods and perfomance analysis: first EEF/Euro summer school on trends in computer science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures. Berlin: Springer, 2001. vi, 429 s. Lecture notes in computer science, 2090.
Anotace
Presents the state of the art of research and tool development for the promising integrated approach towards modeling and analysis of functional and performance aspects of reactive systems. Revised lectures. Softcover.