E whakaatuhia ana ngā hua e
1 - 3
o te
3
mō te rapu '
'
Tīpoka atu ki te ihirangi
Tō pūkete
Takiputa
Takiuru ā-Whare Wānanga
Reo
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
Kupumatua
Waehere akoranga
Taitara
Taitara hautaka
Kaituhi
Marau
ISBN/ISSN
Tau karanga
Tau karanga (LC)
Tau karanga (Dewey)
Tau karanga (Local)
Bib#
Waehere Tāekaeka
Punipuni
Tirohia ā-arapū: ā-taitara
Tirohia ā-arapū: ā-kaituhi
Tirohia ā-arapū: ā-kaupapa
Tirohia ā-arapū: By LC Call Number
Tirohia ā-arapū: By Dewey Call Number
Kimihia
Whatutoto
Page will reload when a filter is removed.
Applied Filters:
Kaituhi:
Remove Filter
International Haifa Verification Conference Haifa, Israel
Reo:
Remove Filter
English
Ngā kaupapa kua tūtohitia:
Remove Filter
Computer programs
Page will reload when a filter is removed.
Whakaatuhia ngā tātari (3)
Kaituhi:
Remove Filter
International Haifa Verification Conference Haifa, Israel
Reo:
Remove Filter
English
Ngā kaupapa kua tūtohitia:
Remove Filter
Computer programs
UC Library
Putumōhio Whare Pukapuka
Ngā hua rapu
E whakaatuhia ana ngā hua e
1 - 3
o te
3
mō te rapu '
'
Whakamahine hua
Ngā hua kei ia whārangi
10
20
40
60
80
100
Kōmakatia
Hāngaitanga
Rā heheke
Rā pipiki
Tau karanga
Kaituhi
Taitara
Select all entries on the page
Īmēra
Kaweaketia
Tā
Tiakina
Tīpakona te hua 1
1
Hardware and software: verification and testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 : proceedings /
I whakaputaina 2009
Kei
E uta ana...
Tau karanga
E uta ana...
Connect to electronic resource
Tāhiko
E hui ana
īPukapuka
Tiakina ki te rārangi
I tiakina ki:
Tīpakona te hua 2
2
Hardware and software, verification and testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 ; revised selected papers /
I whakaputaina 2007
Kei
E uta ana...
Tau karanga
E uta ana...
Connect to electronic resource
Tāhiko
E hui ana
īPukapuka
Tiakina ki te rārangi
I tiakina ki:
Tīpakona te hua 3
3
Hardware and software verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings /
I whakaputaina 2008
Kei
E uta ana...
Tau karanga
E uta ana...
Connect to electronic resource
Tāhiko
E hui ana
īPukapuka
Tiakina ki te rārangi
I tiakina ki:
Select all entries on the page
Īmēra
Kaweaketia
Tā
Tiakina
Ngā utauta rapu:
Tīkina te whāngai RSS
Īmēratia tēnei rapu
Tiakina te rapu
Hoki
Whakamahine hua
Page will reload when a filter is selected or excluded.
Hōputu
E hui ana
3 ngā hua
3
Tāhiko
3 ngā hua
3
īPukapuka
3 ngā hua
3
Tau whakaputa
Nō te:
Ki:
Ngā kaupapa kua tūtohitia
Computer input-output equipment
3 ngā hua
3
Computer programs
Computer software
3 ngā hua
3
Verification
3 ngā hua
3
Software architecture
2 ngā hua
2
Momo
Congresses
3 ngā hua
3
Reo
English
Kaituhi
International Haifa Verification Conference Haifa, Israel
SpringerLink (Online service)
2 ngā hua
2
Bin, Eyal
1 ngā hua
1
Chockler, Hana
1 ngā hua
1
Hu, Alan J. (Alan John)
1 ngā hua
1
Ur, Shmuel
1 ngā hua
1
Yorav, Karen
1 ngā hua
1
Ziv, Avi
1 ngā hua
1
see all…
Tau karanga
Q - Science
3 ngā hua
3
E uta ana...