Visas
1 - 1
av
1
resultat för sökning '
'
Hoppa till innehåll
VuFind
Back to Portal
Språk
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
हिंदी
Հայերէն
Українська
Alla fält
Titel
Upphovsman
Ämne
Signum
ISBN/ISSN
Tagg
Sök
Avancerad
Rensa filter
Upphovsman:
Dillig, Isil
Rekommenderade teman:
Programming & scripting languages: general
Rensa filter
Visa begränsningar (2)
Upphovsman:
Dillig, Isil
Rekommenderade teman:
Programming & scripting languages: general
Sökresultat
Rekommenderade teman
Rekommenderade teman
Artificial intelligence
1
Computer modelling & simulation
1
Computer networking & communications
1
Computer science
1
Programming & scripting languages: general
Software Engineering
1
Visas
1 - 1
av
1
resultat för sökning '
'
, Sökningstid : 0,01s
Förfina resultatet
Sortera
Relevans
Tid (nyaste först)
Tid (äldsta först)
Signum
Upphovsman
Titel
1
Computer Aided Verification : 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Publicerad 2019
Signum:
Laddar…
Placering:
Laddar…
Get Fullteks
DOAB: description of the publication
Bokavsnitt
Lägg till i favoriter
Sparad:
Sökverktyg:
RSS-flöde
–
Skicka sökningen per e-post
–
Spara sökningen
Back
Förfina resultatet
Organisation
Directory of Open Access Books
1
Bibliotek
DOAB
1
Materialtyp
Bokavsnitt
1
Upphovsman
Dillig, Isil
Tasiran, Serdar
1
Utgivningsår
Från och med:
Till: