Search for: [Subject and Keywords = sieci Petriego] OR [Subject and Keywords = binarne diagramy decyzyjne] OR [Subject and Keywords = układy programowalne] OR [Subject and Keywords = układy FPGA] OR [Subject and Keywords = język UML] OR [Subject and Keywords = układy cyfrowe] OR [Subject and Keywords = modelowanie] OR [Subject and Keywords = systemy reaktywne] OR [Subject and Keywords = język SpecCharts] OR [Subject and Keywords = programowa maszyna stanów] OR [Subject and Keywords = notacja graficzna] OR [Subject and Keywords = diagramy statechart] OR [Subject and Keywords = stany proste] OR [Subject and Keywords = stany złożone] OR [Subject and Keywords = zdarzenia] OR [Subject and Keywords = tranzycje proste] OR [Subject and Keywords = tranzycje złożone] OR [Subject and Keywords = atrybut historii] OR [Subject and Keywords = stany synchronizujące] OR [Subject and Keywords = determinizm] OR [Subject and Keywords = system Cosma] OR [Subject and Keywords = systemy CAD] OR [Subject and Keywords = HiCoS] OR [Subject and Keywords = język SSF] OR [Subject and Keywords = rozprawa doktorska] OR [Subject and Keywords = nauki techniczne] OR [Subject and Keywords = informatyka] OR [Subject and Keywords = informatyka \(KBN\)] OR [Subject and Keywords = podstawy teoretyczne informatyki \(PKT\)] OR [Title = Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych] OR [Creator = Łabiak, Grzegorz]

Number of results: 483