Results
|
|
Secure multiparty computation and secret sharing by Cramer, Ronald, 1968- | Damgård, Ivan Bjerre, 1956- [author] | Nielsen, Jesper Buus, 1973- [author]. Material type: Text; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York, NY Cambridge University Press 2015Online access: table of contents Availability: Items available for reference: Books at groups: Not for loan (1). Not available: Checked out (1).
|
|
|
|
|
|
Formal techniques for networked and distributed systems--FORTE 2002 : 22nd IFIP WG 6.1 international conference, Houston, Texas, USA, November 11-14, 2002 : proceedings / Doron A. Peled, Moshe Y. Vardi (eds.). by FORTE 2002 (2002 : Houston, Tex.) | Peled, Doron A, 1962- | Vardi, Moshe Y. Series: Serienbezeichnung | Lecture notes in computer science ; 2529.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
Formal techniques for networked and distributed systems, FORTE 2003 : 23rd IFIP WG 6.1 international conference, Berlin, Germany, September 29-October 2, 2003 : proceedings / Hartmut König, Monika Heiner, Adam Wolisz (eds.). by FORTE 2003 (2003 : Berlin, Germany) | König, Hartmut, 1950- | Heiner, Monika, 1954- | Wolisz, Adam. Series: Serienbezeichnung | Lecture notes in computer science ; 2767.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Service availability : 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007 ; proceedings / Miroslaw Malek, Manfred Reitenspiess, Aad van Moorsel (eds.). by International Service Availability Symposium (4th : 2007 : Durham, N.H.) | Malek, Miroslaw | Reitenspiess, Manfred | Moorsel, Aad van. Series: Serienbezeichnung | Lecture notes in computer science ; 4526.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: ISAS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
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 FORTE 2007 (2007 : Tallinn, Estonia) | Derrick, John, 1963- | Vain, Jüri | IFIP Working Group 6.1. Series: Serienbezeichnung | Lecture notes in computer science ; 4574. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2007Other title: FORTE 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Human interactive proofs : second international workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005 : proceedings / Henry S. Baird, Daniel P. Lopresti (eds.). by HIP 2005 (2005 : Bethlehem, Pa.) | Baird, Henry S | Lopresti, Daniel Philip. Series: Serienbezeichnung | Lecture notes in computer science ; 3517.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher number: 11427896Publication details: Berlin ; New York : Springer, ©2005Other title: HIP 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
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 IEEE International Workshop on IP Operations and Management (5th : 2005 : Barcelona, Spain) | Magedanz, Thomas | Madeira, Edmundo R. M | Dini, P. (Petre). Series: Serienbezeichnung | Lecture notes in computer science ; 3751.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2005Other title: 5th IEEE Workshop on IP Operations and Management | Fifth IEEE Workshop on IP Operations and Management | IPOM 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
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 PfHSN 2002 (2002 : Berlin, Germany) | Carle, Georg, 1965- | Zitterbart, Martina. Series: Serienbezeichnung | Lecture notes in computer science ; 2334.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer-Verlag, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
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 FORTE 2006 (2006 : Paris, France) | Najm, Elie | Pradat-Peyre, Jean-François | Donzeau-Gouge, Véronique | IFIP Working Group 6.1. Series: Serienbezeichnung | Lecture notes in computer science ; 4229.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2006Other title: FORTE 2006 | 26th IFIP WG 6.1 International Conference | Twenty-sixth IFIP WG 6.1 International Conference.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|
|
|
|
|
|
Protocols for multimedia systems : 6th international conference, PROMS 2001, Enschede, the Netherlands, October 17-19, 2001 : proceedings / Marten J. van Sinderen, Lambert J.M. Nieuwenhuis (eds.). by PROMS 2001 (2001 : Enschede, Netherlands) | Sinderen, Marten J. van, 1958- | Nieuwenhuis, Lambert J. M, 1955-. Series: Serienbezeichnung | Lecture notes in computer science ; 2213.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, TheFormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings / Manuel Núñez [and others] (eds.). by FormEMC (Workshop) (1st : 2004 : Toledo, Spain) | Núñez, Manuel (Professor) | EPEW (Workshop) (1st : 2004 : Toledo, Spain) | ITM (Conference) (1st : 2004 : Toledo, Spain). Series: Serienbezeichnung | Lecture notes in computer science ; 3236.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publication details: Berlin ; New York : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1).
|
|
|
|
|
|
|