Näytetään
1 - 2
yhteensä
2
tuloksesta
Siirry sisältöön
VuFind
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
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Kaikki kentät
Nimeke
Tekijä
Aihe
Hyllypaikka
ISBN/ISSN
Tagi
Hae
Tarkennettu
Sivu ladataan uudelleen, kun suodatin poistetaan.
Poista rajaukset
Käytetyt suodattimet:
Aihe-ehdotuksia:
Poista suodatin
Communicating Sequential Processes (computer Programs)
Sivu ladataan uudelleen, kun suodatin poistetaan.
Poista rajaukset
Näytä rajaukset (1)
Aihe-ehdotuksia:
Poista suodatin
Communicating Sequential Processes (computer Programs)
Hakutulokset
Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
Communicating Sequential Processes (computer Programs)
Computer Programs
2
Näytetään
1 - 2
yhteensä
2
tuloksesta
Tarkenna hakua
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Luokka
Tekijä
Nimeke
1
Specification and Proof in real- time CSP /
Tekijä
Davis, Jim
Julkaistu 1993
Hyllypaikka:
Lataa…
Sijainti:
Lataa…
Kirja
Lataa…
QR-koodi
Yksittäinen tietue
Lisää suosikkeihin
Tallennettuna:
2
Specification and Proof in real- time CSP /
Tekijä
Davis, Jim
Julkaistu 1993
Hyllypaikka:
Lataa…
Sijainti:
Lataa…
Kirja
Lataa…
QR-koodi
Yksittäinen tietue
Lisää suosikkeihin
Tallennettuna:
Työkalut:
RSS-syöte
Lähetä haku sähköpostilla
Tallenna haku
Takaisin
Tarkenna hakua
Sivu ladataan uudelleen, kun suodatin valitaan tai jätetään pois.
Organisaatio
DUN
1 tulosta
1
MyInstitution
1 tulosta
1
Kirjasto
GC
1 tulosta
1
Library A
1 tulosta
1
Aineistotyyppi
Kirja
2 tulosta
2
Hyllypaikka
Q - Science
2 tulosta
2
Tekijä
Davis, Jim
2 tulosta
2
Kieli
englanti
2 tulosta
2
Julkaisuvuosi
Alkaen:
Päättyen: