Refine your search

Your search returned 1199 results.

Not what you expected? Check for suggestions
Sort
Results
401.
402.
Transactions on foundations for mastering change. I / edited by Bernhard Steffen. by Series: Lecture notes in computer science ; 9960.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Online resources:
Availability: Items available for loan: e-Library (1).
403.
OpenMP : memory, devices, and tasks : 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings / Naoya Maruyama, Bronis R. de Supinski, Mohamed Wahib (eds.). by Series: Lecture notes in computer science ; 9903. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Switzerland : Springer, 2016
Other title:
  • IWOMP 2016
Online resources:
Availability: Items available for loan: e-Library (1).
404.
405.
406.
Testing software and systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / Franz Wotawa, Mihai Nica, Natalia Kushik (eds.). by Series: Lecture notes in computer science ; 9976. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Other title:
  • ICTSS 2016
Online resources:
Availability: Items available for loan: e-Library (1).
407.
Cryptology and network security : 15th International Conference, CANS 2016, Milan, Italy, November 14-16, 2016, Proceedings / Sara Foresti, Giuseppe Persiano (eds.). by Series: Lecture notes in computer science ; 10052. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Other title:
  • CANS 2016
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
408.
Hardware and software : verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings / Roderick Bloem, Eli Arbel (eds.). by Series: Lecture notes in computer science ; 10028. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, [2016]
Other title:
  • HVC 2016
Online resources:
Availability: Items available for loan: e-Library (1).
409.
410.
Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / edited by Borzoo Bonakdarpour, Franck Petit. by Series: Lecture notes in computer science ; 10083. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Other title:
  • SSS 2016
Online resources:
Availability: Items available for loan: e-Library (1).
411.
412.
Software architecture : 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28-December 2, 2016, Proceedings / Bedir Tekinerdogan, Uwe Zdun, Ali Babar (eds.). by Series: Lecture notes in computer science ; 9839. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Other title:
  • ECSA 2016
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
413.
414.
Advances in services computing : 10th Asia-Pacific Services Computing Conference, APSCC 2016, Zhangjiajie, China, November 16-18, 2016, Proceedings / Guojun Wang, Yanbo Han, Gregorio Martínez Pérez (eds.). by Series: Lecture notes in computer science ; 10065. | 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, Switzerland : Springer, 2016
Other title:
  • APSCC 2016
Online resources:
Availability: Items available for loan: e-Library (1).
415.
Formal methods : foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings / Leila Ribeiro, Thierry Lecomte (eds.). by Series: Lecture notes in computer science ; 10090. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Other title:
  • SBMF 2016
Online resources:
Availability: Items available for loan: e-Library (1).
416.
417.
418.
Progress in cryptology -- INDOCRYPT 2016 : 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings / Orr Dunkelman, Somitra Kumar Sanadhya (Eds.). by Series: Lecture notes in computer science ; 10095. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, [2016]
Other title:
  • INDOCRYPT 2016
Online resources:
Availability: Items available for loan: e-Library (1).
419.
420.
Pages

Powered by Koha