| 13301 |
Technology and engineering reviews and research advances I : selected, peer reviewed papers from the 5th International Graduate Conference on Engineering, Science & Humanity (IGCESH 2014), August 19-21, 2014, Skudai, Malaysia / edited by Denni Kurniawan, Fethma M. Nor and Rozzeta Dolah
|
Science & Humanity Skudai International Graduate Conference on Engineering
|
uuuu-uuuu |
Okänt |
| 13302-13303 |
2017 Eighth International Green and Sustainable Computing Conference : 23-25 October 2017, Orlando, FL, USA / IEEE Computer Society
(flera utgåvor)
|
Fla.) 2017 : (8th International Green and Sustainable Computing Conference Orlando
|
uuuu-uuuu |
Okänt |
| 13304 |
2013 International Green Computing Conference Proceedings (IGCC 2013) : Arlington, Virginia, USA, 27-29 June 2013 / International Green Computing Conference
|
Author. International Green Computing Conference
|
uuuu-uuuu |
Okänt |
| 13305 |
International Green Computing Conference : 3-5 November 2014, Dallas, TX, USA / IEEE Computer Society
|
Tex.) (2014 International Green Computing Conference Dallas
|
uuuu-uuuu |
Okänt |
| 13306 |
Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers / Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)
|
Israel) 2005 : (1st International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
| 13307 |
Hardware and software, verification and testing : second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, revised selected papers / Eyal Bin, Avi Ziv, Shmuel Ur (editors)
|
Israel) 2006 : (2nd International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
| 13308 |
Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings / Karen Yorav (editor)
|
Israel) 2007 : (3rd International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
| 13309 |
Hardware and Software: Verification and Testing electronic resource : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers / edited by Hana Chockler, Alan J. Hu
|
Israel) (2008 International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
| 13310 |
Hardware and Software: Verification and Testing electronic resource : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
|
Israel) 2009 : (5th International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
| 13311 |
Hardware and Software: Verification and Testing electronic resource : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
|
Israel) 2010 : (6th International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
| 13312 |
Hardware and Software: Verification and Testing electronic resource : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers / edited by Kerstin Eder, João Lourenҫo, Onn Shehory
|
Israel) 2011 : (7th International Haifa Verification Conference Haifa
|
uuuu-uuuu |
Okänt |
| 13313 |
"Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers"
|
International Haifa Verification Conference
|
2009 |
Okänt |
| 13314 |
"Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers"
|
International Haifa Verification Conference
|
2012 |
Okänt |
| 13315 |
"Hardware and software, verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers"
|
International Haifa Verification Conference
|
2006 |
Okänt |
| 13316 |
"Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers"
|
International Haifa Verification Conference
|
2007 |
Okänt |
| 13317 |
"Hardware and software, verification and testing : third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007 : proceedings"
|
International Haifa Verification Conference
|
2008 |
Okänt |
| 13318 |
Advances in heat pipe technology : proceedings of the IVth International Heat Pipe Conference, 7-10 September 1981, London, UK / edited by D. A. Reay
|
England) 1981 : (4th International Heat Pipe Conference London
|
uuuu-uuuu |
Okänt |
| 13319 |
Heavy minerals 2011 : eighth International Heavy Minerals Conference 2011, 5 - 6 October 2011, Perth, Western Australia / Australasian Institute of Mining and Metallurgy
|
Western Australia) 2011 : (8th International Heavy Minerals Conference Perth
|
uuuu-uuuu |
Okänt |
| 13320 |
"Herder today : contributions from the International Herder Conference, Nov. 5-8, 1987, Stanford, California"
|
International Herder Conference
|
1990 |
Okänt |