Näytetään
1 - 1
yhteensä
1
tuloksesta haulle '
'
Siirry sisältöön
VuFind
Back to Portal
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:
Programming & scripting languages: general
Tekijä:
Tasiran, Serdar
Poista rajaukset
Näytä rajaukset (2)
Aihe-ehdotuksia:
Programming & scripting languages: general
Tekijä:
Tasiran, Serdar
Hakutulokset
Aihe-ehdotuksia
Aihe-ehdotuksia
Artificial intelligence
1
Computer modelling & simulation
1
Computer networking & communications
1
Computer science
1
Programming & scripting languages: general
Software Engineering
1
Näytetään
1 - 1
yhteensä
1
tuloksesta haulle '
'
, hakuaika: 0,01s
Tarkenna hakua
Järjestä
Relevanssi
Aika (uusimmat ensin)
Aika (vanhimmat ensin)
Luokka
Tekijä
Nimeke
1
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Julkaistu 2019
Hyllypaikka:
Lataa…
Sijainti:
Lataa…
Get Fullteks
DOAB: description of the publication
Kirjan osa
Lisää suosikkeihin
Tallennettuna:
Työkalut:
RSS-syöte
–
Lähetä haku sähköpostilla
–
Tallenna haku
Takaisin
Tarkenna hakua
Organisaatio
Directory of Open Access Books
1
Kirjasto
DOAB
1
Aineistotyyppi
Kirjan osa
1
Tekijä
Dillig, Isil
1
Tasiran, Serdar
Julkaisuvuosi
Alkaen:
Päättyen: