検索結果
1 - 10
結果 /
10
検索語 '
"1936"
'
コンテンツを見る
Toggle navigation
VuFind
ご意見
処理一覧
ログアウト
ログイン
言語
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
UM:NIK
Katalog UkM
Katalog UkM
-- タイトル
-- 著者
-- 主題
-- 請求記号
-- ISBN/ISSN
-- タグ
BrowZine
Raziskovalni vodiči
検索
詳細検索
フィルターのリセット
著者:
Kapus, Tatjana
AND
Časar, Aleš
フィルターのリセット
フィルター表示 (2)
著者:
Kapus, Tatjana
AND
Časar, Aleš
検索: "1936"
検索結果
1 - 10
結果 /
10
検索語 '
"1936"
'
, 処理時間: 0.10秒
結果の絞り込み
ソート
適合順
出版年降順
出版年昇順
請求記号順
著者順
タイトル順
1
Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : letno poročilo o rezultatih raziskovalnega projekta v letu 1997 /
著者:
Brezočnik, Zmago.
,
Kapus, Tatjana.
,
Horvat, Bogomir,
1936
-
,
Dugonik, Bogdan.
,
Balan, Filip Samo.
,
Meolic, Robert.
,
Dreo, Gabrijela.
,
Časar, Aleš.
出版事項 1998
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
2
COST 247 "Verification and validation methods for formal descriptions" : letno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : številka pogodbe MS-20/...
著者:
Brezočnik, Zmago.
,
Kapus, Tatjana.
,
Horvat, Bogomir,
1936
-
,
Kapus-Kolar, Monika.
,
Frey-Pučko, Marjeta.
,
Štrakl, Marjan.
,
Časar, Aleš.
,
Meolic, Robert.
出版事項 1996
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
3
COST 247 "Verification and validation methods for formal descriptions" : letno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 : št. pogodbe MS-20/95 /...
著者:
Brezočnik, Zmago.
,
Kapus, Tatjana.
,
Horvat, Bogomir,
1936
-
,
Kapus-Kolar, Monika.
,
Frey-Pučko, Marjeta.
,
Štrakl, Marjan.
,
Časar, Aleš.
,
Meolic, Robert.
出版事項 1997
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
4
Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : zaključno poročilo o rezultatih raziskovalnega projekta v letu 1998 /
著者:
Brezočnik, Zmago.
,
Kapus, Tatjana.
,
Horvat, Bogomir,
1936
-
,
Dugonik, Bogdan.
,
Balan, Filip Samo.
,
Meolic, Robert.
,
Dreo-Rodošek, Gabrijela.
,
Časar, Aleš.
出版事項 1999
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
5
Zagotavljanje pravilnosti paralelnih in porazdeljenih sistemov : letno poročilo o rezultatih opravljenega znanstveno-raziskovalnega dela na področju temeljnega raziskovanja : št. p...
著者:
Brezočnik, Zmago.
,
Kapus, Tatjana.
,
Horvat, Bogomir,
1936
-
,
Dugonik, Bogdan.
,
Balan, Filip Samo.
,
Meolic, Robert.
,
Dreo-Rodošek, Gabrijela.
,
Štrakl, Marjan.
,
Časar, Aleš.
出版事項 1997
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
6
COST 247 "Verification and validation methods for formal descriptions" : zaključno poročilo o rezultatih opravljenega raziskovalnega dela na projektu COST 247 /
著者:
Brezočnik, Zmago.
,
Kapus, Tatjana.
,
Horvat, Bogomir,
1936
-
,
Kapus-Kolar, Monika.
,
Frey-Pučko, Marjeta.
,
Štrakl, Marjan.
,
Časar, Aleš.
,
Meolic, Robert.
,
Dugonik, Bogdan.
出版事項 1998
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
7
COST 247 International Workshop on Applied Formal Methods in System Design, June 17-19, 1996, Maribor, Slovenia /
著者:
Brezočnik, Zmago.
,
Balan, Filip Samo.
,
Časar, Aleš.
,
Dugonik, Bogdan.
,
Horvat, Bogomir,
1936
-
,
Jagodič, Marko, 1935-
,
Kapus, Tatjana.
,
Kruščič, Andrej.
,
Meolic, Robert.
,
Frey-Pučko, Marjeta.
,
Štrakl, Marjan.
出版事項 1996
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
8
Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega raziskovalnega dela na temeljnem raziskovalnem projektu v letu 1994 [za MZT Slovenije] : temeljni raziskov...
著者:
Brezočnik, Zmago
,
Horvat, Bogomir,
1936
-
,
Kapus, Tatjana.
,
Dugonik, Bogdan.
,
Dreo-Rodošek, Gabrijela.
,
Balan, Filip Samo.
,
Stergar, Janez.
,
Babič, Rudolf.
,
Solar, Mitja.
,
Meolic, Robert.
,
Štrakl, Marjan.
,
Časar, Aleš.
出版事項 1994
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
9
Formalna verifikacija sistemov : fazno poročilo o rezultatih opravljenega dela na temeljnem raziskovalnem projektu v letu 1993 [za MZT Slovenije] : temeljni raziskovalni projekt P2...
著者:
Brezočnik, Zmago
,
Horvat, Bogomir,
1936
-
,
Kapus, Tatjana.
,
Dugonik, Bogdan.
,
Dreo-Rodošek, Gabrijela.
,
Balan, Filip Samo.
,
Stergar, Janez.
,
Babič, Rudolf.
,
Solar, Mitja.
,
Meolic, Robert.
,
Štrakl, Marjan.
,
Časar, Aleš.
出版事項 1993
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
10
Formalna verifikacija sistemov : zaključno poročilo o rezultatih opravljenega znanstveno-raziskovalnega dela na področju temeljnega raziskovanja : številka pogodbe J2-5122-0796-95...
著者:
Brezočnik, Zmago.
,
Horvat, Bogomir,
1936
-
,
Kapus, Tatjana.
,
Dugonik, Bogdan.
,
Dreo-Rodošek, Gabrijela.
,
Balan, Filip Samo.
,
Stergar, Janez.
,
Babič, Rudolf.
,
Solar, Mitja.
,
Meolic, Robert.
,
Štrakl, Marjan.
,
Časar, Aleš.
出版事項 1996
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
QRコードを表示する
お気に入りに追加
保存先:
検索ツール:
RSSフィード
—
検索結果をメール
—
検索の保存
戻る
絞込み検索
機関
UKM
10
図書館
UKM-Gospejna 10
10
フォーマット
図書
10
著者
Brezočnik, Zmago
10
Horvat, Bogomir, 1936-
10
Kapus, Tatjana
Meolic, Robert
10
Časar, Aleš
Dugonik, Bogdan
8
もっと見る ...
Štrakl, Marjan
8
Balan, Filip Samo
7
Dreo-Rodošek, Gabrijela
5
Frey-Pučko, Marjeta
4
Babič, Rudolf
3
Kapus-Kolar, Monika
3
Solar, Mitja
3
Stergar, Janez
3
Fakulteta za elektrotehniko, računalništvo in informatiko (Maribor)
2
Dreo, Gabrijela
1
Inštitut Jožef Stefan (Ljubljana)
1
Jagodič, Marko, 1935-
1
Kruščič, Andrej
1
すべて見る ...
隠す ...
言語
Slovenian
9
English
5
Undetermined
1
出版年
From:
To:
×
ロード中...