Refine your search

Your search returned 2534 results.

Not what you expected? Check for suggestions
Sort
Results
2401.
Social computing and social media : 7th International Conference, SCSM 2015, held as part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings / Gabriele Meiselwitz (ed.). by Series: Lecture notes in computer science ; 9182. | 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:
  • SCSM 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2402.
2403.
2404.
2405.
2406.
2407.
2408.
2409.
2410.
2411.
Financial cryptography and data security : 19th International Conference, FC 2015, San Juan, Puerto Rico, January 26-30, 2015, Revised selected papers / Rainer Böhme, Tatsuaki Okamoto (eds.). by Series: Lecture notes in computer science ; 8975. | 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:
  • FC 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2412.
2413.
2414.
2415.
Artificial general intelligence : 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings / Jordi Bieger, Ben Goertzel, Alexey Potapov (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9205. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • AGI 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2416.
Automated deduction in geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised selected papers / Francisco Botana, Pedro Quaresma (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9201. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • ADG 2014
Online resources:
Availability: Items available for loan: e-Library (1).
2417.
Developments in language theory : 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings / Igor Potapov (ed.). by Series: Lecture notes in computer science ; 9168. | 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:
  • DLT 2015
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
2418.
Constructive side-channel analysis and secure design : 6th International Workshop, COSADE 2015, Berlin, Germany, April 13-14, 2015. Revised selected papers / Stefan Mangard, Axel Y. Poschmann (eds.). by Series: Lecture notes in computer science ; 9064. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham : Springer, 2015
Other title:
  • COSADE 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2419.
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part II / Daniel Kroening, Corina S. Păsăreanu (eds.). by Series: Lecture notes in computer science ; 9207. | 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:
  • CAV 2015
Online resources:
Availability: Items available for loan: e-Library (1).
2420.
Computer aided verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings. Part I / Daniel Kroening, Corina S. Păsăreanu (eds.). by Series: Lecture notes in computer science ; 9206. | 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:
  • CAV 2015
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha