Toon
1 - 1
resultaten van
1
Voor zoekopdracht '
"New York City"
'
Ga door naar de inhoud
VuFind
Back to Portal
Taal
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
हिंदी
Հայերէն
Українська
Alle velden
Titel
Auteur
Onderwerp
Plaatsingsnummer
ISBN/ISSN
Tag
Zoek
Geavanceerd
Wis alle filters
Gesuggereerde onderwerpen:
Mathematical theory of computation
Wis alle filters
Toon filters (1)
Gesuggereerde onderwerpen:
Mathematical theory of computation
Zoekresultaten - "New York City"
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Artificial intelligence
1
Computer programming / software development
1
Information technology: general issues
1
Mathematical theory of computation
Software Engineering
1
Systems analysis & design
1
Toon
1 - 1
resultaten van
1
Voor zoekopdracht '
"New York City"
'
, zoektijd: 0,07s
Verfijn jouw resultaten
Sorteren
Relevantie
Datum Aflopend
Datum Oplopend
Plaatsingsnummer
Auteur
Titel
1
Computer Aided Verification : 31st International Conference, CAV 2019,
New
York
City
, NY, USA, July 15-18, 2019, Proceedings, Part II
Gepubliceerd in 2019
Plaatsingsnummer:
Wordt geladen…
Locatie:
Wordt geladen…
Get Fullteks
DOAB: description of the publication
Hoofdstuk
Toevoegen aan favorieten
Bewaard in:
Zoekinstrumenten:
Abonneren op RSS-datastromen
–
Zoekopdracht versturen
–
Sla zoekopdracht op
Terug
Verfijn jouw resultaten
Instelling
Directory of Open Access Books
1
Bibliotheek
DOAB
1
Formaat
Hoofdstuk
1
Auteur
Dillig, Isil
1
Tasiran, Serdar
1
Publicatiejaar
Van:
Tot: