Search results
Title Využitie inšpirácie z biológie v informačných technológiách Author Labátová Stanislava 1942- SAVINFO - Ústav informatiky SAV Source document Kybernetika a informatika. (2002), S. : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002 Category AED - Scientific papers in domestic peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2002 
article
Title Verification of real-time control programs Author Fogel Jaroslav 1945- SAVINFO - Ústav informatiky SAV Source document Kybernetika a informatika. (2002), S. 73-74 : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002 Category AED - Scientific papers in domestic peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2002 article
Title Analyticko hierarchický proces pre určenie optimálnej koalície agentov Author Frankovič Baltazár 1927-2008 Co-authors Budinská Ivana 1964- SAVINFO - Ústav informatiky SAV Dang Thanh Tung 1973- Source document Kybernetika a informatika. (2002), S. : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002 Category AED - Scientific papers in domestic peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2002 article
Title Temporal logic of programs Author Kotmanová Daniela SAVINFO - Ústav informatiky SAV Source document Kybernetika a informatika. (2002), S. 69-70 : Medzinárodná konferencia SSKI. - Bratislava : SSKI, 2002 Category AED - Scientific papers in domestic peer-reviewed proceedings, monographs Category of document (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok Year 2002 article