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 3151204 obálek a 950590 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Concurrency and Hardware Design
Autor: Cortadella, Jordi.
Rok: 2003
ISBN: 9783540001997
OKCZID: 110068238
Citace (dle ČSN ISO 690):
CORTADELLA, Jordi, ed., YAKOVLEV, Alex, ed. a ROZENBERG, Grzegorz, ed. Concurrency and hardware desing: advances in petri nets. Berlin: Springer, 2002. IX, 343 s. Lecture notes in computer science, 2549.
Anotace
This LNCS State-of-the-Art Survey is devoted to the relatively old and well-known behavioral paradigm in computing, concurrency, and to the ways in which concurrency is exhibited or can be exploited in digital hardware devices. The nine chapters presented are organized in four parts on formal methods, asynchronous circuits, embedded systems design, and timed verification and performance analysis.