Refine your search

Your search returned 2534 results.

Not what you expected? Check for suggestions
Sort
Results
2481.
Fast software encryption : 22nd International Workshop, FSE 2015, Istanbul, Turkey, March 8-11, 2015, Revised selected papers / Gregor Leander (ed.). by Series: Lecture notes in computer science ; 9054. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Heidelberg : Springer, 2015
Other title:
  • FSE 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2482.
2483.
2484.
2485.
Advances in databases and information systems : 19th East European Conference, ADBIS 2015, Poitiers, France, September 8-11, 2015, Proceedings / Morzy Tadeusz, Patrick Valduriez, Ladjel Bellatreche (eds.). by Series: Lecture notes in computer science ; 9282. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • ADBIS 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2486.
Business process management : 13th International Conference, BPM 2015, Innsbruck, Austria, August 31-September 3, 2015, Proceedings / Hamid Reza Motahari-Nezhad, Jan Recker, Matthias Weidlich (eds.). by Series: Lecture notes in computer science ; 9253. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • BPM 2015
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
2487.
Augmented and virtual reality : second International Conference, AVR 2015, Lecce, Italy, August 31-September 3, 2015, Proceedings / Lucio Tommaso De Paolis, Antonio Mongelli (eds.). by Series: Lecture notes in computer science ; 9254. | LNCS sublibrary. SL 6, Image processing, computer vision, pattern recognition, and graphics.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • AVR 2015
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
2488.
2489.
2490.
2491.
Principles and practice of constraint programming : 21st International Conference, CP 2015, Cork, Ireland, August 31-September 4, 2015, Proceedings / Gilles Pesant (ed.). by Series: Lecture notes in computer science ; 9255.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • CP 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2492.
Advanced parallel processing technologies : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / Yunji Chen, Paolo Ienne, Qing Ji (eds.). by Series: Lecture notes in computer science ; 9231. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • APPT 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2493.
2494.
Interactive theorem proving : 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings / Christian Urban, Xingyuan Zhang (eds.). by Series: Lecture notes in computer science ; 9236. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • ITP 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2495.
Wired/wireless internet communications : 13th International Conference, WWIC 2015, Malaga, Spain, May 25-27, 2015, Revised selected papers / Mari Carmen Aguayo-Torres, Gerardo Gómez, Javier Poncela (eds.). by Series: Lecture notes in computer science ; 9071. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • WWIC 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2496.
2497.
2498.
2499.
Quantitative evaluation of systems : 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings / Javier Campos, Boudewijn R. Haverkort (eds.). by Series: Lecture notes in computer science ; 9259. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • QEST 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2500.
Software engineering and formal methods : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / Radu Calinescu, Bernhard Rumpe (eds.). by Series: Lecture notes in computer science ; 9276. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • SEFM 2015
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha