"4QPDB7!8nhdgBVWVq6yBYzavXo4=" . "0"^^ . "0"^^ . "0"^^ . . "http://www.isvav.cz/h12/resultDetail.do?rowId=RIV%2F00216305%3A26230%2F10%3APU89550!RIV12-GA0-26230___"^^ . . . . "RIV/00216305:26230/10:PU89550!RIV12-GA0-26230___" . "Proceedings ICINCO 2010" . . "1"^^ . . "Multi-Terminal BDDs in Microprocessor-Based Control" . . . "\u010Cl\u00E1nek ve sborn\u00EDku m\u00E1 uvedeno ISBN nebo ISSN, ale to nen\u00ED v datab\u00E1zi Conference Proceedings Citation Index spole\u010Dnosti Thomson Reuters." . . . "0"^^ . .