Refine your search

Your search returned 392 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
Secure multiparty computation and secret sharing by
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: New York, NY Cambridge University Press 2015
Online resources:
Availability: Items available for loan: Library (1)Call number: 005-2015. Items available for reference: Books at groups: Not for loan (1).
Place hold
2.
The tangled Web : a guide to securing modern Web applications / Michal Zalewski. by
Material type: Text Text; Format: print ; Literary form: Not fiction
Publication details: San Francisco : No Starch Press, c2012
Availability: Items available for loan: Library (1)Call number: 005-2012.
Place hold
3.
4.
5.
6.
7.
Formal techniques for networked and distributed systems-- FORTE 2007 : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings / John Derrick, Jüri Vain (eds.). by Series: Lecture notes in computer science ; 4574. | 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:
  • FORTE 2007
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
8.
Human interactive proofs : second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings / Henry S. Baird, Daniel P. Lopresti (eds.). by Series: Lecture notes in computer science ; 3517.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher number:
  • 11427896
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • HIP 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
9.
Scenarios: Models, Transformations and Tools : international workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers / Stefan Leue, Tarja Johanna Systä (eds.). by Series: Lecture notes in computer science ; 3466.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
10.
Formal techniques for networked and distributed systems--FORTE 2005 : 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2-5, 2005 : proceedings / Farn Wang (ed.). by Series: Lecture notes in computer science ; 3731.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • FORTE 2005
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
11.
Operations and management in IP-based networks : 5th IEEE International Workshop on IP Operations and Management, IPOM 2005, Barcelona, Spain, October 26-28, 2005 : proceedings / Thomas Magedanz, Edmundo R.M. Madeira, Petre Dini (eds.). by Series: Lecture notes in computer science ; 3751.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2005
Other title:
  • 5th IEEE Workshop on IP Operations and Management
  • Fifth IEEE Workshop on IP Operations and Management
  • IPOM 2005
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
12.
Protocols for high speed networks : 7th IFIP/IEEE international workshop, PfHSN 2002, Berlin, Germany, April 22-24, 2002 : proceedings / Georg Carle, Martina Zitterbart (eds.). by Series: Lecture notes in computer science ; 2334.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©2002
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
13.
Formal techniques for networked and distributed systems : FORTE 2006 : 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 : proceedings / Elie Najm, Jean-Francois Pradat-Peyre, Veronique Viguie Donzeau-Gouge (eds.). by Series: Lecture notes in computer science ; 4229.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2006
Other title:
  • FORTE 2006
  • 26th IFIP WG 6.1 International Conference
  • Twenty-sixth IFIP WG 6.1 International Conference
In: OhioLINK electronic book center In: SpringerLink
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
14.
Secure transaction protocol analysis : models and applications / Qinggeng Chen, Chengqi Zhang, Shichao Zhang. by Series: Lecture notes in computer science ; 5111.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
15.
Formal techniques for networked and distributed systems--FORTE 2008 : 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings / Kenji Suzuki [and others] (eds.). by Series: Lecture notes in computer science ; 5048.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2008
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
16.
Universal routing strategies for interconnection networks / Christian Scheideler. by Series: Lecture notes in computer science ; 1390.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©1998
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
17.
18.
19.
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.). by Series: Lecture notes in computer science ; 407.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin ; New York : Springer-Verlag, ©1990
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
20.
Multiple access communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings / Boris Bellalta [and others] (eds.). by Series: Lecture notes in computer science ; 7642. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; New York : Springer, ©2012
Other title:
  • MACOM 2012
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha