Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-5 of 5 results
Software engineering : proceedings of a symposium held at the Queen's University of Belfast, 1976 / edited by R.H. Perrott.
- Text
- London ; New York : Academic Press, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text QA76.6.B745 1976 Off-site Software for numerical mathematics : proceedings of the Loughborough University of Technology Conference of the Institute of Mathematics and Its Applications held in April 1973 / edited by D.J. Evans.
- Text
- London ; New York : Academic Press, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text QA297 .S59 Off-site FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I593 1993 Off-site Automated and algorithmic debugging : first international workshop, AADEBUG '93, Linköping, Sweden, May 3-5, 1993 : proceedings / Peter A. Fritzson, ed.
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.9.D43 I54 1993 Off-site Performance evaluation of computer and communication systems : joint tutorial papers of Performance '93 and Sigmetrics '93 / Lorenzo Donatiello, Randolph Nelson, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.9.E94 .C662 1993 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
