3
results
Skip to content
Din konto
Log ud
KB Login
Sprog
English
Te Reo Māori
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
Keyword
Kursus
Titel
Tidsskriftstitel
Forfatter
Fag
ISBN/ISSN
Klassifikationsnummer
Call Number (LC)
Call Number (Dewey)
Call Number (Local)
Bib#
Barcode
Serier
Gennemse alfabetisk: Efter titel
Gennemse alfabetisk: Efter forfatter
Gennemse alfabetisk: Efter emne
Gennemse alfabetisk: By LC Call Number
Gennemse alfabetisk: By Dewey Call Number
Find
Udvidet
Page will reload when a filter is removed.
Applied Filters:
Foreslåede emner:
Remove Filter
Computer programs
Forfatter:
Remove Filter
International Haifa Verification Conference Haifa, Israel
Page will reload when a filter is removed.
Show filters (2)
Foreslåede emner:
Remove Filter
Computer programs
Forfatter:
Remove Filter
International Haifa Verification Conference Haifa, Israel
UC Library
Library Catalogue
Søgeresultater
3
results
Refine Results
Resultater pr. side
10
20
40
60
80
100
Sortér
Relevans
Nyeste øverst
Ældste øverst
Klassifikationsnummer
Forfatter
Titel
Vælg side
Email
Eksportér
Udskriv
Gem
Select result number 1
1
Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
Udgivet 2009
Findes i
Loading...
Klassifikationsnummer
Loading...
Connect to electronic resource
Electronisk
Conference Proceeding
eBog
Føj til favoritter
Saved in:
Select result number 2
2
Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
Udgivet 2007
Findes i
Loading...
Klassifikationsnummer
Loading...
Connect to electronic resource
Electronisk
Conference Proceeding
eBog
Føj til favoritter
Saved in:
Select result number 3
3
Hardware and software verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
Udgivet 2008
Findes i
Loading...
Klassifikationsnummer
Loading...
Connect to electronic resource
Electronisk
Conference Proceeding
eBog
Føj til favoritter
Saved in:
Vælg side
Email
Eksportér
Udskriv
Gem
Søgeredskaber:
”Modtag RSS Feed
Email denne søgning
Gem søgning
Back
Refine Results
Page will reload when a filter is selected or excluded.
Format
Conference Proceeding
3 results
3
Electronisk
3 results
3
eBog
3 results
3
Udgivelsesår
Fra:
Til:
Foreslåede emner
Computer input-output equipment
3 results
3
Computer programs
Computer software
3 results
3
Verification
3 results
3
Software architecture
2 results
2
Genre
Congresses
3 results
3
Sprog
English
3 results
3
Forfatter
International Haifa Verification Conference Haifa, Israel
SpringerLink (Online service)
2 results
2
Bin, Eyal
1 results
1
Chockler, Hana
1 results
1
Hu, Alan J. (Alan John)
1 results
1
Ur, Shmuel
1 results
1
Yorav, Karen
1 results
1
Ziv, Avi
1 results
1
se alt...
Klassifikationsnummer
Q - Science
3 results
3
Loading...