Your search returned 2514 results.

Not what you expected? Check for suggestions
Sort
Results
81.
82.
Dependable software engineering : theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings / Martin Fränzle, Deepak Kapur, Naijun Zhan (eds.). by Series: Lecture notes in computer science ; 9984. | 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:
  • SETTA 2016
Online resources:
Availability: Items available for loan: e-Library (1).
83.
84.
85.
Hybrid systems biology : 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, proceedings / Eugenio Cinquemani, Alexandre Donzé (Eds.). by Series: Lecture notes in computer science. Lecture notes in bioinformatics. | Lecture notes in computer science ; 9957.
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).
86.
87.
Logics in artificial intelligence : 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016 : proceedings / Loizos Michael, Antonis Kakas (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 10021. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, [2016]
Other title:
  • JELIA 2016
Online resources:
Availability: Items available for loan: e-Library (1).
88.
89.
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).
90.
91.
92.
93.
Case-based reasoning research and development : 24th International Conference, ICCBR 2016, Atlanta, GA, USA, October 31-November 2, 2016, Proceedings / Ashok Goel, M. Belén Díaz-Agudo, Thomas Roth-Berghofer (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9969. | LNCS sublibrary. SL 7, Artificial intelligence.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cham, Switzerland : Springer, 2016
Other title:
  • ICCBR 216
Online resources:
Availability: Items available for loan: e-Library (1).
94.
Structural information and communication complexity : 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised selected papers / Jukka Suomela (eds.). by Series: Lecture notes in computer science ; 9988. | 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:
  • SIROCCO 2016
Online resources:
Availability: Items available for loan: e-Library (1).
95.
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).
96.
97.
98.
99.
Interactive storytelling : 9th International Conference on Interactive Digital Storytelling, ICIDS 2016, Los Angeles, CA, USA, November 15?18, 2016, Proceedings / Frank Nack, Andrew S. Gordon (eds.). by Series: Lecture notes in computer science ; 10045. | 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:
  • ICIDS 2016
Online resources:
Availability: Items available for loan: e-Library (1).
100.
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).
Pages

Powered by Koha