Your search returned 2514 results.

Not what you expected? Check for suggestions
Sort
Results
41.
42.
Runtime verification : 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings / Yliès Falcone, César Sánchez (eds.). by Series: Lecture notes in computer science ; 10012. | 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:
  • RV 2016
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
43.
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).
44.
Search based software engineering : 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings / Federica Sarro, Kalyanmoy Deb (eds.). by Series: Lecture notes in computer science ; 9962. | 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:
  • SSBSE 2016
Online resources:
Availability: Items available for loan: e-Library (1).
45.
46.
47.
48.
49.
50.
Brain informatics and health : International Conference, BIH 2016, Omaha, NE, USA, October 13-16, 2016 Proceedings / Giorgio A. Ascoli, Michael Hawrylycz, Hesham Ali, Deepak Khazanchi, Yong Shi (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9919. | 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:
  • BIH 2016
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
51.
52.
53.
Automated technology for verification and analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / Cyrille Artho, Axel Legay, Doron Peled (eds.). by Series: Lecture notes in computer science ; 9938. | 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:
  • ATVA 2016
Online resources:
Availability: Items available for loan: e-Library (1).
54.
55.
Human behavior understanding : 7th International Workshop, HBU 2016, Amsterdam, the Netherlands, October 16, 2016, Proceedings / Mohamed Chetouani, Jeffrey Cohn, Albert Ali Salah (eds.). by Series: Lecture notes in computer science ; 9997. | 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, Switzerland : Springer, 2016
Other title:
  • HBU 2016
Online resources:
Availability: Items available for loan: e-Library (1).
56.
57.
58.
59.
60.
Knowledge science, engineering and management : 9th International Conference, KSEM 2016, Passau, Germany, October 5-7, 2016, Proceedings / Franz Lehner, Nora Fteimi (eds.). by Series: Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 9983. | 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:
  • KSEM 2016
Online resources:
Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha