Refine your search

Your search returned 4219 results.

Not what you expected? Check for suggestions
Sort
Results
1721.
1722.
1723.
1724.
1725.
1726.
Critical information infrastructure security : 6th International Workshop, CRITIS 2011, Lucerne, Switzerland, September 8-9, 2011, Revised selected papers / Sandro Bologna, Bernhard Hämmerli, Dimitris Gritzalis, Stephen Wolthusen (eds.). by Series: Lecture notes in computer science ; 6983. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, 2013
Other title:
  • CRITIS 2011
Online resources:
Availability: Items available for loan: e-Library (1).
1727.
1728.
Transactions on computational science XX : special issue on Voronoi diagrams and their applications / Marina L. Gavrilova, C.J. Kenneth Tan, Bahman Kalantari (eds.). by Series: Lecture notes in computer science ; 8110.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Berlin : Springer, ©2013
Other title:
  • Transactions on computational science 20
Online resources:
Availability: Items available for loan: e-Library (1).
1729.
1730.
Secure IT systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings / Hanne Riis Nielson, Dieter Gollmann (eds.). by Series: Lecture notes in computer science ; 8208. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013
Other title:
  • NordSec 2013
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
1731.
1732.
Formal methods and software engineering : 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29-November 1, 2013, Proceedings / Lindsay Groves, Jing Sun (eds.). by Series: Lecture notes in computer science ; 8144. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013
Other title:
  • ICFEM 2013
Online resources:
Availability: Items available for loan: e-Library (1).
1733.
Hardware and software : verification and testing ; 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings / Valeria Bertacco, Axel Legay (eds.). by Series: Lecture notes in computer science ; 8244. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, [2013]
Other title:
  • HVC 2013
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
1734.
1735.
1736.
1737.
Neural information processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings. Part I / Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil (eds.). by Series: Lecture notes in computer science ; 8226. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, 2013
Other title:
  • ICONIP 2013
Online resources:
Availability: Items available for loan: e-Library (1).
1738.
Neural information processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings. Part III / Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil (eds.). by Series: Lecture notes in computer science ; 8228. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, 2013
Other title:
  • ICONIP 2013
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
1739.
Neural information processing : 20th International Conference, ICONIP 2013, Daegu, Korea, November 3-7, 2013. Proceedings. Part II / Minho Lee, Akira Hirose, Zeng-Guang Hou, Rhee Man Kil (eds.). by Series: Lecture notes in computer science ; 8227. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, 2013
Other title:
  • ICONIP 2013
Online resources:
Availability: Items available for loan: e-Library (1).
1740.
Testing software and systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich (eds.). by Series: Lecture notes in computer science ; 8254. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, 2013
Other title:
  • ICTSS 2013
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha