Showing
1 - 3
results of
3
for search '
'
Skip to content
Toggle navigation
VuFind
Pišite nam
Vaš račun
Odjava
Prijava
Jezik
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
-- Naslov
-- Avtor
-- Tema
-- Signatura
-- ISBN/ISSN
-- Oznaka
BrowZine
Raziskovalni vodiči
Išči
Napredno
Reset Filters
Zvrst:
zborniki
Priporočene teme:
računalniški sistemi
IN
računalništvo
Reset Filters
Show filters (3)
Zvrst:
zborniki
Priporočene teme:
računalniški sistemi
IN
računalništvo
Išči:
Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
računalniški sistemi
računalništvo
Embedded computer systems
1
High performance computing
1
aplikacije
1
elektrotehnika
1
metode programiranja
1
več ...
modeli
1
porazdeljeni sistemi
1
porazdeljeno procesiranje
1
programska oprema
1
testiranje
1
validacija
1
verifikacija
1
vgrajeni sistemi
1
vrednotenje
1
zanesljivost
1
manj ...
Showing
1 - 3
results of
3
for search '
'
, čas poizvedbe: 0.06s
Refine Results
Razvrsti
Po pomembnosti
Po padajočem datumu
Po rastočem datumu
PO Signaturi
PO AvtorJU
PO Naslovu
1
High performance embedded computing handbook : a systems perspective /
Izdano 2008
Signatura:
Nalaganje...
Nahaja se:
Nalaganje...
Knjiga
Nalaganje...
Prikaži QR kodo
Dodaj v priljubljene
Shranjeno v:
2
Entwurf und Betrieb verteilter Systeme : Fachtagung der Sonderforschungsbereiche 124 und 182 Dagstuhl, 19.-21. September 1990, Proceedings /
Izdano 1990
Signatura:
Nalaganje...
Nahaja se:
Nalaganje...
Knjiga
Nalaganje...
Prikaži QR kodo
Dodaj v priljubljene
Shranjeno v:
3
Formal methods for trustworthy computer systems (FM89) : report from FM89: A workshop on the assessment of formal methods for trustworthy computer systems, 23-27 July 1989, Halifax...
Izdano 1990
Signatura:
Nalaganje...
Nahaja se:
Nalaganje...
Conference Proceeding
Knjiga
Nalaganje...
Prikaži QR kodo
Dodaj v priljubljene
Shranjeno v:
Iskalna orodja:
RSS
—
Pošljite iskanje po emailu
—
Shrani iskanje
Nazaj
Zoži iskanje
Institucija
UKM
3
Knjižnica
UKM-Gospejna 10
3
Format
Knjiga
3
Conference Proceeding
1
Avtor
Bond, Robert A.
1
Craigen, Dan
1
Härder, Theo
1
Martinez, David R.
1
Vai, M. Michael
1
Workshop on the assessment of formal methods for trustworthy computer systems Halifax)
1
Jezik
English
2
German
1
Zvrst
zborniki
posvetovanja
2
Handbooks, manuals, etc
1
priročniki
1
Leto izdaje
Od:
Za:
×
Nalaganje...