Refine your search

Your search returned 104 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
The basics of hacking and penetration testing : ethical hacking and penetration testing made easy / Dr. Patrick Engebretson, David Kennedy, Technical Editor. by
Edition: Second Edition.
Material type: Text Text; Format: print ; Literary form: Not fiction
Publisher: Amsterdam ; Boston : Syngress, an imprint of Elsevier, [2013]
Availability: Items available for loan: Library (1)Call number: 005-2013.
Place hold
2.
3.
Testing of software and communicating systems : 19th IFIP TC6/WG6.1 international conference, TestCom 2007, 7th international workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007 : proceedings / Alexandre Petrenko [and others] (eds.). by Series: Lecture notes in computer science ; 4581.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • 19th IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
  • Nineteenth IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
  • IFIP TC6/WG6.1 International Conference on Testing of Communicating Systems
  • TestCom 2007
  • FATES 2007
In: Springer e-books
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
4.
Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 : revised papers / Yuri Gurevich, Bertrand Meyer (eds.). by Series: Lecture notes in computer science ; 4454. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12095476
Publication details: Berlin ; New York : Springer, ©2007
Other title:
  • TAP 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
5.
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.). by Series: Lecture notes in computer science ; 4839. | 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, ©2007
Other title:
  • RV 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
6.
Formal methods and testing : an outcome of the FORTEST network : revised selected papers / Robert M. Hierons, Jonathan P. Bowen, Mark Harman (eds.). by Series: Lecture notes in computer science ; 4949. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12249992
Publication details: Berlin ; New York : Springer, ©2008
Other title:
  • FORTEST network
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
7.
Tests and proofs : second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings / Bernhard Beckert, Reiner Hähnle (eds.). by Series: Lecture notes in computer science ; 4966. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 12255030
Publication details: Berlin ; New York : Springer, 2008
Other title:
  • TAP 2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Formal approaches to software testing : 4th international workshop, FATES 2004, Linz, Austria, September 21, 2004 : revised selected papers / Jens Grabowski, Brian Nielsen (eds.). by Series: Lecture notes in computer science ; 3395.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11400752
Publication details: Berlin ; New York : Springer, 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers / Wolfgang Grieskamp, Carsten Weise (eds.). by Series: Lecture notes in computer science ; 3997. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11759744
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • FATES 2005
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Formal approaches to software testing and runtime verification : first combined international workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006 ; revised selected papers / Klaus Havelund [and others] (eds.). by Series: Lecture notes in computer science ; 4262.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2006
Other title:
  • FATES 2006
  • RV 2006
  • FATES/RV 2006
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
12.
Tests and proofs : third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings / Catherine Dubois (ed.). by Series: Lecture notes in computer science ; 5668. | 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, ©2009
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
14.
Tests and proofs : 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings / Gordon Fraser, Angelo Gargantini (eds.). by Series: Lecture notes in computer science ; 6143. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Testing techniques in software engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / Paulo Borba [and others] (Eds.). by Series: Lecture notes in computer science ; 6153. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg : Springer-Verlag, ©2010
Other title:
  • PSSE 2007
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Testing--practice and research techniques : 5th international academic and industrial conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010 : proceedings / Leonardo Bottaci, Gordon Fraser (eds.). by Series: Lecture notes in computer science ; 6303. | 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, ©2010
Other title:
  • TAIC PART 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
18.
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 Series: Lecture notes in computer science ; 6435. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • ICTSS 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
19.
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
20.
Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30-July 1, 2011 : proceedings / Martin Gogolla, Burkhart Wolff (eds.). by Series: Lecture notes in computer science ; 6706. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2011
Other title:
  • TAP 2011
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha