Your search returned 12 results.

Not what you expected? Check for suggestions

Results
	1.	Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers / Alexandre Petrenko, Andreas Ulrich (eds.). by FATES 2003 (2003 : Montréal, Québec) Petrenko, Alexandre Ulrich, Andreas (Engineer) IEEE International Automated Software Engineering Conference (18th : 2003 : Montréal, Québec) Series: Lecture notes in computer science ; 2931. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer-Verlag, ©2004 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Quality of software architectures and software quality : First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005 ; proceedings / Ralf Reussner [and others] (eds.). by International Conference on the Quality of Software Architectures (1st : 2005 : Erfurt, Germany) Reussner, Ralf International Workshop on Software Quality (2nd : 2005 : Erfurt, Germany) Series: Lecture notes in computer science ; 3712. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 11558569 Publication details: Berlin ; New York : Springer, ©2005 Other title: QoSA 2005 SOQUA 2005 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise (eds.). by FATES 2005 (2005 : Edinburgh, Scotland) Grieskamp, Wolfgang, 1960- Weise, Carsten Series: Lecture notes in computer science ; 3997. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 11759744 Publication details: Berlin ; New York : Springer, ©2006 Other title: FATES 2005 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	4.	Testing of software and communicating systems : 20th IFIP TC 6/WG 6.1 international conference, TestCom 2008, 8th international workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 : proceedings / Kenji Suzuki [and others] (eds.). by IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems (20th : 2008 : Tokyo, Japan) Suzuki, Kenji (Professor of engineering) International Federation for Information Processing. Technical Committee 6 FATES 2007 (2008 : Tokyo, Japan) Series: Lecture notes in computer science ; 5047. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	5.	Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.). by Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil) Oliveira, Marcel Vinícius Medeiros Woodcock, Jim Series: Lecture notes in computer science ; 5902. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 12793839 Publication details: Berlin ; New York : Springer, ©2009 Other title: SBMF 2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	6.	Testing software and systems : 22nd IFIP WG 6.1 international conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010 : proceedings / Alexandre Petrenko, Adenilso Simão, José Carlos Maldonado (eds.). by ICTSS 2010 (2010 : Natal, Brazil) Petrenko, Alexandre Simão, Adenilso Maldonado, José Carlos IFIP Working Group 6.1 Series: Lecture notes in computer science ; 6435. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin : Springer, 2010 Other title: ICTSS 2010 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	7.	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 International Haifa Verification Conference (5th : 2009 : Haifa, Isarel) Namjoshi, Kedar S Zeller, Andreas Ziv, Avi Series: Lecture notes in computer science ; 6405. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2011 Other title: HCV 2009 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	8.	Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings / Burkhart Wolff, Fatiha Zaïdi (eds.). by ICTSS 2011 (2011 : Paris, France) Wolff, Burkhart, 1962- Zaïdi, Fatiha Series: Lecture notes in computer science ; 7019. \| LNCS sublibrary. SL 2, Programming and software engineering. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2011 In: Springer eBooks Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	9.	In vitro toxicity testing protocols / edited by Sheila O'Hare and Chris K. Atterwill. by O'Hare, Sheila Atterwill, C. K Series: Methods in molecular biology (Clifton, N.J.) ; v. 43. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Totowa, N.J. : Humana Press, ©1995 Online resources: Click here to access online Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	10.	Handbook of psychoeducational assessment : ability, achievement, and behavior in children / edited by Jac J.W. Andrews, Donald H. Saklofske, Henry L. Janzen. by Andrews, Jac Janzen, Henry L Saklofske, Donald H Series: Educational psychology Material type: Text; Format: available online ; Literary form: Not fiction Publication details: San Diego : Academic Press, ©2001 Other title: Psychoeducational assessment Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	11.	Acute toxicology testing [electronic resource] / Shayne C. Gad, Christopher P. Chengelis. by Gad, Shayne C, 1948- Chengelis, Christopher P, 1949- NetLibrary, Inc Edition: 2nd ed. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publication details: San Diego : Academic Press, c1998 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold
	12.	VLSI test principles and architectures : design for testability / edited by Laung-Terng Wang, Cheng-Wen Wu, Xiaoqing Wen. by Wang, Laung-Terng [editor.] Wu, Cheng-Wen, EE Ph. D [editor.] Wen, Xiaoqing [editor.] Series: Morgan Kaufmann series in systems on silicon Material type: Text; Format: available online ; Literary form: Not fiction Publisher: Amsterdam ; Boston : Elsevier Morgan Kaufmann Publishers, [2006]Copyright date: ©2006 Online resources: EBSCOhost Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha