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 2885267 obálek a 870060 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Coping with complexity and undecidability in automated verification of computer-based systems : thesis of a lecture within a full professor appoinment in the area of computer science and engineering = Řešení problémů spojených se složitostí a nerozhodnutelností automatizované verifikace počítačových systémů : teze přednášky k profesorskému jmenovacímu řízení v oboru Výpočetní technika a informatika



Autor: Vojnar, Tomáš
Rok: 2011
ISBN: 9788021442511
NKP-CNB: cnb002168581
OCLC Number: (OCoLC)773170580
OKCZID: 111177423

Citace (dle ČSN ISO 690):
VOJNAR, Tomáš. Coping with complexity and undecidability in automated verification of computer-based systems: thesis of a lecture within a full professor appoinment in the area of computer science and engineering = Řešení problémů spojených se složitos


Anotace

Buďte první a doplňte chybějící anotaci.


Dostupné zdroje

NK Praha


Napište na knížku první komentář!

Od: (127.0.0...)