Näytetään
1 - 1
yhteensä
1
tuloksesta haulle '
'
Siirry sisältöön
Oma tili
Kirjaudu ulos
Kirjaudu sisään
Kieli
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
Hrvatski
हिंदी
Kaikki kentät
Nimeke
Tekijä
Aihe
Hyllypaikka
ISBN/ISSN
Tagi
Hae
Tarkennettu
Poista rajaukset
Aihe-ehdotuksia:
Formal methods (Computer science)
Poista rajaukset
Näytä rajaukset (1)
Aihe-ehdotuksia:
Formal methods (Computer science)
Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
Formal methods (Computer science)
Näytetään
1 - 1
yhteensä
1
tuloksesta haulle '
'
, hakuaika: 0,10s
Tarkenna hakua
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Luokka
Tekijä
Nimeke
1
Lectures on formal methods and performance analysis : first EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures /
Julkaistu 2001
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Näytä QR-koodi
Lisää suosikkeihin
Tallennettuna:
Työkalut:
RSS-syöte
—
Lähetä haku sähköpostilla
—
Tallenna haku
Takaisin
Rajaa hakua
Organisaatio
Thư viện Trường Đại học Đà Lạt
1
Aineistotyyppi
Sách giấy
1
Hyllypaikka
Q - Khoa học
1
Tekijä
Brinksma, Ed
1
EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Netherlands)
1
Hermanns, Holger, 1967-
1
Katoen, Joost-Pieter
1
Genre
Congresses
1
Julkaisuvuosi
Alkaen:
Päättyen:
Lataa...