IST Austria Library

Refine your search

Your search returned 288 results.

Not what you expected? Check for suggestions
1.
Secure multiparty computation and secret sharing

by Cramer, Ronald, 1968- | Damgård, Ivan Bjerre, 1956- [VerfasserIn] | Nielsen, Jesper Buus, 1973- [VerfasserIn].

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publisher: New York, NY Cambridge University Press 2015Online access: Inhaltsverzeichnis Inhaltsverzeichnis Availability: Items available for reference: Books at groups (1). Checked out (1). Location(s): Pietrzak Group .
Place hold Log in to add tags
2.
The tangled Web : a guide to securing modern Web applications / Michal Zalewski.

by Zalewski, Michal.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: San Francisco : No Starch Press, c2012Availability: Items available for loan: Library (1). Location(s): 005.
Place hold Log in to add tags
3.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
4.
Networking 2004 : networking technologies, services, and protocols ; performance of computer and communication networks ; mobile and wireless communications : third International IFIP-TC6 Networking Conference, Athens, Greece, May 9-14 2004 : proceedings / Nikolas Mitrou [and others], eds.

by International IFIP-TC6 Networking Conference (3rd : 2004 : Athens, Greece) | Mitrou, Nikolas | International Federation for Information Processing.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; London : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
5.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
6.
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.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ISAS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
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 FORTE 2007 (2007 : Tallinn, Estonia) | Derrick, John, 1963- | Vain, Jüri | IFIP Working Group 6.1.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: FORTE 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
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 HIP 2005 (2005 : Bethlehem, Pa.) | Baird, Henry S | Lopresti, Daniel Philip.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: HIP 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
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 Leue, Stefan | Systä, Tarja Johanna.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
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 FORTE 2005 (2005 : Taipei, Taiwan) | Wang, Farn | IFIP Working Group 6.1.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: FORTE 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
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 IEEE International Workshop on IP Operations and Management (5th : 2005 : Barcelona, Spain) | Magedanz, Thomas | Madeira, Edmundo R. M | Dini, P. (Petre).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: 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). Location(s): EBook .
Place hold Log in to add tags
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 PfHSN 2002 (2002 : Berlin, Germany) | Carle, Georg, 1965- | Zitterbart, Martina.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
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 FORTE 2006 (2006 : Paris, France) | Najm, Elie | Pradat-Peyre, Jean-François | Donzeau-Gouge, Véronique | IFIP Working Group 6.1.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: 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). Location(s): EBook .
Place hold Log in to add tags
14.
Secure transaction protocol analysis : models and applications / Qinggeng Chen, Chengqi Zhang, Shichao Zhang.

by Chen, Qingfeng | Zhang, Chengqi, 1957- | Zhang, Shichao.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
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 FORTE 2008 (2008 : Tokyo, Japan) | Suzuki, Kenji (Professor of engineering).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
16.
Universal routing strategies for interconnection networks / Christian Scheideler.

by Scheideler, Christian.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1998Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
17.
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-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
18.
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).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
19.
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / J. Sifakis (Ed.).

by Sifakis, J. (Joseph), 1946-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1990Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags
20.
Multiple access communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings / Boris Bellalta [and others] (eds.).

by MACOM 2012 (2012 : Maynooth, Ireland) | Bellalta, Boris.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2012Other title: MACOM 2012.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
Place hold Log in to add tags

Powered by Koha