Your search returned 2 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Compiler construction : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings / Alan Mycroft, Andreas Zeller (eds.). by Series: Lecture notes in computer science ; 3923.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, 2006
Other title:
  • CC 2006
  • ETAPS 2006
  • Joint European Conferences on Theory and Practice of Software
  • European Joint Conferences on Theory and Practice of Software
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
2.
Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers / Kedar Namjoshi, Andreas Zeller, Avi Ziv (eds.). by Series: Lecture notes in computer science ; 6405. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2011
Other title:
  • HCV 2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha